C++：变量定义、初始化与赋值的区别及switch场景疑问

先看你遇到的switch代码：

switch (1)
{
    int a; // okay: definition is allowed before the case labels
    int b{ 5 }; // illegal: initialization is not allowed before the case labels

    case 1:
        int y; // okay but bad practice: definition is allowed within a case
        y = 4; // okay: assignment is allowed
        break;

    case 2:
        int z{ 4 }; // illegal: initialization is not allowed if subsequent cases exist
        y = 5; // okay: y was declared above, so we can use it here too
        break;

    case 3:
        break;
}

以及你用来区分三个概念的代码：

int foo; //variable definition
foo = 10; //assignment
int bar {20}; //variable initialization

先纠正三个核心概念的本质 #

• 变量定义（Definition）：为变量分配内存空间，并告知编译器变量的类型和名称。定义是变量存在的基础，分为两种情况：
  • 无初始化的定义：比如int foo;，仅分配内存，内存中的值是不确定的（未初始化）。
  • 带初始化的定义：比如int bar{20};，分配内存的同时直接给内存赋予确定的初始值，这是定义+初始化的合并操作。
• 初始化（Initialization）：在变量首次获得内存空间的同时，为其赋予确定值的操作，是定义过程的一部分。核心是「给新内存设初始值」，和赋值的本质区别在于：初始化针对的是刚分配的、从未被使用过的内存；赋值针对的是已经存在的、可能已有值的内存。
• 赋值（Assignment）：对**已经完成定义（已有内存空间）**的变量，覆盖其当前值的操作，属于变量定义后的后续操作，和定义无直接关联。比如foo = 10;是给已经定义的foo变量的内存写入新值。

switch语句中相关规则的底层逻辑 #

switch的执行逻辑是基于标签跳转：程序可以直接跳转到任意case标签，跳过标签之前的所有代码。而C++要求：所有带初始化的变量，必须保证初始化操作被执行（否则变量会处于「已分配内存但未初始化」的非法状态，触发未定义行为）。

结合你的例子逐一分析：

1. int a; // okay：这是无初始化的定义，仅分配内存。哪怕程序直接跳转到case标签跳过它，a只是处于未初始化状态（C++允许未初始化变量存在，只是使用它会有风险），所以合法。
2. int b{5}; // illegal：这是带初始化的定义。如果程序直接跳转到case标签，会跳过初始化操作，导致b已分配内存但未被初始化，违反C++的初始化保证规则，因此非法。
3. int y; // okay but bad practice：无初始化的定义，合法。但如果程序从case2直接跳进来（比如case1没有break导致fallthrough），y还是未初始化状态，后续使用会触发未定义行为，所以是坏实践。
4. y = 4; // okay：这是赋值操作，针对已经定义的y变量，只要执行到这行，y已经有内存空间，赋值合法。
5. int z{4}; // illegal：带初始化的定义，且后续存在case3。程序可能通过跳转直接进入case3，跳过z的初始化，导致z处于非法状态，因此编译器禁止这种写法。如果case2是最后一个标签（后面没有其他case或default），这个初始化会被允许，因为不会被跳转跳过。

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