类模版的分离编译问题

    模板不是数据类型，只能算是一种行为集合的表示。编译器在使用模板时，通过更换模板参数来创建数据类型。这个过程就是模板实例化(Instantiation)， 从模板类创建得到的类型称之为特例(specialization)，说白了就是创建了一个新类型。 模板实例化取决于编译器能够找到可用代码来创建特例(称之为实例化要素，point of instantiation)，也就是说，编译器不但要看到模板的声明，还要看到模板的定义。

1. 为什么类模版不能分离编译，这要从模板的实例化过程说起：

    1）以分离形式写出的模版类（以tem.h和tem.cpp为例，另外还有主函数main.cpp），在编译main.cpp时由于只能看到模板声明而看不到实现，因此不会创建新的类型，但此时不会报错，因为编译器认为模板定义在其它文件中，就把问题留给链接程序处理。

    2）编译器在编译tem.cpp时可以解析模板定义并检查语法，但不能生成成员函数的代码。因为要生成代码，需要知道模板参数，即需要一个类型，而不是模板本身。

    3）这样，链接程序在main.cpp 或 tem.cpp中都找不到新类型的定义，于是报出无定义成员的错误。

另外，实例化是惰性的，只有用到该函数时才会去对模版中的定义进行实例化。

2. 如何解决这个问题？有三种方式：

    1）在实例化要素中让编译器看到模板定义。（即写到一个文件里）

    2）用一个新的文件来显式地实例化类型，这样链接器就能看到该类型。

    3）使用export关键字。

    前二种方法通常称为包含模式，第三种方法则称为分离模式。第一种方法意味着在使用模板的转换文件中不但要包含模板声明文件，还要包含模板定义文件，这样编译器就能看到模板的声明和定义。这样做的缺点是编译文件会变得很大，显然要降低编译和链接速度。第二种方法，通过显式的模板实例化得到类型，也就是将所有的显式实例化过程安放在另外的文件中（比如tem_extend.cpp）。这样新类型不是在main.cpp中产生，而是在tem_extend.cpp中产生，链接器就能够找到它的定义。用这种方法，不会产生巨大的头文件，加快编译速度，而且头文件本身也显得更加“干净”和更具有可读性。但这个方法不能得到惰性实例化的好处，即它将显式地生成所有的成员函数。第三种方法是在模板定义中使用export关键字，剩下的事就让编译器去自行处理了。

3. 其他

    vc和gcc都只支持h文件里反过来include cpp文件的那种所谓的“模板分离编译”，虽然把h和cpp分开了，但编译的时候还是合成了一个h文件，真正的分离编译是export关键字，而export关键字，任何主流编译器不支持并且以后都不打算支持。“靠谱的编译器都不支持模板分离编译，支持模板分离编译的编译器都不靠谱”。

    另外，EDG是第一个支持C++ export关键字的前端编译器，但是它不推荐使用这个关键字，以后将不再支持export。

    参考：1）模板分离编译过程，and 2）昨天面试的几道小题

4. 另外的另外

    很多C/C++编译器对函数参数的压栈都是自右向左的，即最右的参数被首先push到栈底，然后load到寄存器中进行下一步运算。这在一些多个参数均带有同一变量的自增或自减的函数中会出现不可思议的结果。