c++ - 从父命名空间重载类型

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> )。

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

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