Initializing template base-class member types in derived-class initializer lists
The Foo_T type will not be looked up in the base class when used in the derived (Bar) constructor.
Bar (const foo_arg_t bar_arg, const a_arg_t a_arg)
: Foo<T>(bar_arg) // base-class initializer
{
Foo_T = TypeA(a_arg); TypeA, etc. // Won't compile, per the standard
}
This is per the C++ standard, which says unqualified names are generally non-dependent, and should be looked up when the template is fully defined.
Since a template base class definition is not known at that time (there could be fully specialised instances of the template being pulled in later in the compilation unit), unqualified names are never resolved to names in dependent base classes.
If you need a name from a base class when templates are involved, you have to either fully qualify them, or make them implicitly dependent in your derived class.
Foo< T >::Foo_T = TypeA(a_arg); // fully qualified will compile
or, make it dependent
this->Foo_T = TypeA(a_arg);
Since the this
makes it template dependent, resolving the type is postponed till "phase 2" of template instantiation (and then, the base class is also fully known)
Note that if you wanted to use a function from the base class, you could have also added a using declaration..
(inside Bar())
some_foo_func(); // wouldn't work either
using Foo<T>::some_foo_func;
some_foo_func(); // would work however
Sorry to be unhelpful, but I also do not see a way around this without doing exactly what you stated:
As of now I can't see a way past using both the template argument and a matching derived-class constructor argument to accomplish this task.
You will likely have to specialize a bit:
template<>
Bar<TypeA>::Bar (const foo_arg_t bar_arg, const a_arg_t a_arg)
: Foo<TypeA>(bar_arg) // base-class initializer
{
// the initialization of Foo_T has to be done outside the initializer list because it's not in scsope until here
Foo_T = TypeA(a_arg); // if an a_arg_t is passed in, then we set the Foo_T to TypeA, etc.
}
template< class T>
Bar<T>::Bar (const foo_arg_t bar_arg, const a_arg_t a_arg)
: Foo<T>(bar_arg) // base-class initializer
{
// Throw exception?
}
template<>
Bar<TypeB>::Bar (const foo_arg_t bar_arg, const b_arg_t b_arg)
: Foo<TypeB>(bar_arg)
{
Foo_T = TypeB(b_arg);
}
template< class T >
Bar<T>::Bar (const foo_arg_t bar_arg, const b_arg_t b_arg)
: Foo<T>(bar_arg)
{
// Throw exception ?
}
Unfortunately, I do not have access to a compiler at the moment to check this code so be wary.
In answer to your question/comment. I got the following to compile:
#include <iostream>
typedef int a_arg_t;
typedef double b_arg_t;
typedef std::string foo_arg_t;
class TypeA {
public:
TypeA () {}
TypeA (a_arg_t a) {}
};
class TypeB {
public:
TypeB () {}
TypeB (b_arg_t b) {}
};
template <class T>
class Foo {
public:
Foo (const foo_arg_t foo_arg) : _foo_arg(foo_arg) {}
T Foo_T; // either a TypeA or a TypeB - TBD
foo_arg_t _foo_arg;
};
// the derived class that should set the basse-member type (T Foo_T)
template <class T>
class Bar : public Foo<T> {
public:
Bar (const foo_arg_t bar_arg, const a_arg_t a_arg)
: Foo<T>(bar_arg) // base-class initializer
{
Foo<T>::Foo_T = TypeA(a_arg);
}
Bar (const foo_arg_t bar_arg, const b_arg_t b_arg)
: Foo<T>(bar_arg)
{
Foo<T>::Foo_T = TypeB(b_arg);
}
};
int main () {
b_arg_t b_arg;
a_arg_t a_arg;
foo_arg_t bar_arg;
Bar<TypeA> a (bar_arg, a_arg); // try creating the derived class using TypeA
Bar<TypeB> b (bar_arg, b_arg); // and another type for show
return 0;
}