C++ 模板编译

一般对 C++ 模板编译有经验的兄弟都知道，C++ 模板编译有两种方式： 包含编译 和 分离编译。

以前我以为 包含编译 的实现一定是放在头文件的，源文件也就没有（作用）了。现在才知道不然，其实两种编译方式在构造程序方面都是相同的：也就是 函数 与 类 的 声明 放在 头文件 中，函数 与 类 的实现放在 源文件 中。区别只在于编译怎么使用源文件中的实现罢了。

关于 分离编译，与 包含编译 不同的是，它需要 export 关键字来分明给定的定义可能会需要在其他文件中产生实例化，由编译器在需要产生这些实例化时计算如何产生模板实现。但是 Herb Sutter 的 paper 在尝试说明 export 关键字应该从语言中去除，他的一个主要的观点是证明 export 关键字不会实现你的期望 ── 在编译的时候不会去掉模板成员声明所需要的源码的限制。

所以，通常我们使用的是 包含编译，这是《C++ Pimer》上的例子：

// 实现文件 utlities.h
#ifndef _UTLITIES_H
#define _UTLITIES_H

template <tyepname T> int compare(const T&, const T&);

//  other declarations ...

#include  "utlities.cc"    //  得到 compare 以及其他等等的定义
#endif /* _UTLITIES_H */

//  实现文件 utlities.cc
template <typename T> int compare( const T &v1, const T &v2)  ... {
    if( v1 < v2 ) ...{
        return -1;
    }
    if( v2 < v1 ) ...{
        return 1;
    }
    return 0;
}

//  其他实现

最后，在实例化的源文件上 #include "utlities.h" 就可以了。

在这几天的编程中发现 primer 上所说的实例化问题：

1. 模板头文件，可以用预编译的方式来产生一些 .gch 文件，但是用时过长，因为做了不少多余的实例化工作了。
2. g++ 中用 -o 编译得到的文件是还没有实例化的。

所以，一般来说，模板，只要对它的实例化源文件用 -o 参数进行编译就可以了，模板的声明与实现文件不必操作。我只是做现在做的毕设前期编程，工程不大，但不知道以后的工作会不会遇到 primer 上所说的有许多实例化的同一个模板的文件。现在没遇到，也就不理会 g++ 是如何避免多余的实例化了。反正用 -o 编译实例化源文件，感觉还行。