先把这两个核心概念掰碎了讲清楚：

1. 什么是“在作用域内”（In Scope）？ #

当一个变量处于作用域内时，意味着编译器明确知道这个变量存在，并且它的生命周期还没结束。变量的作用域由它的声明位置决定：全局变量的作用域是整个程序，函数内的局部变量作用域覆盖整个函数，{}包裹的代码块里的变量，作用域就仅限这个块。只要程序执行流还没离开这个范围，变量就一直处于作用域内。

2. 什么是“可见”（Visible）？ #

可见性是在“作用域内”的基础上，多了一个关键条件：这个变量的名字没有被更内层的同名变量“遮蔽”（shadowing）。简单说就是，当你在代码里写这个变量名时，编译器能直接定位到它，不会被更近的同名变量“抢了优先级”。

结合你提到的i(1)和i(2)场景分析 #

我先构造一段最符合你描述的典型C++代码（毕竟你没给具体代码）：

#include <iostream>
int main() {
    int i = 5; // 记为i(1)，值为5
    {
        int i = 3; // 记为i(2)，值为3
        // 引用点1：这里的i是哪个？
        std::cout << "引用点1的i：" << i << std::endl;
    }
    // 引用点2：这里的i是哪个？
    std::cout << "引用点2的i：" << i << std::endl;
    return 0;
}

对引用点1的分析（内层代码块内） #

• 处于作用域内的i：i(1)和i(2)都在作用域内。i(1)的作用域是整个main函数，当前还没跳出这个函数；i(2)的作用域是内层代码块，当前正处于这个块里，两个变量的生命周期都没结束。
• 可见的i：只有i(2)是可见的。因为i(2)是更内层的同名变量，编译器查找变量名时会从当前作用域往外层找，找到第一个匹配的就停止，所以这里写i会直接指向i(1)被遮蔽后的i(2)——i(1)虽然存在，但暂时“被挡住看不见”。

对引用点2的分析（内层代码块结束后） #

• 处于作用域内的i：只有i(1)。内层代码块执行完毕，i(2)的作用域结束，生命周期也随之终止，不再处于作用域内。
• 可见的i：只有i(1)。此时没有任何同名变量遮蔽它，写i直接就能引用到i(1)。

最后总结一句：可见的变量一定处于作用域内，但处于作用域内的变量未必可见——如果被内层同名变量遮蔽，它就暂时无法通过名字直接访问。

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