什么时候需要"typename"关键字？

When is the "typename" keyword necessary?

本文关键字：关键字 typename 什么时候      更新时间：2023-10-16

可能重复：
正式来说，typename是什么意思
我必须把模板和typename关键字放在哪里以及为什么？

考虑以下代码：

template<class K>
class C {
    struct P {};
    vector<P> vec;
    void f();
};
template<class K> void C<K>::f() {
    typename vector<P>::iterator p = vec.begin();
}

为什么在这个例子中需要"typename"关键字？是否存在必须指定"typename"的其他情况？

简短回答：每当引用嵌套名称时，该名称是依赖名称，即嵌套在具有未知参数的模板实例中。

长话短说：C++中有三层实体：值、类型和模板。所有这些都可以有名称，仅凭名称并不能告诉你它是哪一层实体。相反，关于名称实体性质的信息必须从上下文中推断出来。

每当这种推断不可能时，你必须指定它：

template <typename> struct Magic; // defined somewhere else
template <typename T> struct A
{
  static const int value = Magic<T>::gnarl; // assumed "value"
  typedef typename Magic<T>::brugh my_type; // decreed "type"
  //      ^^^^^^^^
  void foo() {
    Magic<T>::template kwpq<T>(1, 'a', .5); // decreed "template"
    //        ^^^^^^^^
  }
};

这里必须解释名称Magic<T>::gnarl、Magic<T>::brugh和Magic<T>::kwpq，因为无法判断：由于Magic是一个模板，类型Magic<T>的性质取决于T——例如，可能存在与主模板完全不同的专业化。

Magic<T>::gnarl之所以成为一个依赖名称，是因为我们在一个模板定义中，其中T是未知的。如果我们使用Magic<int>，情况会有所不同，因为编译器知道(你保证！(Magic<int>的完整定义。

(如果你想自己测试，这里有一个Magic的示例定义，你可以使用。为了简洁起见，请原谅在专门化中使用constexpr；如果你有一个旧的编译器，可以随意将静态成员常量声明更改为旧风格的C++11之前的形式。(

template <typename T> struct Magic
{
  static const T                    gnarl;
  typedef T &                       brugh;
  template <typename S> static void kwpq(int, char, double) { T x; }
};
template <> struct Magic<signed char>
{
  // note that `gnarl` is absent
  static constexpr long double brugh = 0.25;  // `brugh` is now a value
  template <typename S> static int kwpq(int a, int b) { return a + b; }
};

用法：

int main()
{
  A<int> a;
  a.foo();
  return Magic<signed char>::kwpq<float>(2, 3);  // no disambiguation here!
}

需要typename关键字，因为iterator是P的依赖类型。编译器无法猜测iterator是指一个值还是一个类型，所以除非您大喊typename，否则它会假设它是一个值。只要存在依赖于模板参数的类型，在类型或值都有效的上下文中，就需要它。例如，由于基类必须是类型，因此不需要typename作为基类。

关于同一主题，有一个template关键字用于让编译器知道某个依赖名称是模板函数而不是值。

只要类型名称依赖于模板参数，就需要typename关键字(这样编译器就可以"知道"标识符的语义(类型或值(，而无需在第一次遍历时使用完整的符号表(。

含义不同，也不太常见，单独的typename关键字在使用通用模板参数时也很有用：http://ideone.com/amImX

#include <string>
#include <list>
#include <vector>
template <template <typename, typename> class Container,
          template <typename> class Alloc = std::allocator>
struct ContainerTests 
{
    typedef Container<int, Alloc<int> > IntContainer;
    typedef Container<std::string, Alloc<int> > StringContainer;
    //
    void DoTests()
    {
        IntContainer ints;
        StringContainer strings;
        // ... etc
    }
};
int main()
{
    ContainerTests<std::vector> t1;
    ContainerTests<std::list>   t2;
    t1.DoTests();
    t2.DoTests();
}
相关文章：