c++ - 默认模板参数的非冲突重新定义

Question

我知道(here 是一个来源)只要这两个定义不冲突，就可以重新定义默认模板参数。因此，我正在尝试使用 g++ 5.3.1 编译以下内容:

template <class = int> class A; // forward declaration
template <class T = A<>> struct B {};

template <class T = int> class A {}; // "= int" here is for clarity

int main() { return 0; }

编译器提示:

error: redefinition of default argument for ‘class T’

我的理解哪里不对？

Answer 1

您不能重新定义默认模板参数。

当你写 template <class T = int> class A {};您正在重新定义此默认参数，这就是您收到错误的原因。您必须选择一个位置来放置该默认参数(前向声明或实际定义)。