Тип перегрузки из родительского пространства имен

Question

Кажется, что это правильно скомпилировано:

namespace A {
    template<typename T>
    struct S {};

    namespace B {
        using S = S<int>;
    }
}

int main() {
    using namespace A::B;
    S s;
}

Даже если в строке using S = S<int> первое S относится к A::B::S, а второе S относится к шаблону A::S.

Это стандарт C ++?

Answer 1

Область действия S начинается в точке декларации , а для декларации using - после идентификатора типа, к которому относится псевдоним (S<int>).

Таким образом, внутри декларации область действия нового S еще не началась, а S по-прежнему относится к A::S.

Согласно https://en.cppreference.com/w/cpp/language/scope#Point_of_declaration .