理解C++编译器编译模板类的过程（3）

会计考友

　　template void array::set_elem(int i, const T& value)
9 p; }! j$ J/ f　　{
* {' J# Z- z4 ^/ Y0 H4 L　　data_ = value;
　　}
　　template array::operator T*()
　　{
　　return data_;
/ R% l' x  ?+ L6 A　　}
　　编译时会出现3个错误。问题出来了：
, T% E" i! s  w' ~. g, Y　　为什么错误都出现在第一个地方？
　　为什么只有3个链接出错？array.cpp中有4个成员函数。
　　要回答上面的问题，就要深入了解模板的实例化过程。
1 H1 g; s. E+ Y+ U4 `　　模板实例化
　　程序员在使用模板类时最常犯的错误是将模板类视为某种数据类型。所谓类型参量化(parameterized types)这样的术语导致了这种误解。模板当然不是数据类型，模板就是模板，恰如其名：
　　编译器使用模板，通过更换模板参数来创建数据类型。这个过程就是模板实例化(Instantiation)。
　　从模板类创建得到的类型称之为特例(specialization)。