Расширить шаблонную структуру дополнительным параметром шаблона в C ++

Question

ПРИМЕР

template< typename T >
struct A {

};

template< typename T, typename U >
struct A : A<T> {

};


int main() {
    A<double> ad;
    A<int, int> a;
}

ОШИБКА КОМПИЛЯЦИИ

g++ -std=c++17 -Wall -pedantic -pthread main.cpp && ./a.out
main.cpp:9:8: error: redeclared with 2 template parameters
 struct A : A<T> {
        ^
main.cpp:4:8: note: previous declaration 'template<class T> struct A' used 1 template parameter
 struct A {
        ^
main.cpp: In function 'int main()':
main.cpp:16:5: error: expected initializer before 'A'
     A<int, int> aii;
     ^

Разные имена шаблонов работают отлично:

template< typename T >
struct A {

};

template< typename T, typename U >
struct AA : A<T> {

};


int main() {
    AA<int, int> aa;
}

Хотите иметь такое же имя шаблона.Это должно быть возможно с шаблонами с переменным числом, но я не знаю как.
Спасибо за ваше внимание

Answer 1

Вы можете использовать параметры по умолчанию, если вы можете определить по умолчанию:

template<typename T, typename U = /* default */>
struct A {

};

Если вы хотите обработать различное количество параметров шаблона с другим поведением, вы также можете использовать вариационные шаблоны и специализацию для этого:

template<typename...>
struct A;

template<typename T>
struct A<T> { // specialization for one parameter

};

template<typename T, typename U>
struct A<T, U> { // specialization for two parameter

};

int main() {
    A<double> ad;
    A<int, int> a;
    // A<int, int, int> a; // error, undefined
}