C++函数返回数组指针出现意外输出的原因排查

你的代码核心问题是返回了指向局部数组的指针，这会触发未定义行为，具体原因和现象拆解如下：

局部变量的内存生命周期 #

example()函数里的arr是局部栈变量，它的内存分配在函数专属的栈帧中。当函数执行完毕返回时，该栈帧会被销毁，原本存储arr的内存区域会被标记为可复用。此时你返回的指针就变成了野指针——指向的内存已经不属于当前有效的变量，后续对这块内存的访问完全没有任何保障。

解释你的两个观察结果 #

• main中手动创建数组正常：main函数的栈帧会持续到程序结束，数组的内存全程处于有效状态，指针访问自然符合预期。
• 调换打印顺序输出正常：这只是未定义行为的偶然表现。当你先打印*(a+1)时，栈上原本存储arr[1]的内存还没被后续的函数调用（比如cout的内部操作）覆盖，刚好能读到旧值。但这种情况完全不可靠，换个编译器、优化等级或者运行环境，结果可能完全不同。

正确的实现方式 #

要避免这种问题，你可以选择以下几种方案：

1. 使用动态分配内存：

int* example() {
    int* arr = new int[3]{1,2,3};
    return arr;
}
// 注意：使用完后必须手动释放内存，避免内存泄漏
int main() {
    int *a = example();
    cout << *a     << endl;
    cout << *(a+1) << endl;
    cout << *(a+2) << endl;
    delete[] a; // 释放动态数组
    return 0;
}

2. 使用std::vector管理内存：
   这是C++中更推荐的方式，vector会自动处理内存的分配和释放，彻底避免野指针和内存泄漏问题：

#include<iostream>
#include<vector>

using namespace std;

vector<int> example() {
    return {1,2,3};
}

int main() {
    vector<int> vec = example();
    cout << vec[0] << endl;
    cout << vec[1] << endl;
    cout << vec[2] << endl;
    return 0;
}

3. 将数组作为参数传入函数：
   提前在main中分配好数组，让函数直接操作这块已存在的内存：

#include<iostream>

using namespace std;

void example(int arr[]) {
    arr[0] = 1;
    arr[1] = 2;
    arr[2] = 3;
}

int main() {
    int arr[3];
    example(arr);
    cout << arr[0] << endl;
    cout << arr[1] << endl;
    cout << arr[2] << endl;
    return 0;
}

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