C++ switch case中crosses initialization初始化报错如何修复

错误根因 #

• 跨分支初始化违规：C++标准禁止跳过对象的初始化步骤直接进入其作用域。switch的所有case分支默认属于同一作用域，你在case1中定义的p_array作用域覆盖整个switch块，当程序直接跳转到case0或case2时会跳过它的初始化步骤，因此触发crosses initialization报错。
• 非标准语法使用：person p_array[size]是C99的变长数组(VLA)特性，不属于C++标准规范，仅GCC等少数编译器通过扩展支持，可移植性极差；且栈空间上限很低，size稍大就会触发栈溢出。
• 逻辑漏洞：即使绕过编译错误，p_array仅在case1分支内有效，case2直接访问会触发未定义行为；且原代码do-while循环内没有重新读取用户输入，会陷入死循环。

修复方案 #

1. 给需要定义局部变量的case分支加独立的{}作用域，将局部变量的作用域限制在当前case内部，避免跨分支初始化问题。
2. 用C++标准库的std::vector替代非标准变长数组，std::vector是原生支持动态大小的数组容器，自动管理内存，安全性和可移植性都远高于栈上变长数组，其data()方法可以直接返回底层数组指针，完全兼容你现有Program类的接口逻辑，不需要修改原有函数实现。
3. 调整变量作用域，将p_array提升到switch外部定义，支持case2分支访问，同时增加空校验避免非法访问；将用户输入读取逻辑移到循环内部，支持多次操作。

修复后完整代码 #

#include <iostream>
#include <vector>
// 此处保留你原有的person、Program类定义
using namespace std;

int main()
{
    Program people;
    int size = 0, ch;
    bool exit = false;
    // 提升动态数组到switch外部定义，支持多分支访问
    vector<person> p_array;
    
    cout << "[0] Exit"<<endl;
    cout << "[1] Create List"<<endl;
    cout << "[2] Display"<<endl;
    
    do
    {
        cout << "Enter: ";
        cin >> ch;
        switch(ch)
        {
            case 0:
                 exit = true;
                 break;
            case 1:
                 { // 加独立作用域，避免局部变量跨分支访问
                     cout << "Enter how many people should be on the list?: ";
                     cin >> size;
                     p_array.resize(size);
                     people.getDetails(p_array.data(), size);
                     people.mergeSort(p_array.data(), 0, size-1, size);
                     break;
                 }
            case 2:
                 if (p_array.empty()) {
                     cout << "请先执行[1]创建列表再尝试显示" << endl;
                     break;
                 }
                 people.sort_by_category(p_array.data(), size);
                 break;
            default:
                 cout << "输入选项无效，请重新输入" << endl;
        }
    } while(!exit);

    return 0;
}

内容的提问来源于stack exchange，提问作者Aaron Francis Pacardo