单一定义规则规定程序应该包含每个非内联函数的一个定义。对于模板类的成员,这对我来说并不完全清楚:
///////////
// Tfoo.h
template<typename T> class A {
void foo(){}
};
///////////
// intfoo.h
#include <Tfoo.h>
template<> class Foo<int> {
void foo(); // declaration only
};
/*inline*/ void Foo<int>::foo(){} // definition
///////////
// X.cpp
#include <intfoo.h>
///////////
// Y.cpp
#include <intfoo.h>
在这种情况下,clientX.obj 和 clientY.obj 的定义都是 Foo<int>::foo
.链接器提示这个符号被定义了不止一次:
Y.obj : error LNK2005: "private: void __thiscall Foo<int>::foo(void)"
(?foo@?$Foo@H@@AAEXXZ) already defined in X.obj
当我在前面添加 inline
时到 Foo<int>::foo()
的定义,一切顺利,链接器很高兴。此外,当我在单独的编译单元(例如 intfoo.cpp)中定义它们时。
(注意:此解决方案在 https://stackoverflow.com/a/1481796/6610 中提出)
可能是一种误解,但是模板类的成员函数不总是“内联”的吗?这里的规则是什么?
最佳答案
类模板的显式特化的成员函数就像非模板类的成员函数。毕竟,显式特化是不依赖于任何模板参数的具体类。
如果您将它的定义放在一个由多个翻译单元包含的头文件中,编译器将在处理每个翻译单元时为该函数生成目标代码。
最终,链接器会提示多重定义的符号。 inline
关键字可以防止这种行为,就像它对常规非模板函数或非模板类的常规成员函数所做的那样。
关于c++ - 类方法的显式特化 - 符号已定义,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/16164496/