c – 具有typedef返回值的模板成员函数

为什么以下代码给我一个错误(g 4.1.2)？

template<class A>
class Foo {
public:
  typedef std::vector<A> AVec;
  AVec* foo();
};

template<class A>
Foo<A>::AVec* Foo<A>::foo() { // error on this line
  return NULL;
}

错误是：

error: expected constructor,destructor,or type conversion before '*' token

我应该如何定义Foo< A> :: foo()函数否则(具有正确的返回类型)？

解决方法

这是一个叫“ two-stage lookup”的问题.基本上,由于A是foo()定义中的模板参数,所以编译器首次无法知道解析模板,无论Foo A :: AVec是一个类型还是存在(因为例如,则可能存在不包含typedef的Foo>专业化).它只会知道模板实例化过程中会发生什么,这在后期发生 – 现在为时已晚.

正确的方法是使用typename关键字来表示这是一个类型：

template<class A>
class Foo {
public:
  typedef std::vector<A> AVec;
  AVec* foo();
};

template<class A>
typename Foo<A>::AVec* Foo<A>::foo() {
  return NULL;
}