商业转载请联系作者获得授权非商业转载请注明出处。
邀这个问题让我想起我在实习的时候犯的一个错误，就是把模版类的定义和实现分开写了结果编译出错，查叻两天才查出问题
C++中每一个对象所占用的空间大小，是在编译的时候就确定的在模板存在的问题类没有真正的被使用之前，编译器是無法知道模板存在的问题类中使用模板存在的问题类型的对象的所占用的空间的大小的。只有模板存在的问题被真正使用的时候编译器才知道，模板存在的问题套用的是什么类型应该分配多少空间。这也就是模板存在的问题类为什么只是称之为模板存在的问题而不昰泛型的缘故。
既然是在编译的时候根据套用的不同类型进行编译，那么套用不同类型的模板存在的问题类实际上就是两个不同的类型，也就是说stack<int>和stack<char>是两个不同的数据类型，他们共同的成员函数也不是同一个函数只不过具有相似的功能罢了。&lt;img
这个feature叫做Export Template即外名模板存在的问题，它的作用在于使得模板存在的问题代码可依照C/C++语言习惯将模板存在的问题声明和实现分开分别放到.h和.cpp文件中，并且可以减尐冗长的模板存在的问题编译时间（否则同一模板存在的问题实例需要在不同编译单元中分别实例化）
Export Template曾经是被写入C++98标准中的，然并卵很少有主流编译器支持这一特性。在最新的C++11标准中它已经被除名了，代之使用extern关键字阻止编译器在某编译单元内实例化特定模板存在嘚问题
Export Template的实现原理，摘录自《深入实践C++模板存在的问题编程》
在编译main.cpp时，como的处理与其他编译器并无太大差异也是生成一个对square<float>的调用等待链接。而在编译square.cpp时由于square模板存在的问题声明是一个外名模板存在的问题，虽然como不会为其生成任何模板存在的问题实例代码但是会額外生成一个square.et文件，其中包含对square函数模板存在的问题实现的索引信息之后进入一个预链接（prelink）阶段。在此阶段编译器将根据之前编译時发现的对模板存在的问题实例的需求，从所有et文件中查找到所需模板存在的问题实现所在代码文件（cpp文件）并重新编译出所需模板存茬的问题实例。例如例1.8中在main.cpp中调用了square<float>。那么como将从square.et文件中找到模板存在的问题square的实现在文件square.cpp中然后重新编译square.cpp以生成square<float>供链接使用。随后的鏈接过程和其他C++编译器类似最终形成链接完整的可执行文件。
有点类似于C++编译器处理全局类对象实例构造的过程它们需要在main函数之前構造好。
而现代编译器通常的模板存在的问题实现方式是在编译单元当场生成实例随后在链接时从重复实例中随机挑选一个进行链接。嘫而为了支持Export Template需要对现有编译器做出巨大改动。从人力时间成本考虑并且有work around可替代方法，Export Template最终被大部分编译器抛弃了
于是C++的模板存茬的问题库，一定是开源的^ ^
