c++ - 模板 与模板 不匹配是缺陷吗？

Question

探索时this answer我发现采用参数包的模板不会被期望具有特定数量参数的模板的模板接受。

在我看来，这是一个缺陷，因为如果一个模板可以接受任意数量的参数，它应该能够映射到一个特定的数字。有语言律师可以解释为什么不允许这样做吗？

这是一个简单的例子:

template <typename...Ts>
using pack = void;

template <template <typename> class>
using accept_template = int;

accept_template<pack> value = 0;

当然，我不会在这种情况下使用它。它将用于将模板传递给另一个模板，该模板将以某种方式使用传递的模板。在我链接的答案中，我已经说明了一个解决方法，但我仍然觉得这是一个缺陷。

Answer 1

此限制因 P0522 而放宽，它引入了新规则来处理模板模板参数与模板模板参数的匹配方式。结果，从论文中:

template<class T, class U = T> class B { /* ... */ };
template <class ... Types> class C { /* ... */ };
template<template<class> class P> class X { /* ... */ };


X<B> xb; // OK, was ill-formed: 
         // default arguments for the parameters of a template argument are ignored

X<C> xc; // OK, was ill-formed: 
         // a template parameter pack does not match a template parameter

您的示例无法在 C++14 中编译，但会在 C++17 中编译。