从父命名空间重载类型

Question

从父命名空间重载类型

7

这似乎可以正确编译：

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++吗？

- tmlen

添加了“语言律师”标签，因为它似乎与此相关。 - bartop

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- tmlen · Accepted Answer

S的作用域从其“声明点”开始，在using声明中，它位于别名所引用的类型标识符之后（S<int>）。

因此，在声明内部，新的S的作用域尚未开始，S仍然指代A::S。

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