C++动态数组指针回调引用异常：1D出错2D正常原因排查

你的代码核心问题是静态指针指向了函数内局部栈变量的地址，函数执行完毕后局部变量的内存被回收，静态指针变成野指针，后续访问属于未定义行为——有时候能读出值是侥幸，触发异常才是这类问题的正常表现。

具体分析 #

• init_test函数里的somearray和smallerarray都是局部栈变量，函数执行结束后，栈帧会被销毁，这些变量占用的内存会被标记为可复用。
• TESTER = &somearray;和TestAgain = &smallerarray;是把静态指针指向了这些局部变量的地址。函数结束后，somearray和smallerarray已经不存在，此时TESTER和TestAgain都是野指针。
• 二维数组访问偶尔能输出3，只是因为栈内存还没被新数据覆盖，旧值暂时残留；一维数组触发异常，是因为这块内存已经被其他操作改写。
• 在init_test里提前执行std::cout << (*TestAgain)[2] << std::endl;能正常输出，是因为此时smallerarray还在有效的栈帧里，内存是合法的。函数结束后如果没有其他操作覆盖这块内存，值可能暂时保留，后续访问也能读到4，但这完全是不确定的，换个环境或添加几行代码就可能崩溃。

修复方案 #

方案1：静态变量存储动态分配的数组指针（推荐） #

修改头文件test.h，调整静态变量的类型：

#ifndef TEST_H
#define TEST_H

static int** TESTER;
static int* TestAgain;

void init_test();
void call_tester();

void get_tester(int* letmebeit, int* metoo);

#endif

然后修改init_test函数，直接将动态数组的指针赋值给静态变量：

void init_test() {
    int** somearray = new int* [3];
    somearray[0] = new int[2];
    somearray[1] = new int[2];
    somearray[2] = new int[2];
    somearray[2][1] = 3;

    int* smallerarray = new int[3];
    smallerarray[2] = 4;
    
    TESTER = somearray; // 直接存储堆内存地址
    TestAgain = smallerarray;
}

注意：动态分配的内存需要在程序结束前手动释放，避免内存泄漏。

方案2：动态分配指针的指针（不推荐，增加内存管理复杂度） #

如果一定要保留原有的指针层级，可以修改init_test，让静态指针指向动态分配的指针：

void init_test() {
    int*** somearray = new int**[3];
    *somearray = new int*[3];
    (*somearray)[0] = new int[2];
    (*somearray)[1] = new int[2];
    (*somearray)[2] = new int[2];
    (*somearray)[2][1] = 3;

    int** smallerarray = new int*[3];
    *smallerarray = new int[3];
    (*smallerarray)[2] = 4;
    
    TESTER = somearray;
    TestAgain = smallerarray;
}

这种方式需要释放更多层级的动态内存，容易出错，除非有特殊需求否则不建议使用。

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