Question

C++模板类实例化,编译器报错

// Template specialization
#include <iostream>

template <class T> class pair {
T value1, value2;
public:
pair(T first, T second){
value1 = first;
value2 = second;
}
T module() { return 0; }
};
template <>
class pair <int> {
int value1, value2;
public:
pair(int first, int second){
value1 = first;
value2 = second;
}
int module();
};

template <>
int pair<int>::module() {//报错:module()不是可显式专用化的实体
return value1%value2;
}

int main() {
pair <int> myints(100, 75);
pair <float> myfloats(100.0, 75.0);
std::cout << myints.module() << '\n';
std::cout << myfloats.module() << '\n';
return 0;
}

Answer 1

第一种方法意味着在使用模板的转换文件中不但要包含模板声明文件，还要包含模板定义文件。在上例中，就是第一个示例，在array.h中用行内函数定义了所有的成员函数。或者在main.cpp文件中也包含进array.cpp文件。这样编译器就能看到模板的声明和定义，并由此生成array<int, 50>实例。这样做的缺点是编译文件会变得很大，显然要降低编译和链接速度。
第二种方法，通过显式的模板实例化得到类型。最好将所有的显式实例化过程安放在另外的文件中。在本例中，可以创建一个新文件templateinstantiations.cpp：
// templateinstantiations.cpp
#include "array.cpp"
template class array <int, 50>; // 显式实例化

追问

这个是书上的实例但是编译器报错(VS2012)