定义模板时， 使用关键字typename还是class没有区别，两个都可以用。

1 函数模板

下例是函数模板的定义及使用，可以看出，函数模板的调用方式同一般函数：

// returns 0 if the values are equal, 1 if v1 is larger, -1 if v1 is smaller template <typename T> // 模板参数列表, 由逗号分隔，一个或多个，不能为空 int compare(const T &v1, const T &v2) { if (v1 > v2) return 1; if (v1 < v2) return -1; return 0; } int main () { // 编译器实例化为int compare(const int&, const int&) cout << compare(1, 0) << endl; // 编译器实例化为int compare(const string&, const string&) string s1 = "hi", s2 = "world"; cout << compare(s1, s2) << endl; return 0; }

对于内联函数模板，inline关键字必须位于模板参数列表和函数返回类型的中间。

// OK: inline specifier follows template parameter list template <typename T> inline T min(const T&, const T&); // !!! ERROR: inline 不能放在template关键字之前 inline template <typename T> T min(const T&, const T&);

2 类模板

类模板的定义形式及使用如下所示：

template <class Type> class Queue { public: Queue (); // default constructor Type &front (); // return element from head of Queue const Type &front () const; void push (const Type &); // add element to back of Queue void pop(); // remove element from head of Queue bool empty() const; // true if no elements in the Queue private: // ... }; int main() { Queue<int> qi; // Queue that holds ints Queue< vector<double> > qc; // Queue that holds vectors of doubles Queue<string> qs; // Queue that holds strings return 0; }

3 模板编译模型

不同于一般函数和类定义，对于模板，编译器要求看到调用模板函数或模板类的成员函数时，也要求能看到定义。C++定义了两种编译模板代码的模型：包含编译模型(Inclusion Compilation Model) 和单独编译模型(Separate Compilation Model)， 以支持声明和实现，或定义和实现分别放在头文件和源文件中的项目组织形式。

否则，要通过编译，模板的实现必须放在头文件中。

3.1 包含编译模型 (Inclusion Compilation Model)

这种编译模型，所有的编译器都支持。

// 头文件 utlities.h #ifndef UTLITIES_H // header gaurd (Section 2.9.2, p. 69) #define UTLITIES_H template <class T> int compare(const T&, const T&); // other declarations #include "utilities.cc" // get the definitions for compare etc. #endif ---------------------------------------------------------------- // 源文件 utlities.cc template <class T> int compare(const T &v1, const T &v2) { if (v1 > v2) return 1; if (v1 < v2) return -1; return 0; } // other definitions

用VS2010测试:

//file: my_template.h #ifndef MY_TEMPLATE_H #define MY_TEMPLATE_H template<typename T> int compare(const T&, const T&); #include "my_template.cpp" # Most import line for build #endif ----------------------------------------------------- //file: my_template.cpp #include "stdafx.h" // 注意，这里不能加 #include "my_template.h", 加了就无法编译通过。 template<typename T> int compare(const T& v1, const T& v2) { if (v1 > v2) return 1; if (v1 < v2) return -1; return 0; } ----------------------------------------------------- // file with main： #include "stdafx.h" #include "my_template.h" #include <iostream> using std::cout; using std::endl; int _tmain(int argc, _TCHAR* argv[]) { cout << compare(3, 1) << endl; system("pause"); return 0; } // 可以成功执行，输出 1.

对于函数模板，这种方法ok。

但是测试中发现，对于模板类，如果加了类似 include “source.cpp” 的指令，会出现“函数模板已经定义”的错误，所以，把模板类的实现也放在头文件中，将是省时省力的做法。

3.2 单独编译模型 (Separate Compilation Model)

这种编译模型使用了关键字export。

对于函数，只需在源文件中的函数定义前加export关键字。

// the template definition goes in a separately-compiled source file export template <typename Type> Type sum(Type t1, Type t2) /* ...*/

对于类，略有不同：

// 头文件 template <class Type> class Queue { ... }; ------------------------------------------------------------- // 源文件 export template <class Type> class Queue; #include "Queue.h" // Queue member definitions

由于VS2010 说它不支持export关键字，这种编译模型没测试过。

---

[1] C++ Primer Chapter 16 Templates and Generic Programming