赋值运算符 C++

Question

我正在尝试实现赋值运算符，但不断收到一些错误：

calendar.cpp:25: error: prototype for ‘lab2::Calendar<T>& lab2::Calendar<T>::operator=(lab2::Calendar<K>)’ does not match any in class ‘lab2::Calendar<T>’
calendar.h:19: error: candidate is: template<class T> template<class K> lab2::Calendar& lab2::Calendar::operator=(lab2::Calendar<K>)
make: *** [calendar.o] Error 1

在尝试不同的解决方案时，我还遇到了“&”之前的预期构造函数、析构函数或类型转换。

日历的日期类型为 T，即日历中的日期可以不是公历日期。但我还希望能够从具有其他日期类型的日历分配给日历。

这是我的声明和实施。

//calendar.h
template <typename T>
class calendar {
//...
template <typename K> Calendar& operator=(const Calendar<K> c_other);
//...
}

//calendar.cpp
//...
template <typename T, typename K>
Calendar<T>& Calendar<T>::operator=(const Calendar<K> c_other) {};
//...

将不胜感激任何帮助。

Answer 1

恐怕您使用的模板存在一些问题。
首先，您想使用引用传递，而不是值传递。这样，您就可以控制创建参数对象。

template <typename K> Calendar& operator=(const Calendar<K>& c_other);

然后，真正的问题来了：

template <typename T, typename K>
Calendar<T>& Calendar<T>::operator=(const Calendar<K>& c_other) {};

这是在源文件中，因此其余代码将找不到专业化。您应该将该方法的实现移至头文件中，这样，所有调用站点都可以替换自己的模板参数并专门化类和赋值运算符。

Answer 2

除了其他人所说的之外，类模板的成员函数模板定义的正确语法是：

template <typename T>
template <typename K>
Calendar<T>& Calendar<T>::operator=(const Calendar<K>& c_other)
{
    // your code here
}

Answer 3

将 operator= 的主体（实现）移至 .h 文件。

因为模板是在需要时编译的，所以这会强制
多文件项目的限制：实施（定义）
模板类或函数的名称必须与它的同一个文件中
宣言。这意味着我们不能将接口分开
单独的头文件，并且我们必须同时包含接口和
在使用模板的任何文件中实现。

更多信息请参见此处。

更新：如果有时某些声明在源文件中声明时有效，请确保该类的所有对象都位于同一源文件同一翻译单元中。

Answer 4

template<class T>
class Calendar
{
public:
    T i;
    Calendar(const T & i_in):i(i_in){}
    template <class T2>
    Calendar <T>& operator=(const Calendar<T2> &);
};

template <class T>
 template <class T2>
Calendar<T>& Calendar<T>::operator=(const Calendar<T2>& t2)
{
 if (this == (void*) &t2) //avoid self assignment
  return *this; 

 this->i = t2.i; //implicit conversion here for example double to int or vice versa
 return *this;  
}

考虑一下这段代码。我称其为不对称赋值运算符，因为模板参数不同。如果隐式转换不存在，您将必须自己完成转换工作。您可以使用以下代码尝试一下：

int main() {
    Calendar<double> tmp(2.0);
    std::cout << "Tmp i : " << tmp.i << std::endl;
    Calendar<int> tmp_2(1);
    std::cout << "tmp_2 i : " << tmp_2.i << std::endl;
    tmp = tmp_2;
    std::cout << "Tmp i : " << tmp.i << std::endl;
    return 0;
}