功能模板：typename声明

Question

在GCC上，以下内容给出了一个错误：no type named 'x' in 'struct Type'

在VC ++上，它抱怨p未声明

struct Type
{
   static int const x = 0;
};

template <class T> void Func()
{
   typename T::x * p; // p to be pointer
}

int main()
{
   Func<Type>();
}

Answer 1

T::x变为Type::x，这是int，而不是类型。

您告诉编译器T::x使用typename命名一个类型。实例化Func<Type>时，T::x不是类型，因此编译器报告错误。

Answer 2

由于Type::x不是类型，而是值，所以当您编写typename时，您告诉编译器要查找x中名为Type的嵌套类型，但它不能。因此，GCC说no type named 'x' in 'struct Type'比VC ++生成的消息更有用。

Answer 3

在C ++ 11中，using关键字可用于类型别名

struct Type
{
    using x = static int const;
};