编译警告[Warning] address of local variable 'bestIdx' returned含义及代码求助

警告含义 #

这个警告明确告诉你：你正在返回一个局部变量的内存地址，而局部变量存储在函数的栈帧中。当函数执行完毕后，栈帧会被销毁，局部变量占用的内存会被系统回收或重新分配。此时返回的地址就变成了无效的“野指针”，后续代码使用这个指针时，会触发未定义行为——可能是程序崩溃、数据乱码，甚至出现难以排查的诡异bug。

你的代码问题 #

你在函数里定义的bestIdx[2]={0}是局部数组，属于栈内存。函数执行到return bestIdx;时，虽然返回了数组的首地址，但函数结束后bestIdx的内存已经不属于你的程序了，这个地址指向的内容完全不可靠。

解决方法 #

这里有三种常用的可靠方案，你可以根据场景选择：

方案1：动态分配堆内存

用malloc在堆上分配内存，堆内存不会随函数结束而销毁，但必须在使用完后手动调用free释放，避免内存泄漏。

int *findMostPrefered(int toyCnt, int childrenCnt, int prefer[][20], bool toyNum[], bool childrenNum[]){
    int max = prefer[0][0];
    // 动态分配2个int大小的内存
    int *bestIdx = malloc(2 * sizeof(int));
    bestIdx[0] = 0;
    bestIdx[1] = 0;
    
    for(int i=(childrenCnt-1); i>=0; i=i-1){
        if(childrenNum[i] == 0){
            for(int j=(toyCnt-1); j>=0; j=j-1){
                if(toyNum[j] == 0){
                    if(prefer[i][j] >= max){
                        max = prefer[i][j];
                        bestIdx[0] = i;
                        bestIdx[1] = j;
                    }
                }   
            }
        }
    }
    return bestIdx;
}

调用方式：

int *result = findMostPrefered(toyCount, childCount, preferList, toyUsed, childUsed);
// 使用result[0]和result[1]
free(result); // 用完必须释放内存

方案2：让调用者传入结果数组

不需要返回数组，而是在函数参数里传入一个已经分配好的数组，函数直接把结果写入这个数组。这种方式不需要处理内存释放，是最安全的选择之一。

void findMostPrefered(int toyCnt, int childrenCnt, int prefer[][20], bool toyNum[], bool childrenNum[], int bestIdx[]){
    int max = prefer[0][0];
    bestIdx[0] = 0;
    bestIdx[1] = 0;
    
    for(int i=(childrenCnt-1); i>=0; i=i-1){
        if(childrenNum[i] == 0){
            for(int j=(toyCnt-1); j>=0; j=j-1){
                if(toyNum[j] == 0){
                    if(prefer[i][j] >= max){
                        max = prefer[i][j];
                        bestIdx[0] = i;
                        bestIdx[1] = j;
                    }
                }   
            }
        }
    }
}

调用方式：

int result[2];
findMostPrefered(toyCount, childCount, preferList, toyUsed, childUsed, result);
// 直接使用result[0]和result[1]即可

方案3：返回结构体实例

如果需要返回多个相关的值，可以定义一个结构体，直接返回结构体实例（结构体是值拷贝，不会涉及指针有效性问题）。

// 先定义结构体类型
typedef struct {
    int childIdx;
    int toyIdx;
} PreferResult;

PreferResult findMostPrefered(int toyCnt, int childrenCnt, int prefer[][20], bool toyNum[], bool childrenNum[]){
    int max = prefer[0][0];
    PreferResult result = {0, 0};
    
    for(int i=(childrenCnt-1); i>=0; i=i-1){
        if(childrenNum[i] == 0){
            for(int j=(toyCnt-1); j>=0; j=j-1){
                if(toyNum[j] == 0){
                    if(prefer[i][j] >= max){
                        max = prefer[i][j];
                        result.childIdx = i;
                        result.toyIdx = j;
                    }
                }   
            }
        }
    }
    return result;
}

调用方式：

PreferResult result = findMostPrefered(toyCount, childCount, preferList, toyUsed, childUsed);
// 使用result.childIdx和result.toyIdx

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