Sepplesfags, help!


template <class T>
class A
{
public:
    typedef T Foo;
};

template <class T>
class B
{
    A<T>::Foo foo;
};

int main()
{
    B<int> b;
    return 0;
}


test.cpp:11: error: type ‘A<T>’ is not derived from type ‘B<T>’
test.cpp:11: error: expected ‘;’ before ‘foo’


What the FUCK?

>>25
I have ruminated for a while before posting, and I have decided that the following is ambiguous without typename:

T::id();

Is that constructing a temporary value of type T::id, or calling a static member function T::id? Bear in mind that the compiler doesn't know what T is at this point, so it can't just look at T and decide.