using声明在GCC/MSVC编译通过却被Clang拒绝，标准规定的正确行为？

为了厘清using声明的概念，我编写了一段C++代码，它能在GCC和MSVC中编译通过，但会被Clang拒绝。

代码示例：

namespace X 
{ 
    struct type {}; 
}
namespace Y 
{ 
    using type = int; 
}
using X::type;
using Y::type;
int main()
{
    auto i = sizeof(type); // GCC和MSVC接受，但Clang拒绝
}

Clang的报错信息：

:13:21: error: reference to 'type' is ambiguous auto i = sizeof(type); ^ :10:10: note: candidate found by name lookup is 'type' using Y::type; ^ :9:10: note: candidate found by name lookup is 'type' using X::type; ^ :13:21: error: reference to 'type' is ambiguous auto i = sizeof(type); ^ :10:10: note: candidate found by name lookup is 'type' using Y::type; ^ :9:10: note: candidate found by name lookup is 'type' using X::type; ^

标准下的正确行为与编译器合规性 #

根据C++标准[namespace.udecl]章节的规则：当同一作用域内的using声明引入了同名但不同的实体时，对该名称的引用会产生歧义，程序属于病态格式（ill-formed），编译器必须报错。

在这个例子中，X::type是一个结构体类型，Y::type是int的类型别名，二者是完全不同的实体。全局作用域中同时通过using声明引入这两个同名实体后，sizeof(type)中的type名称查找会匹配到两个候选，无法确定唯一的引用目标，因此符合标准的行为是拒绝编译。

结论：Clang的处理符合C++标准，GCC和MSVC此处的行为属于非标准扩展，可能是为了兼容旧有代码而放宽了规则。

内容的提问来源于stack exchange，提问作者Vlad from Moscow