C++中与类型同名的变量为何全局域编译报错而函数域可正常编译？

先明确两个C++标准的核心规则：

• [basic.scope.pdecl]条款明确规定：一个名称的声明点位于其完整声明符之后、初始化语句（如果存在）之前。
• 同一作用域内不允许声明两个同名、不同类型的实体；内层作用域的同名名称会自动遮蔽外层作用域的名称，不会触发重定义错误。

第一段代码报错的原因 #

第一段代码中，typedef int Integer; 和变量声明 Integer Integer = 1234; 都处于全局作用域：
当解析变量声明的第一个Integer时，名称查找直接命中全局作用域的typedef定义，确定为类型名，符合语法要求；但接下来要声明的变量名也是Integer，等于在同一全局作用域下同时存在Integer（typedef类型别名）和Integer（int变量）两个不同类型的同名实体，直接违反C++的同作用域命名规则，因此编译器直接抛出重定义错误。
后续main函数中引用Integer时，由于全局作用域的Integer名称存在歧义，编译器无法识别为合法表达式，因此抛出第二个错误。

第二段代码合法的原因 #

第二段代码中，变量声明Integer Integer = 1234;处于main函数的局部作用域，解析过程分两步：

1. 先解析声明的类型部分Integer：此时局部作用域还没有声明过Integer名称，名称查找向上找到全局作用域的typedef定义，确定为int类型别名，语法合法。
2. 接下来解析声明的变量名Integer：此时该变量的声明点生效，局部作用域的Integer变量名会遮蔽外层全局作用域的Integer类型别名，后续在局部作用域内查找Integer名称时，优先匹配局部变量。
   后续std::cout输出时，查找Integer直接命中局部变量，完全符合C++标准要求，因此编译正常。

这个行为是C++标准明确规定的，所以所有主流编译器（GCC、Clang、MSVC）的表现完全一致。

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