用C ++中的附加模板参数扩展模板化结构

Question

EXAMPLE

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
}