C++中类名与全局整型变量同名时为何优先识别变量？名称解析机制疑问

嘿，这个问题问到点子上了！这其实涉及到C++里的**名字隐藏（Name Hiding）**和非限定名字查找的优先级规则，我来给你一步步拆解：

核心原理：非限定名查找的优先级 #

当你在代码中使用一个没有任何限定符（比如::、class关键字）的名字时，编译器会按照特定顺序查找这个名字对应的实体：

• 首先检查当前函数的局部作用域
• 然后逐层向外查找外层作用域（比如全局作用域）

而关键规则是：在同一个作用域中，如果一个名字同时对应变量/对象和类型（比如你的全局int Name和class Name），编译器会优先将其解析为变量/对象，而非类型。这种情况就属于变量名隐藏了同名的类型名，编译器认为这是明确的选择，所以不会抛出歧义错误。

对应到你的代码场景 #

在func()中调用sizeof(Name)时：

1. 编译器先在func()的局部作用域查找Name，没找到
2. 接着查找全局作用域，发现有两个同名实体：int Name（变量）和class Name（类型）
3. 根据优先级规则，编译器直接选择变量Name，所以sizeof(Name)等价于sizeof(int)，输出结果就是你平台上int的字节数（通常是4或8）

如何强制解析为类型？ #

就像你已经知道的，如果你想让编译器把Name当作类型处理，需要用class关键字显式限定：

std::cout << sizeof(class Name) << std::endl; // 此时会解析为类Name，输出sizeof(int[2])即8（假设int是4字节）

这属于限定类型名的用法，明确告诉编译器：“我要找的是这个名字对应的类型，不是变量”。

额外补充：为什么不会有歧义？ #

你可能疑惑为什么编译器不报错——歧义错误通常发生在同一个作用域中存在多个同类型的同名实体（比如两个同名函数但参数列表不构成重载）。而这里变量和类型属于不同的实体类别，C++规则已经明确了优先级，所以编译器能确定唯一的解析结果，自然不会报错。

内容的提问来源于stack exchange，提问作者Richard