c++ - 如何仅将可变参数模板与模板模板参数匹配？

Question

考虑以下代码:

#include <iostream>

template <template<class...> class C>
struct foo {
    foo() { std::cout << "base case\n";}
};

template <template<class> class C>
struct foo< C > {
    foo() { std::cout << "single param case\n";}
};

template <template<class,class> class C>
struct foo< C > {
    foo() { std::cout << "two param case\n";}
};

template <typename T> struct bar1 {};
template <typename T,typename U> struct bar2 {};
template <typename T,typename U,typename V> struct bar3 {};
template <typename...T> struct barN {};

int main() {
    foo<bar1> f;
    foo<bar2> g;
    foo<bar3> h;
    foo<barN> n;
}

输出为( gcc10.2@godbolt):

single param case
two param case
base case
base case

假设 barX给出，并且我有其他模板具有不同数量的类型参数。有些可变参数有些没有。
是否可以编写只匹配可变参数模板(上例中的 barN)的特化？

Answer 1

非常有趣的问题。不幸的是，答案是否定的。
没有通用的方法来确定一个模板是否有一个模板参数包，或者只是一堆有或没有默认值的常规模板参数。
原因是非可变模板可以绑定(bind)到可变模板模板参数，并且模板的具体类型可以绑定(bind)到模板参数包。
因此，有效地无法通过演绎/特化获得信息。总的来说，这很好——没有这个功能，可变参数模板会失去很多功能。
但是如果我们可以限制模板参数的最大长度，我们可以编写一个带有一堆模板特化的特征。这是因为部分排序(如您在问题中所示):godbolt