switch语句无作用域case标签中显式与默认初始化的区别

核心规则依据来自C++标准对switch控制流的约束：控制流不能跳过带有非平凡初始化（包括显式初始化、有自定义构造函数的类对象初始化）的变量定义，直接进入其作用域范围。

1. 为什么示例1无法正常编译，而示例2可以正常运行？ #

示例1中int n_elem = 0;是带显式初始化的变量定义，当grade取值为B/C时，控制流会直接跳转到case 'B'分支或者直接退出switch块，完全跳过了n_elem的初始化步骤，属于标准明确禁止的非法行为，因此编译阶段直接报错。
示例2中int n_elem;是内置POD类型的无初始化定义，没有需要执行的初始化逻辑，C++允许控制流跳过这类变量的定义点，因此可以正常编译。

2. 为什么示例1中的n_elem不能携带初始化器，而示例2中的n_elem可进行默认初始化？ #

两者的本质差异是初始化操作是否存在可被跳过的执行逻辑：

• 带初始化器的变量，初始化操作和变量定义是绑定执行的，一旦被跳过，后续访问该变量时必然会读取到未初始化的垃圾值，会直接触发未定义行为，因此标准直接在编译阶段拦截这种可能有风险的跳转。
• 示例2中的int n_elem;属于自动存储期的内置类型默认初始化，实际上不会执行任何初始化操作，内存直接保留未定义的脏值，不存在可被跳过的执行逻辑，因此标准允许控制流跳过它的定义点。

3. 我认为示例1和2中的n_elem均完成了初始化，该认知是否正确？ #

该认知完全错误：

• 示例1无法通过编译，不存在实际执行、完成初始化的可能。
• 示例2中的n_elem从来不会被自动初始化：如果走case 'A'分支，n_elem定义后处于未初始化的脏值状态；如果走case 'B'分支，控制流直接跳过了n_elem的定义点，连变量定义的环节都没有执行，更不存在初始化一说，只有到case 'B'中执行n_elem = 100赋值操作后，它才会持有确定值。

额外提醒：不管示例2能不能编译，这种跨case使用变量的写法都属于高危实践，很容易因为漏赋值触发未定义行为。标准的推荐写法是给每个case分支加独立的大括号作用域，变量在各自分支的作用域内定义使用，避免跨分支的变量生命周期混淆。

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