Home / Questions / 540
Accepted
Angel Angel
Asked: 2020-12-07 00:02:03 +0800 CST 2020-12-07 00:02:03 +0800 CST

模板上下文中的类和类型名是否相同？

  • 772

我用：

template<class T>
Arbol<T>::Arbol(){

}

当T你要上课的时候。

并使用：

template<typename T>
Arbol<T>::Arbol(){

}

当它将T成为一个类型时，例如bool，即char基本类型。

但是看着一个程序的代码片段（不是我创建的），我看到它typename在我通常使用的地方使用class，直到现在我还没有注意到。如果现在你问我为什么，好吧，我不能说百分百为什么，但也许我（想象）编译器在它是语言中包含的类型时会区分并相应地采取行动。

我的问题是：

使用一个或另一个是否相同？

好吧，现在我已经对它们进行了测试并且它们都可以正常工作，但是我不知道我是否遗漏了某些东西，或者在这种情况下class和之间可能存在一些细微的差异。typename

c++

3 Answers

  1. Best Answer

    在这种情况下，它是相同的，没有区别。

    它们可以互换使用，并且由于历史原因而存在。

    在 Stan Lippman 的这篇博文中，他解释说Stroustrup最初不想引入新的关键字并重用class. 在 ISO-C++ 标准之前，它是声明它的唯一方法。

    在标准化过程中，发现这会导致语法歧义（见博客），因此决定引入一个新的关键字来解决它。这是typename。它最终被重载class以typename保持向后兼容性。

    • 9

  2. 关于使用typename或class声明模板的类型参数，在大多数情况下使用其中一个关键字是无关紧要的，但在某些情况下需要使用其中一个或另一个。

    例如，模板参数的类型需要using （但在 C++17 中这可能会改变），并且需要 using来帮助编译器区分类型或值（当类型依赖时）。classtypename

    摘自论文 n4051（翻译是我的）：

    在模板参数中允许类型名（模板模板）

    自从引入模板别名以来，C++ 已经有了不是模板类的模板，特别是它现在有不是模板类的模板参数。但是，模板参数的语法仍然需要关键字class：

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

template<template<typename> class X> struct C;
C<A> ca; // bien
C<B> cb; // bien, no es una clase plantilla
template<template<typename> typename X> struct D; // error, no se puede usar typename aqui

    简而言之，对于绝大多数情况class或typename无关紧要，但typename它是消除依赖类型歧义的唯一选择，并且class是模板参数类型所必需的；它们是两个关键字不可互换的唯一两种情况，但它们不是最常见的用途。

    • 9

  3. 当声明一个template简单时，使用classor是无关紧要的typename。两者完全相同。但是，对于某些用途，我们将没有那么多的选择自由。

    如果我们需要使用用于专门化的类/结构提供的类型，template我们将不得不在template. 在这种情况下，我们将不得不使用typename：

    template<typename T>
class Foo
{
    typedef typename T::type newType;
};

template<class T>
class Foo
{
    typedef typename T::type newType;
};

    如果其中一种类型template变成另一种类型template（例如容器），class如果我们想要template编译，我们将不得不使用：

    template< template<class> class Container, class NestedType>
void func(const Container<NestedType> &value)
{
  // ...
}
    • 4