Using a typedefed default type for template parame

Question

I have a class where I want the template parameter B to have a default type. The problem is that the default type is a complicated expression depending also on the type of A.

The following code illustrates the situation but does obviously not compile, because defaultB type is not know inside the template expression.

template<class A, class B = defaultB>
class Foo{

   typedef A::Bar Bar;
   typedef Bar::Ex defaultB;


};

Does anybody have an idea how to solve this problem properly?

Answer 1

An alternative to TartanLlama's excellent suggestion is to maintain a dummy type hierarchy to lift up the typedef's into scope:

template<class A> 
struct _Foo {
    typedef typename A::Bar Bar;
    typedef typename Bar::Ex defaultB;
};

template<class A,class B=typename _Foo<A>::defaultB>
struct Foo : _Foo<A> {
};

Answer 2

You could maintain a namespace of defaults like this:

namespace detail {
    template <typename A>
    using defaultB = typename A::Bar::Ex;
}

template<class A, class B = typename detail::defaultB<A>>
class Foo{
};

This lets you have as complex expressions as you like in your detail namespace without making the Foo declaration ugly.