c++ - 不允许非类型参数的部分模板特化

Question

下面的代码不起作用，它给出了一个错误“Too few template arguments for struct foo”，我不明白为什么。在我看来，代码应该是有效的。我从 CPP 引用中找到了一个片段 here在“参数列表”部分的第 4 段中，这可能解释了为什么它不起作用，但我不明白。

template<int a, int b, int c> struct foo { };
template<int a> struct foo<a, 0, 0> { };

int main()
{
    foo<1> f;
}

Answer 1

这是允许的。但是您的模板需要 3 个参数。专门化它并不会神奇地将它变成一个 1 参数模板。

您可以使其他参数具有默认参数，但是:

template<int a, int b = 0, int c = 0> struct foo { char _[1] ; };
template<int a> struct foo<a, 0, 0> { char _[10] ;};

int main() {
    static_assert(sizeof(foo<1>) > sizeof(foo<1, 1, 1>), "");
    return 0;
}