从父命名空间重载类型

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 声明，它位于别名所指的类型 ID (S<int>) 之后。 p>

所以在声明里面，新的S的作用域还没有开始，S还是指A::S。

根据https://en.cppreference.com/w/cpp/language/scope#Point_of_declaration.