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

Question

I understand ( here is one source) that one can re-define default template arguments as long as the two definitions are not in conflict. So, I am trying to compile the following with 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; }

The compiler complains:

error: redefinition of default argument for 'class T'

Where is my understanding incorrect?

Answer 1

You cannot redefine default template parameters.

When you write template <class T = int> class A {}; you are redefining this default parameter and that is why you get the error. You must choose one place to put that default parameter (either the forward declaration or the actual definition).