несколько вложенных зависимых имен - куда вставить ключевое слово typename?

Смысл typename заключается в том, чтобы разрешить базовую проверку определения шаблона перед его созданием. Синтаксический анализ C++ невозможен без знания того, является ли имя типом или нет (является ли a*b; оператором выражения или объявлением объекта b).

В определении шаблона категория (тип или нетип) простого идентификатора всегда известна. Но квалифицированное (зависимое) имя не может быть - для произвольного T, T::x может быть либо тем, либо другим.

Таким образом, язык позволяет вам сказать компилятор, определяющий полное имя типа с помощью ключевого слова typename. В противном случае компилятор должен принять его за тип значения. В любом случае это ошибка, чтобы ввести компилятор в заблуждение.

Правило применяется даже в некоторых случаях, когда очевидно, что тип необходим (например, в typedef).

Только полное имя требует этой неоднозначности - typename A::B::C говорит вам, что C-тип; нет необходимости знать что-либо о A или B, чтобы проанализировать контекст, в котором появится полное имя.

В вашем примере (1) имя типа говорит, что T::Type::Type является типом. В (2) вы не должны использовать typename, потому что T::Type::value не является типом. Ни в одном случае ничего не говорится о T::Type, потому что это не имеет отношения к делу. (Хотя можно сделать вывод, что это должен быть тип, потому что иначе вы не смогли бы применить к нему ::.)

Я подозреваю, что ваша проблема с MSVC - это просто ошибка в этом компиляторе (печально известно, что он не обрабатывает двухфазный поиск должным образом), хотя я должен признать Я не уверен на 100%.

typedef typename T::Type::Type Type;  //(1)//legal?
enum {value = T::Type::Type::value }; //(2)//legal?

В (1) Вы говорите, что T:: Type:: Type - это имя типа

В (2) вы ничего не говорите о T:: Type:: Type:: value и по умолчанию он будет проанализирован как не-Тип

Typedef typename T:: Type:: Type Type; /(1)//законно?

Я сам не понимаю необходимости typename здесь. Потому что typedef можно применить только к typename. Может быть, c++ grammer устроен именно так.

Перечисление {значение = т::Тип::тип::значение }; /(2)//законно?

Вы не можете использовать typename, потому что это должно быть значение. Неявно логично, что когда вы пишете enum { value = ??? };, то ??? всегда должно быть только значение.

typename относится к первому зависимому типу. В вашем конкретном случае:

typedef typename T::type1::type2 Type;

Он ссылается на T::type1, сообщая, что это зависимое имя (в зависимости от параметра шаблона T).

Для постоянного значения вам не нужно имя типа, потому что это значение, а не тип. Если значение не определено, вы получите ошибку компиляции.

EDIT

struct S1
{
    enum { value = 42 };
};
template <class T> struct S2
{
    typedef S1 Type;
};
template <class T> struct S3
{
    typedef S2<T> Type; 
};
template <class T> struct S4
{
    typedef typename T::Type::Type Type;  //(1)//legal?
    enum {value = T::Type::Type::value }; //(2)//legal?
};

Давайте медленно пройдемся по этому примеру. В этом типе S4<S3<S2<S2<S1> > > > происходит следующее : Так как T есть S3<S2<S2<S1> > >, то typename T::Type расширяется до S2<S2<S1> >::Type, который является полным типом (больше никак не зависит от параметра шаблона). По этой причине вам не нужно использовать typename после первого зависимого typename.