为什么模板参数不允许参数列表后的typename

Question

使用模板中的模板语法时

错误：模板参数在参数列表后需要“类”

在声明模板参数的基本情况下，关键字typename和class在其他任何地方都是可以互换的。

您可以争辩说，使用模板时的要求暗示您需要传递类类型，但情况并非总是如此（尤其是在C 11引入模板类型别名之后）。

template <template <typename> class T> // 'class' keyword required.
struct Foo {
    using type = T<int>;
};

template <typename T>
using type = T (*)();

using func_ptr_t = Foo<type>::type;

• 模板声明中不允许使用typename有什么具体原因吗




Answer 1

我在寻找这个限制背后的理性[…]

在引入C 11之前，可以传递给模板参数的唯一模板是类模板。这就是为什么强制使用关键字class。此外，关键字typename意味着模板参数是对任意类型的替换，而不是模板，因此在该上下文中使用typename只会模糊类型名称和（类）模板之间的界限。这是可以理解的。

如今，此类参数可以是类模板或别名模板的名称，而且由于这些模板甚至没有远程连接，因此关键字class的实施或多或少已经过时。提案N4051选择将其更改为C 1Z。

Answer 2

简短回答：因为标准上这么说。

更详细的回答：在标准化之前，C模板要求所有模板参数使用class关键字。然而，为了强调模板也可以是非类（即内置）类型的事实，引入了另一个关键字typename。然而，在C 98中，模板参数只能是类类型，这就是为什么没有在该上下文中添加typename关键字的原因。

输入C 11及其新的要素模板别名，该别名现在还引入了非类模板，因此引入了非类模板参数：

template<typename T> struct A {};
template<typename T> using B = int;

template<template<typename> class X> struct C;
C<A> ca; // ok
C<B> cb; // ok, not a class template
template<template<typename> typename X> struct D; // error, cannot use typename here

上述示例取自当前的C 1z提案N4051，标题为模板参数中的Allowtypename，并建议精确地允许。

Clang 3.5 SVN现在通过-std=c 1z标志支持此功能。