Перегрузка бинарного оператора в шаблонном классе

Question

Недавно я пытался измерить возможности моего оператора по перегрузке / шаблонам и в качестве небольшого теста создал класс Container ниже. Хотя этот код прекрасно компилируется и работает правильно в MSVC 2008 (отображает 11), и MinGW / GCC, и Comeau подавляются перегрузкой operator+. Поскольку я доверяю им больше, чем MSVC, я пытаюсь понять, что я делаю неправильно.

Вот код:

#include <iostream>

using namespace std;

template <typename T>
class Container
{
      friend Container<T> operator+ <> (Container<T>& lhs, Container<T>& rhs);
   public: void setobj(T ob);
     T getobj();
      private: T obj;
};

template <typename T>
void Container<T>::setobj(T ob)
{
   obj = ob;
}

template <typename T>
T Container<T>::getobj()
{
   return obj;
}

template <typename T>
Container<T> operator+ <> (Container<T>& lhs, Container<T>& rhs)
{
      Container<T> temp;
      temp.obj = lhs.obj + rhs.obj;
      return temp;
}

int main()
{    
    Container<int> a, b;

 a.setobj(5);
    b.setobj(6);

 Container<int> c = a + b;

 cout << c.getobj() << endl;

    return 0;
}

Это ошибка, которую дает Комо:

Comeau C/C++ 4.3.10.1 (Oct  6 2008 11:28:09) for ONLINE_EVALUATION_BETA2
Copyright 1988-2008 Comeau Computing.  All rights reserved.
MODE:strict errors C++ C++0x_extensions

"ComeauTest.c", line 27: error: an explicit template argument list is not allowed
          on this declaration
  Container<T> operator+ <> (Container<T>& lhs, Container<T>& rhs)
               ^

1 error detected in the compilation of "ComeauTest.c".

Я с трудом пытаюсь заставить Comeau / MingGW играть в мяч, поэтому я обращаюсь к вам, ребята. Прошло много времени с тех пор, как мой мозг растаял под тяжестью синтаксиса C ++, поэтому я чувствую себя немного смущенным;).

РЕДАКТИРОВАТЬ : Устранена (нерелевантная) ошибка lvalue, указанная в начальном дампе Comeau.

Answer 1

Я нашел решение благодаря этому сообщению на форуме . По сути, вам нужно иметь прототип функции, прежде чем вы сможете использовать «друг» внутри класса, однако вам также нужно объявить класс, чтобы правильно определить прототип функции. Следовательно, решение состоит в том, чтобы иметь два определения прототипа (функции и класса) вверху. Следующий код компилируется под всеми тремя компиляторами:

#include <iostream>

using namespace std;

//added lines below
template<typename T> class Container;
template<typename T> Container<T> operator+ (Container<T>& lhs, Container<T>& rhs); 

template <typename T>
class Container
{
      friend Container<T> operator+ <> (Container<T>& lhs, Container<T>& rhs);
      public: void setobj(T ob);
              T getobj();
      private: T obj;
};

template <typename T>
void Container<T>::setobj(T ob)
{
      obj = ob;
}

template <typename T>
T Container<T>::getobj()
{
      return obj;
}

template <typename T>
Container<T> operator+ (Container<T>& lhs, Container<T>& rhs)
{
      Container<T> temp;
      temp.obj = lhs.obj + rhs.obj;
      return temp;
}

int main()
{    
    Container<int> a, b;

    a.setobj(5);
    b.setobj(6);

    Container<int> c = a + b;

    cout << c.getobj() << endl;

    return 0;
}

Answer 2

template <typename T>
Container<T> operator+ <> (Container<T>& lhs, Container<T>& rhs)

Здесь "<>" после operator+ следует удалить, поскольку вы просто объявляете новый шаблон, а не специализирующийся на общем. Также по крайней мере g++ хочет видеть объявление шаблона перед объявлением друга, поэтому его необходимо переместить перед объявлением Container. Так работает следующий порядок объявлений:

// forward declaration of Container<T>
template <typename T>
class Container;

template <typename T>
Container<T> operator+(Container<T>& lhs, Container<T>& rhs)
{ ... }

template <typename T>
class Container
{
      friend Container<T> operator+ <> (Container<T>& lhs, Container<T>& rhs);
      ...
};

Answer 3

Вам лучше определить функцию непосредственно в классе. Кроме того, вы должны передать параметры как const ссылки.

template <typename T>
class Container
{
public:
    friend Container operator+ (Container const & lhs, Container const & rhs)
    {
        // ...
    }
};

Answer 4

Я сделал это в GCC и получил его для компиляции и запуска с несколькими изменениями. Чтобы сделать GCC счастливым, мне пришлось сделать два изменения.

Одним из них было объявление функции шаблона друга. Это собственное объявление шаблона, отдельное от класса 1, поэтому я использовал U вместо класса Container 'T. Я также избавился от <> после оператора +. Я не думаю, что они вам понадобятся, если вы не пишете шаблонную специализацию.

      template<typename U>
      friend Container<U> operator+ (Container<U>& lhs, Container<U>& rhs);

Два, линия

Container<int>& c = a + b;

не летал с GCC, потому что вы просите сохранить ссылку на временный файл (результат добавления). Я удалил амперсанд, чтобы было место для сохранения результата.

Я видел ваш пост только сейчас, он также работает из-за предварительных объявлений. Я думаю, что я опубликую это в любом случае как альтернативу, которая не требует их. Конечно, я тестировал только в GCC ...

Answer 5

'operator +' не является функцией-членом и не является шаблоном. Это просто оператор +, который принимает шаблонные параметры. '

 template <typename T>
 Container<T> operator+ (Container<T>& lhs, Container<T>& rhs)