Warum benötigt das Wort 'typedef' für abhängige Typen 'typename'?

Question

Abhängige Typen benötigen normalerweise typename, um dem Compiler mitzuteilen, dass das Element ein Typ ist, keine Funktion oder Variable.

Dies ist jedoch nicht immer der Fall.
Zum Beispiel ist eine Basisklasse nicht dies erfordern, weil es immer nur ein Typ sein kann:

meine Frage ist

template<class T> struct identity { typedef T type; } 
template<class T> class Vector : identity<vector<T> >::type { }; // no typename 

Nun warum typedef je typename nachdem es erfordert?

template<class T> class Vector 
{ 
    typedef typename /* <-- why do we need this? */ vector<T>::iterator iterator; 
}; 

Answer 1

typedef muss nicht vor dem Typ angezeigt werden.

template <typename T> 
struct S { typedef T type; }; 
template <typename T> 
void f() { typename S<T>::type typedef t; } 

Das ist völlig in Ordnung, und in diesem Fall, ich hoffe, dass das Parsen verstehen würde kompliziert sein, wenn typename optional sind.

kann ich das anders verstehen

template <typename T> 
void f() { typedef S<T>::type t; } 

interpretiert werden könnte, aber dass unerwartete Fälle einführen würde, wo die Position des typedef Schlüsselwort signifikant wird plötzlich.