能，而且完全合法——只要它们处于不同作用域。同名变量在嵌套块中会自动遮蔽外层变量，这是c++作用域规则的默认行为：内层作用域定义的同名变量会遮蔽外层变量，编译器按“从内到外”查找，不会报错，也不会合并或覆盖内存。
能，而且完全合法——只要它们处于不同作用域。
同名变量在嵌套块中会自动遮蔽外层变量
这是 C++ 作用域规则的默认行为：内层作用域定义的同名变量会遮蔽（shadow）外层同名变量，编译器按“从内到外”查找，不会报错，也不会合并或覆盖内存。
- 常见错误现象：
int x = 10;在函数开头定义，后面for (int x = 0; x 又声明一次 —— 循环内用的 <code>x是循环变量，函数开头那个被暂时“看不见”了 - 使用场景：临时复用变量名（如遍历索引统一用
i）、lambda 捕获时重命名、函数参数与全局配置同名（如void log(int level)和全局int level） - 注意：
if、for、while的括号内声明的变量属于块作用域，生命周期仅限该块；退出后外层变量自动“恢复可见”
:: 只能访问被遮蔽的全局变量，不能用于块作用域
:: 是作用域解析运算符，但它只对「全局命名空间」中的变量有效。它不能帮你访问被遮蔽的局部变量、静态局部变量、或 for 循环里声明的 i。
- 例如：
int x = 100;（全局），void f() { int x = 200; std::cout → 输出 <code>100 - 但若写成
{ int x = 300; { int x = 400; std::cout ，这里的 <code>::x仍指最外层全局x，不是上一层块里的300 - 想访问外层块变量？只能改名，比如把内层
x改成x_inner；C++ 不提供类似outer::x的语法
static 局部变量和全局变量同名时，:: 依然有效
哪怕全局变量加了 static（即内部链接），只要它在当前翻译单元中定义，::x 仍可访问——因为 static 不改变其“属于全局命名空间”的本质。
- 反例：匿名命名空间里的变量（如
namespace { int x = 5; }）不属于全局命名空间，::x无法访问 - 再反例：类内静态成员
class A { static int x; };必须写A::x，::x无效 - 性能/兼容性无影响：遮蔽是编译期行为，不增加运行时开销；所有标准 C++ 版本（包括 C++20/23）都保持该语义
真正容易被忽略的是：遮蔽本身不报错，但 IDE 或静态分析工具（如 clang-tidy）可能提示 shadow-field 或 shadow-ivar 警告——这不是语法问题，而是潜在逻辑风险：你本想修改全局计数器，结果只改了局部副本。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
