C++：初始化头文件中声明的模板构造函数/例程？

Question

我在头文件中定义了一个模板，如下所示：

 template<typename T> class BoundedBuffer {
    unsigned int size;
    T entries[];
  public:
    BoundedBuffer( const unsigned int size = 10 );
    void insert( T elem );
    T remove();
};

但是，当我尝试初始化构造函数时：

BoundedBuffer<T>::BoundedBuffer( const unsigned int size = 10 ) size(size) {
    // create array of entries
    entries = new T[size];

    // initialize all entries to null
    for(int i = 0; i < size; i++)
        entries[i] = null;
}

出现以下错误（上一个代码块的第一行是 17）：

q1buffer.cc:17: error: âTâ was not declared in this scope
q1buffer.cc:17: error: template argument 1 is invalid
q1buffer.cc:17: error: expected initializer before âsizeâ

Answer 1

正确的语法是：

template <typename T>
BoundedBuffer<T>::BoundedBuffer(const unsigned int size) : size(size) {
    // create array of entries
    entries = new T[size];

    // initialize all entries to null
    for(int i = 0; i < size; i++)
        entries[i] = null;
}

请注意，可选参数不应在函数定义中声明，而只能在函数声明中声明。

class aaa
{
    // declaration
    void xxx(int w = 10);
};

// definition
void aaa::xxx(int w)
{
    ...
}

请注意，模板类的所有内容都应保留在 H 文件中。

“它们必须位于同一个翻译单元中。在某些库中，将模板实现分离到 .tpp（或其他扩展名）文件中，然后将其包含在声明模板的 .h 中是很常见的。”正如迈克尔·普莱斯所说。

模板不是普通类型，无法链接。
它们仅在请求时才被实例化。

请注意，构造函数字段初始值设定项需要“：”字符。

class MyClass
{
public:
    int x;

    MyClass() : x(10) { /* note that i used : character */ }
};

Answer 2

您必须在标头中实现模板的所有方法，因为模板的用户需要能够看到这些方法来为给定类型实例化它。

Answer 3

您的声明应该是：

template< typename T >
BoundedBuffer<T>::BoundedBuffer( const unsigned int size ) : size( size ) {...}

请注意，它也必须位于头文件中，正如@Dean Povey 提到的那样。