只是在这里添加一些值得注意的内容。当模板类的方法不是函数模板时，可以在实现文件中定义它们。

myQueue.hpp：

template <class T> 
class QueueA {
    int size;
    ...
public:
    template <class T> T dequeue() {
       // implementation here
    }

    bool isEmpty();

    ...
}    

myQueue.cpp：

// implementation of regular methods goes like this:
template <class T> bool QueueA<T>::isEmpty() {
    return this->size == 0;
}


main()
{
    QueueA<char> Q;

    ...
}

我建议看看这个gcc页面，它讨论了模板实例化的“cfront”和“borland”模型之间的权衡。

https://gcc.gnu.org/onlinedocs/gcc-4.6.4/gcc/Template-Instantiation.html

“borland”模型符合作者的建议，提供完整的模板定义，并多次编译。

它包含关于使用手动和自动模板实例化的明确建议。例如，“-repo”选项可用于收集需要实例化的模板。或者另一个选项是使用“-fno隐式模板”禁用自动模板实例化，以强制手动模板实例化。

根据我的经验，我依赖于为每个编译单元实例化的C++标准库和Boost模板（使用模板库）。对于我的大型模板类，我为所需的类型进行了一次手动模板实例化。

这是我的方法，因为我提供的是一个工作程序，而不是用于其他程序的模板库。这本书的作者Josuttis在模板库方面做了大量工作。

如果我真的担心速度，我想我会探索使用预编译头https://gcc.gnu.org/onlinedocs/gcc/Precompiled-Headers.html

这在许多编译器中得到了支持。然而，我认为使用模板头文件时，预编译头文件会很困难。

尽管标准C++没有这样的要求，但一些编译器要求所有函数和类模板都必须在使用的每个翻译单元中可用。实际上，对于这些编译器，模板函数的主体必须在头文件中可用。重复：这意味着这些编译器不允许在.cpp文件等非头文件中定义它们

有一个导出关键字可以缓解这个问题，但它离可移植性还很远。

如果问题是将.h编译为使用它的所有.cpp模块的一部分所产生的额外编译时间和二进制大小膨胀，那么在许多情况下，您可以做的是使模板类从接口的非类型依赖部分的非模板化基类下降，并且该基类可以在.cpp文件中实现。

这是因为需要单独编译，并且模板是实例化样式多态性。

让我们更接近具体的解释。假设我有以下文件：

小时声明类MyClass＜T＞的接口foo.cpp定义类MyClass＜T＞的实现棒.cpp使用MyClass＜int＞

独立编译意味着我应该能够独立于bar.cpp编译foo.cpp。编译器完全独立地在每个编译单元上完成分析、优化和代码生成的所有艰苦工作；我们不需要做整个程序分析。只有链接器需要一次处理整个程序，而且链接器的工作要简单得多。

当我编译foo.cpp时，bar.cpp甚至不需要存在，但我应该仍然能够将我已经拥有的foo.o与我刚刚制作的bar.o链接在一起，而不需要重新编译foo.cpp。foo.cpp甚至可以被编译成一个动态库，在没有foo.cpp的情况下分发到其他地方，并与他们在我编写foo.cpp多年后编写的代码链接。

“实例化样式多态性”意味着模板MyClass＜T＞实际上不是一个通用类，它可以编译为可用于任何T值的代码。这会增加诸如装箱之类的开销，需要将函数指针传递给分配器和构造函数等。C++模板的目的是避免编写几乎相同的类MyClass_int、类MyClass_float等，但最终仍然能够编写出编译后的代码，就像我们分别编写了每个版本一样。因此，模板实际上就是模板；类模板不是类，它是为我们遇到的每个T创建新类的方法。模板不能编译成代码，只能编译实例化模板的结果。

因此，当编译foo.cpp时，编译器无法看到bar.cpp以知道需要MyClass＜int＞。它可以看到模板MyClass＜T＞，但不能为此发出代码（它是一个模板，而不是类）。编译bar.cpp时，编译器可以看到它需要创建MyClass＜int＞，但它看不到模板MyClass＜t＞（只有foo.h中的接口），因此无法创建它。

如果foo.cpp本身使用MyClass＜int＞，那么编译foo.cpp时将生成该代码，因此当bar.o链接到foo.o时，它们可以连接起来并工作。我们可以使用这个事实，通过编写一个模板，在.cpp文件中实现一组有限的模板实例化。但bar.cpp无法将模板用作模板，并在它喜欢的任何类型上实例化它；它只能使用foo.cpp作者认为可以提供的模板类的预先存在的版本。

