为什么模板模板参数不允许在参数列表后使用"typename"

Why does not a template template parameter allow 'typename' after the parameter list

本文关键字：参数 typename 不允许 为什么 列表      更新时间：2023-10-16

模板模板typename?

当使用模板模板语法如template <template <typename> class T>时，需要使用关键字class，因为使用typename会产生以下错误:

错误:template模板形参需要在形参列表后面加上class

在其他地方，关键字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是不允许在模板模板声明? c++标准对此有什么规定吗?

简短的回答:因为标准这么说。

较长的答案:在标准化之前，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标题为允许typename在模板模板参数中，并建议精确地允许。

Clang 3.5 SVN现在支持这个与-std=c++1z标志。

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

在c++ 11引入之前，唯一可以传递给模板模板形参的模板是类模板。这就是强制使用关键字class的原因。此外，关键字typename意味着模板参数是对任意类型的替代，而不是模板，因此在该上下文中使用typename只会模糊类型和(类) 模板之间的界限。这是可以理解的。

现在，这样的参数可以是类模板的名称或别名模板，由于它们甚至没有远程连接，因此关键字class的强制执行或多或少已经过时了。提案N4051选择用c++ 1Z来改变这一点。
相关文章：