类构造函数中的模板和使用（#define）

Question

我已经实现了堆栈进程。这个程序应该与真正的堆栈内存完全相同。此外，我正在尝试使用模板并使程序更通用。我在使用#define DEFAULT_SIZE 10 作为类构造函数的参数时遇到了问题。

首先，当我将DEFAULT_SIZE 放入构造函数的原型中时，它会顺利进行：

#define DEFAULT_SIZE 10

template<typename T>
class stack {
public:
   stack(int size=DEFAULT_SIZE);
private:
   T *elements;
   int size;
   int count;
};

template<typename T>
stack<T>::stack(int s) {
   cout << "--constructor called\n";
   size = s;
   elements = new T[size];
   count = 0;
}

但是当我将DEFAULT_SIZE 放在类构造函数的大纲定义中时，我得到了这个错误：no appropriate default constructor available

#define DEFAULT_SIZE 10

template<typename T>
class stack {
public:
   stack(int size);
private:
   T *elements;
   int size;
   int count;
};

template<typename T>
stack<T>::stack(int s=DEFAULT_SIZE) {
   cout << "--constructor called\n";
   size = s;
   elements = new T[size];
   count = 0;
}

最后是程序的主体：

int main() {
   stack<int> u;
   u.push(4);
}

我的问题不是关于“为什么模板只能在头文件中实现？”我的问题是我使用DEFAULT_SIZE的地方。

Answer 1

我想，问题只是模板声明的不同：

 stack(int size);

和模板定义：

stack<T>::stack(int s=DEFAULT_SIZE) {
   ...
}

默认值必须在声明部分，如果定义中的方法签名与声明不同（您在定义中添加 DEFAULT_SIZE）编译器不确定您是否编写相同的构造函数。请注意，DEFAULT_SIZE 是在 s 值未赋予构造函数时应用的，因此您的定义将作为默认构造函数工作，但声明是具有一个参数的构造函数。

Answer 2

在 C++ 规范（§8.3.6 pt.4）中提到

对于非模板函数，可以在相同范围内的函数声明中添加默认参数。

因此您不能在定义中分配默认值。这就是第二种方法不起作用的原因。

虽然第一种方法会起作用，但您可以在定义中省略默认值。

Answer 3

如果你用 Ideone 编译你的第二个代码 sn-p，它会给你“redeclaration of 'stack::stack(int)' may not have default arguments”（见http://ideone.com/UKIx2r） .

prog.cpp:16:35: error: redeclaration of 'stack<T>::stack(int)' may not have default arguments [-fpermissive]
 stack<T>::stack(int s=DEFAULT_SIZE) {

必须在第一个声明中指定默认参数

如果您声明自己的构造函数，则默认构造函数将被删除。但是，只要所有参数都具有默认值，您的构造函数就会充当默认构造函数。

您的第一部分为构造函数参数声明了正确的默认值。您的第二部分没有，您的编译器没有机会将构造函数用作默认构造函数。