Почему injected-class-name иногда не рассматривается как имя шаблона в шаблоне класса?

Question

Источник

В следующих случаях имя введенного класса обрабатывается как имя шаблона самого шаблона класса:

• за ним следует <
• используется в качестве аргумента шаблона, соответствующего параметру шаблона
• это последний идентификатор в разработанном спецификаторе класса объявления шаблона класса друга.

Поэтому я попытался изучить все 3 случая (дополнительно в контексте базовой неопределенности, хотя я думаю, что здесь это не должно иметь значения).

Первый случай кажется простым.

Вопрос в том, почему не закомментированные примеры работают? Они не относятся как к GCC, так и к Clang, так что я не думаю, что это проблема реализации

template <template <class> class> struct A;

template <class T> struct Base {};

template <class T> struct Derived: Base<int>, Base<char>
{
    // #1
    typename Derived::Base<double> d;

    // #2

    // using a = A<Base>;

    using a = A<Derived::template Base>;

    // #3

    template<class U1>
    friend struct Base;

    // template<class U>
    // friend struct Derived::template Base;
};

Правила выше только для самого шаблона, а не для баз? Если да, то каковы правила для баз, особенно для последних 2 случаев?

Answer 1

Соответствующее правило здесь - [temp.local] / 4:

Поиск, который находит имя введенного класса ([class.member.lookup]), может привести к неоднозначности в некоторых случаях (например, если он найден в нескольких базовых классах). Если все найденные внедренные имена классов относятся к специализациям одного и того же шаблона класса и если имя используется в качестве имени шаблона, ссылка относится к самому шаблону класса, а не к его специализации, и не является неоднозначный. [ Пример:

template <class T> struct Base { };
template <class T> struct Derived: Base<int>, Base<char> {
  typename Derived::Base b;             // error: ambiguous
  typename Derived::Base<double> d;     // OK
};

- конец примера]

Что, я думаю, означает, что это ошибка gcc и clang. В:

using a = A<Base>;

Все найденные имена введенных классов ссылаются на специализации одного и того же шаблона класса (Base<T>) и имя используется в качестве имени шаблона (потому что это аргумент шаблона для параметра шаблона), так что это должно относиться только к самому шаблону класса и не должно быть двусмысленным.