模板类成员函数

Question

我有一个名为Time 的课程。只有两个私有成员：int hours 和 int minutes。公共访问说明符仅包含加法、减法等函数。

但是有一个特定的功能不符合我的要求。它在类中声明为public。

这样编译：

Time Time::operator*(const int &mult)
{
   minutes = minutes*mult;
   hours = hours*mult + minutes/60;
   minutes %= 60;
   return *this;
}

但如果参数不是 int，而是 float 或 double，该怎么办？我想使用模板是最好的选择，而不是重载函数：

template <class T> Time Time::operator*(const T &mult)
{
   minutes = int(minutes*mult);
   hours = int(hours*mult) + minutes/60;
   minutes %= 60;
   return *this;
}

但是，这样写会产生编译错误：

error LNK2019: unresolved external symbol "public: class Time __thiscall Time::operator*<int>(int const &) " (??$?DH@Time@@QBE?AV0@ABH@Z) referenced in function _main

这意味着我不能在模板中使用运算符重载还是什么？

谢谢
罗伯特

Answer 1

模板就像函数的模式。在您使用它们之前，它们必须被实例化。对于您的示例，您需要使用 T=int 对 Time::operator* 进行实例化，这是通过将函数中的每个 T 替换为 int 来获得的。

这种实例化可以通过两种方式发生：

首先，有显式实例化，您必须在其中为要使用它的所有类型实例化模板。 T=int 的 operator* 的显式实例化如下所示：

template Time Time::operator*<int>(const int &mult);

编译器需要查看定义来实例化模板，所以这里模板化函数的实现必须在同一个文件或包含文件中，但您可以将显式实例化与模板的实现放在一个实现中文件。

另一种方式是隐式实例化，模板在使用时在调用方进行实例化。对于此方法，模板实现必须在您使用模板时可见。实现这一点最简单的方法是将模板实现放在声明模板的头文件中。

所以你有两个选择，要么将 int 的显式实例化添加到实现文件中，要么将模板实现移动到头文件中。