这种使用模板有什么问题？

Question

这是我第一次在课堂上使用模板。这是我的尝试。

MyCairoControl.h：

#ifndef _MYCAIROCONTROL_
#define _MYCAIROCONTROL_

template<class T>
class MyCairoControl : public IControl 
{
private:
    T *pPlug;

public:
    MyCairoControl(T *plug, IRECT container);
    ~MyCairoControl();
};

#endif // !_MYCAIROCONTROL_

MyCairoControl.cpp：

#include "MyCairoControl.h"

MyCairoControl::MyCairoControl(T *plug, IRECT container) : IControl(plug, container), pPlug(plug) {
       // t->somethings();
}
MyCairoControl::~MyCairoControl() {

}

但它说“T”是未定义的，所以我不能使用那个 CTOR。在类上使用模板不是正确的方法吗？

Answer 1

由于MyCairoControl 是一个类模板，它的方法定义也必须是模板，匹配类的模板参数：

template <class T>
MyCairoControl<T>::MyCairoControl(T *plug, IRECT container){
     /* ... */
}

template <class T>
MyCairoControl<T>::~MyCairoControl() { 
     /* ... */
}

wandbox example

---

这也意味着定义必须在编译期间始终可用，而不是链接 - 它们需要存在于头文件中。

This article("如何在.h文件中定义模板类并在.cpp文件中实现")对问题进行了全面的解释。

Answer 2

需要在实现文件中重新声明T为模板类型名：

#include "MyCairoControl.h"

template<class T>
MyCairoControl<T>::MyCairoControl(T *plug, IRECT container) : IControl(plug, container), pPlug(plug) {
       // t->somethings();
}


template<class T>
MyCairoControl<T>::~MyCairoControl() {

}

原来的问题有两个。首先，T 作为符号需要被称为模板参数。添加到实现签名的template<class T> 行就是这样做的——它定义了T 的含义。其次，你需要意识到构造函数和析构函数——实际上，任何成员——所属的类型不再是MyCairoControl，而是MyCairoControl<T>。范围解析运算符的左侧现在需要是那个。

还有一个问题需要注意。就目前而言，类成员的实现与标头位于单独的文件中，这可能会出现问题。该类的使用者将包含标头而不是源文件，因此他们将无法使用模板 - 例如，如果他们尝试使用MyCairoControl<Foo>，他们将得到未解决的符号错误。如果您知道将用于T 的类型，则可以修复此问题。具体来说，如果您在MyCairoControl.cpp 中声明专业化如下：

template <>
class MyCairoControl<Foo>;

template <>
class MyCairoControl<Bar>;

任何人都可以使用MyCairoControl<Foo> 和MyCairoControl<Bar>，但尝试使用MyCairoControl<OtherType> 仍然会出现未解决的外部符号错误，除非您也为其添加前向声明。