您可能会认为，在编译模板时，编译器应该“生成所有版本”，在链接过程中过滤掉从未使用过的版本。除了由于指针和数组等“类型修改器”特性，即使是内置类型也可以产生无限数量的类型，因此这种方法将面临巨大的开销和极端困难外，现在我通过添加以下内容来扩展程序时会发生什么：

巴兹卡普声明并实现类BazPrivate，并使用MyClass＜BazPrivate＞

除非我们

每次我们更改程序中的任何其他文件时，都必须重新编译foo.cpp，以防它添加了MyClass的新实例＜T＞要求baz.cpp包含（可能通过headerincludes）MyClass＜T＞的完整模板，以便编译器可以在编译baz.cpp期间生成MyClass＜BazPrivate＞。

没有人喜欢（1），因为整个程序分析编译系统需要很长时间才能编译，而且如果没有源代码，就无法分发编译后的库。所以我们有（2）。

我必须写一个模板类，这个例子对我很有用

下面是一个动态数组类的示例。

#ifndef dynarray_h
#define dynarray_h

#include <iostream>

template <class T>
class DynArray{
    int capacity_;
    int size_;
    T* data;
public:
    explicit DynArray(int size = 0, int capacity=2);
    DynArray(const DynArray& d1);
    ~DynArray();
    T& operator[]( const int index);
    void operator=(const DynArray<T>& d1);
    int size();
    
    int capacity();
    void clear();
    
    void push_back(int n);
    
    void pop_back();
    T& at(const int n);
    T& back();
    T& front();
};

#include "dynarray.template" // this is how you get the header file

#endif

现在，在.template文件中，您可以像往常一样定义函数。

template <class T>
DynArray<T>::DynArray(int size, int capacity){
    if (capacity >= size){
        this->size_ = size;
        this->capacity_ = capacity;
        data = new T[capacity];
    }
    //    for (int i = 0; i < size; ++i) {
    //        data[i] = 0;
    //    }
}

template <class T>
DynArray<T>::DynArray(const DynArray& d1){
    //clear();
    //delete [] data;
    std::cout << "copy" << std::endl;
    this->size_ = d1.size_;
    this->capacity_ = d1.capacity_;
    data = new T[capacity()];
    for(int i = 0; i < size(); ++i){
        data[i] = d1.data[i];
    }
}

template <class T>
DynArray<T>::~DynArray(){
    delete [] data;
}

template <class T>
T& DynArray<T>::operator[]( const int index){
    return at(index);
}

template <class T>
void DynArray<T>::operator=(const DynArray<T>& d1){
    if (this->size() > 0) {
        clear();
    }
    std::cout << "assign" << std::endl;
    this->size_ = d1.size_;
    this->capacity_ = d1.capacity_;
    data = new T[capacity()];
    for(int i = 0; i < size(); ++i){
        data[i] = d1.data[i];
    }
    
    //delete [] d1.data;
}

template <class T>
int DynArray<T>::size(){
    return size_;
}

template <class T>
int DynArray<T>::capacity(){
    return capacity_;
}

template <class T>
void DynArray<T>::clear(){
    for( int i = 0; i < size(); ++i){
        data[i] = 0;
    }
    size_ = 0;
    capacity_ = 2;
}

template <class T>
void DynArray<T>::push_back(int n){
    if (size() >= capacity()) {
        std::cout << "grow" << std::endl;
        //redo the array
        T* copy = new T[capacity_ + 40];
        for (int i = 0; i < size(); ++i) {
            copy[i] = data[i];
        }
        
        delete [] data;
        data = new T[ capacity_ * 2];
        for (int i = 0; i < capacity() * 2; ++i) {
            data[i] = copy[i];
        }
        delete [] copy;
        capacity_ *= 2;
    }
    data[size()] = n;
    ++size_;
}

template <class T>
void DynArray<T>::pop_back(){
    data[size()-1] = 0;
    --size_;
}

template <class T>
T& DynArray<T>::at(const int n){
    if (n >= size()) {
        throw std::runtime_error("invalid index");
    }
    return data[n];
}

template <class T>
T& DynArray<T>::back(){
    if (size() == 0) {
        throw std::runtime_error("vector is empty");
    }
    return data[size()-1];
}

template <class T>
T& DynArray<T>::front(){
    if (size() == 0) {
        throw std::runtime_error("vector is empty");
    }
    return data[0];
    }