C++Template头文件和定义分开编译的问题

 

（1）

// Foo.h
template<typename T>
class Foo
{
public:
void f();
};

// Foo.cpp
#include <iostream>
#include "Foo.h"

template<typename T>
void Foo<T>::f()
{
std::cout << "Foo<T>::f()/n";
}

// main.cpp
#include "Foo.h"

int main()
{
Foo<int> x;
x.f();
}

 

如上组织，会编译出错。

而如果把Foo.h和Foo.cpp合并在一起，就不会出现编译错误了。

#include <iostream>

template<typename T>
class Foo
{
public:
void f();
};
template<typename T>
void Foo<T>::f()
{
std::cout << "Foo<T>::f()/n";
}


int main()
{
Foo<int> x;
x.f();
}

 

这是正确的。

 

为什么呢？

 

 

(2)由于现在还没有支持template分离编译的编译器（记得目前还没有），因此我们常见的template头文件（例如<vector>）会把声明和实现都放到一起 （而不像我们通常做法只把声明放入头文件中）。
这便带来了一个问题，例如：

1.c:
#include <vector>
...

2.c:
#include <vector>
...

gcc 1.c 2.c

问题就是为什么可以顺利通过呢（呵呵，这个和#ifdef | #define | #endif 预处理无关的）？
依照前边所述，相当于1.c和2.c中各有一份vector的实现，应该没法link通过的啊。

呵呵，这个时候可能就像你猜想的那样，轮到我们的编译器出马了，编译器为了保证template头文件也能够和其他的头文件（只包含声明）有相同的行为，它会为template作相应的暗中处理，以保证template只被实现一次 。

（3）

在（1）的例子里面为了能够让定义和声明分开，将声明放到了foo.h中，而定义放到了foo.cpp中，这和非模板类型的函数是一样的。但是可惜这么做是无法通过的，因为模板类型函数不能够（由于没有export支持）单独编译。 为了让编译通过，将foo.cpp给include进了foo.h，这样实际上是将两个文件整合成一个文件了。这样编译就没有问题了，但是得小心需要把foo.cpp分离出项目，因为它不可以被编译；或者将其扩展名从.cpp改为.hpp。

实在是不推荐这么分开的写，说实话这算不上是什么标准的做法，而且这样并没有太大的意义。如果非要分开，可以将定义后缀到声明后面，在一个文件里。但是分开确实没太大意义。可以研读一下boost里面的做法。