C语言 | 陷阱：数组指针作为函数参数返回

再来看一个指针问题，同样的来自一个本科生的代码。这段代码想要实现将一个全是小写字母的字符串转换成对应的大写字母字符串：

char *covert_to_upper_case(char *string) {
    char p[100];
    int i = 0;
    
    for(; i < strlen(string); i++ ) {
            p[i] = string[i] - ('a' - 'A'); 
    }
    p[i] = '\0';
    
    return p;
    
}

然而这段代码没有能实现期望的功能。原因如下：

1. 主程序调用convert_to_upper_case()函数后，堆栈为p分配了内存空间；
2. 函数体正确修改了p对应字符数组的内容，并将p的首地址作为指针返回；
3. 函数返回后，所有临时变量从堆栈中弹出，包括p[100]；
4. 主程序得到返回的指针，对其进行解析。然而指针指向的字符数组此时已经从堆栈中弹出，解析后的数据无法被定义。

要想正确实现对应的功能，应该将目标指针作为额外参数传递给该函数，并由上层调用者提供内存空间的创建。当然也可以使用malloc()将内存分配在堆中，但是需要注意使用对应的free()释放空间，否则会有内存泄露的问题。

作者

戴晓天

administrator

XIAOTIAN DAI | PhD
机器人实践者 | 实时系统研究员
我相信未来是机器与人共生的世界。

See author's posts