typedef 中的同名并从命名空间中使用

Question

示例代码：

struct X { void f() {} };
typedef X A;

namespace N { 
    struct A { void g() {} };
};

using N::A;

int main()
{
    A a;
    a.f();
}

此代码编译正确，A a; 创建一个X，而不是N::A。

标准中的哪些规则涵盖了这种行为？我期待 A a; 会出现模棱两可的错误。如果我将第一个结构命名为 A 而不是 X 并删除 typedef，那么我确实会收到这样的错误。 (g++ 8.3)

Answer 1

根据[namespace.udecl]/1 using N::A 将不合格的A 引入到使用声明出现的声明区域中。

... unqualified-id 在声明区域中声明，其中 using-declaration 显示为 using-declarator 引入的每个声明的同义词。

因此，[namespace.udecl]/13 共同覆盖了歧义

由于 using-declaration 是一个声明，因此对同一声明区域中同名声明的限制也适用于 using-declaration。

和[basic.scope.declarative]/4

给定单个声明区域中的一组声明，每个 它指定了相同的非限定名称，

• 应该都指同一个实体，或者都指函数和函数模板；或
• 确切地说，一个声明应声明一个非 typedef 名称的类名或枚举名，而其他声明应全部引用相同的变量、非静态数据成员或枚举数，或全部引用函数和函数模板；在这种情况下，类名或枚举名是隐藏的。

OP 中的 typedef 声明和 using 声明不填充任一项目符号，因此同一声明区域中的这对声明格式不正确。