Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Templated member function with typedef return value

Tags:

c++

templates

Why does the following code give me an error (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;
}

The error is:

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

How am I supposed to define the Foo<A>::foo() function otherwise (with the correct return type)?

like image 727
Frank Avatar asked May 24 '09 19:05

Frank


2 Answers

This is an issue called "two-stage lookup". Basically, since A is a template parameter in foo()'s definition, the compiler can't know when parsing the template for the first time, whether Foo<A>::AVec is a type or even exists (since, for instance, there may exist a specialization of Foo<Bar> which doesn't contain the typedef at all). It will only know what it is during template instantiation, which happens later - and it's too late for this stage.

The correct way would be to use the typename keyword to indicate that this is a type:

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;
}
like image 129
ASk Avatar answered Oct 21 '22 05:10

ASk


The usual typename issue:

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

Remember: As a general rule, all qualified names that depend on a template parameter need typename before them.

like image 27
Johannes Schaub - litb Avatar answered Oct 21 '22 03:10

Johannes Schaub - litb