模板<类型名...>与模板不匹配<typename>是缺陷吗？

Is not matching a template<typename...> to template<typename> a defect?

本文关键字：lt gt typename 缺陷 不匹配 类型 模板      更新时间：2023-10-16

在探索此答案时，我发现一个采用参数包的模板不会被期望具有特定数量参数的模板所接受。

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

这是一个简单的示例：

template <typename...Ts>
using pack = void;
template <template <typename> class>
using accept_template = int;
accept_template<pack> value = 0;

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

由于P0522的结果，该限制放宽了，该限制引入了新规则，以处理模板模板 - arguments如何匹配模板模板 - 参数。结果，从纸上：

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中编译。

相关文章：