模板中关键字“ typename”和“ class”的区别？

对于模板，我看到了两个声明：

template < typename T >
template < class T >

有什么不同？

在下面的示例中这些关键字的确切含义是什么（摘自关于模板的Wikipedia文章）？

template < template < typename, typename > class Container, typename Type >
class Example
{
     Container< Type, std::allocator < Type > > baz;
};

typename并且class是在指定模板的基本情况下可以互换：

template<class T>
class Foo
{
};

和

template<typename T>
class Foo
{
};

是等效的。

话虽如此，在某些情况下，typename和之间存在差异class。

第一个是在依赖类型的情况下。typename用于在引用依赖于另一个模板参数的嵌套类型时进行声明，例如typedef本示例中的：

template<typename param_t>
class Foo
{
    typedef typename param_t::baz sub_t;
};

您实际上在问题中显示的第二个，尽管您可能没有意识到：

template < template < typename, typename > class Container, typename Type >

指定模板模板时，class必须如上所述使用关键字- 在这种情况下不能与关键字互换（注意：由于C ++ 17在这种情况下都允许使用两个关键字）。typename

class在显式实例化模板时，还必须使用：

template class Foo<int>;

我确定还有其他情况，但是最重要的是：这两个关键字不相同，这是一些您需要使用其中一个的常见情况。

用于命名模板参数，typename并且class是等效的。第14.1.2条：

模板参数中的类和类型名之间没有语义上的区别。

typename但是，在使用模板的另一种情况下是可能的-提示编译器您引用的是依赖类型。第14.6.2条：

除非在适用的名称查找中找到类型名称或该名称由关键字typename限定，否则假定模板声明或定义中使用的且依赖于模板参数的名称不会命名类型。

例：

typename some_template<T>::some_type

没有typename编译器，通常无法判断您是否在引用类型。

虽然没有技术上的差异，但我已经看到两者用来表示略有不同的事物。

对于应该接受任何类型为T的模板，包括内置函数（例如array）

template<typename T>
class Foo { ... }

对于仅在T是实类的情况下才有效的模板。

template<class T>
class Foo { ... }

但是请记住，这纯粹是某些人使用的样式。未由标准强制要求或由编译器强制执行

1. 没有不同
2. 模板类型参数Container本身就是具有两个类型参数的模板。

这段代码来自c ++入门书。虽然我确定这是错误的。

每个类型参数必须以关键字class或typename开头：

// error: must precede U with either typename or class
template <typename T, U> T calc(const T&, const U&);

这些关键字具有相同的含义，可以在模板参数列表中互换使用。模板参数列表可以同时使用两个关键字：

// ok: no distinction between typename and class in a template parameter list
template <typename T, class U> calc (const T&, const U&);

使用关键字typename而不是使用类来指定模板类型参数似乎更直观。毕竟，我们可以将内置（非类）类型用作模板类型参数。此外，typename更清楚地指示后面的名称是类型名称。但是，在模板已经广泛使用之后，typename被添加到C ++中。一些程序员继续专门使用类