Бесконфликтное переопределение аргумента шаблона по умолчанию

Question

Я понимаю (here - один источник), что можно переопределить аргументы шаблона по умолчанию, если два определения не конфликтуют. Таким образом, я пытаюсь скомпилировать следующие с г ++ 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 {};, вы переопределяете этот параметр по умолчанию, и именно поэтому вы получаете ошибку. Вы должны выбрать одно место для установки этого параметра по умолчанию (либо прямое объявление, либо фактическое определение).