typedef with templates

Question

template<class T> struct A {
    typedef int Int;
    A::Int b; // Line 1 (fails)
    Int c; // Line 2 (compiles)
};

int main(){    
   A<int> x;
   x.c = 13;
}

错误

error: ISO C++ forbids declaration of ‘Int’ with no type
error: extra qualification ‘A<T>::’ on member ‘Int’
error: expected ‘;’ before ‘b’

第1行失败但第2行编译.为什么？

Answer 1

你需要一个 typename

typename A::Int b;

该typename关键字是必需的,因为使用限定名称引用该成员A::Int.

Int c 很好,因为在这种情况下没有使用限定名称.

14.6/6

在类模板的定义内或类模板成员的定义内,当引用声明类型的类模板的先前声明的成员的非限定名称时,不需要关键字typename.使用限定名称引用成员时,应始终指定关键字typename ,即使限定符只是类模板名称.