为什么C++未命中case下定义的对象可在其他case使用，与if规则不同？

核心原因：作用域与生命周期是两套独立规则 #

要理解这个差异，首先要明确C++中两个完全独立的概念：

• 作用域：编译期规则，决定代码中哪些位置可以通过变量名访问该变量
• 生命周期：运行期规则，决定变量何时分配内存、初始化、销毁

问题1解答 #

是的，只有控制流实际经过对象的定义点时，对象才会被分配内存、完成初始化。
你例子中的value是无初始化的int基础类型，所以控制流跳过case 'a'的定义点时，只是没有给它赋初始值而已，后续对它赋值刚好没触发问题——但这本质是非常危险的未定义行为：如果你定义的是带默认构造的类类型，控制流跳过定义点就意味着构造函数没有被调用，后续直接访问成员一定会出异常。
甚至如果你把case 'a'中的定义改成带初始化的形式：int value = 0;，编译器会直接报错，因为C++标准明确禁止控制流跳过带初始化的变量定义点，进入该变量的作用域。

问题2解答 #

因为switch的所有case都处于同一个块作用域中，就是switch语句外层包裹的那对大括号的作用域。
C++的块作用域规则是：变量在块内的某一点定义后，从定义位置开始直到块结束的所有代码区域，都属于该变量的作用域，和运行期控制流会不会跳到这些区域没有任何关系。case本质只是运行期的跳转标记，并不会分割作用域，所以value在case 'a'定义后，后面的所有case包括default都能通过变量名访问到它。
而你提到的if语句的情况，if后面的单语句或者大括号本身就是独立的块作用域，出了这个块变量作用域就结束了，自然外部访问不到。

问题3解答 #

这个规则是C为了兼容C的语法保留下来的。C最初设计switch的时候，本质是把它当成汇编跳转表的语法糖，没有给每个case单独设计作用域，目的是给开发者足够的灵活性：比如多个case可以共享同一个临时变量，不用重复定义减少冗余。
当然这个设计很容易引发未定义行为，现在的C最佳实践都是要求每个case单独加一对大括号，形成独立的块作用域，避免变量泄露：

switch(c){
   case 'a': {
       int value; // 仅在当前case的块内可见
       break;
   }
   case 'b': {
       value = 100; // 这里直接报错：value未声明，符合直觉
       break;
   }
}

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