c – 显式模板实例化如何影响链接器可以找到的内容？

一个不同的类似例子可以澄清其含义：

// test.h
template <typename T>
class ABC {
public:
   void foo( T& );
   void bar( T& );
};
// test.cpp
template <typename T>
void ABC<T>::foo( T& ) {} // definition
template <typename T>
void ABC<T>::bar( T& ) {} // definition

template void ABC<char>::foo( char & );  // 1
template class ABC<char>;                // 2
// main.cpp
#include "test.h"
int main() {
   ABC<char> a;
   a.foo();     // valid with 1 or 2
   a.bar();     // link error if only 1,valid with 2
}

在这个例子中,主要的编译器看不到foo和bar定义,所以它不能实例化方法.编译器在处理main.cpp时会很乐意接受代码,因为你告诉它ABC是一个模板,并且它有这两个函数,并且会假定它们将被定义在一些其他的翻译单元中.

在包含test.cpp的翻译单元中,编译器看到两个方法定义,并且这两个实例化(方法/类)都可以被完全处理.如果只有方法实例化([1])存在,编译器将只生成该方法,并且将不定义条.所以任何代码,包括test.h,链接到编译的test.cpp并且只使用foo方法将编译和链接,但是由于它的使用不定义,bar的使用将无法链接.

显式地实例化类模板生成所有成员方法的符号,在这种情况下,包含test.h的任何翻译单元和编译的test.cpp对象文件的链接都将被编译和链接.