Question

有人能说出这段代码有什么问题吗？

template<class X>
class C {
public:
    template<class Y> void f(Y); // line 4
};

template<class X, class Y>
void C<X>::f(Y y) { // line 8
    // Something.
}

int main() {
    C<int> c;
    char a = 'a';
    c.f(a);
    return 0;
}

汇编：

$ g++ source.cpp 
source.cpp:8: error: prototype for ‘void C<X>::f(Y)’ does not match any in class ‘C<X>’
source.cpp:4: error: candidate is: template<class X> template<class Y> void C::f(Y)

我现在可以通过在第4行声明和定义函数来完成任务，但与单独执行相比，同时声明和定义函数的后果是什么？（这不是关于在头文件和源文件中声明函数的讨论）

注意：我看过this question，但似乎唯一感兴趣的部分是分开=（

Answer 1

编译器已经告诉你答案了。类C是具有一个参数的模板，成员函数f是模板成员函数，您必须以相同的方式定义它：

template <class X>
template <class Y>
void C<X>::f(Y y)
{
    // Something.
}

如果在声明站点定义函数，则会隐式声明它inline;这实际上是唯一的区别。当然，可能存在风格上的考虑因素，例如：永远不要将函数定义放在类定义中。

正如您正确观察到的那样，您仍然需要在头文件中提供定义，因为无论何时使用它都需要实例化模板，因此您需要访问所有定义

Answer 2

错误告诉您，您的代码应该如下所示：

template<class X>
class C {
public:
    template<class Y> void f(Y); // line 4
};

template<class X> template<class Y>
void C<X>::f(Y y) { // line 8
    // Something.
}

int main() {
    C<int> c;
    char a = 'a';
    c.f(a);
    return 0;
}

您的课程未定义为template<class X, class Y>

Answer 3

顺便说一下，最好在模板参数列表中使用关键字'typename'而不是'class'。

带模板功能的模板类

3 个答案: