答案。

问题历史

return操作符在C语言中出现，是为了明确结束函数的执行并将结果传递给调用代码。在早期编程语言中并不总是存在返回值的能力，而return机制使得可以明确地指定计算结果。这提高了程序的表达能力和安全性。

问题

主要任务是：正确结束函数，并在需要时返回一个符合特定类型的值。错误通常发生在返回错误类型的值、指向不存在的或局部变量的指针，或调用方忽略返回值的情况。

解决方案

• **return;**仅应用于返回类型为void的函数（不返回任何值）。
• **return expression;**用于非void类型的函数，并以指定的值结束函数。
• 返回值的类型必须与函数的声明原型完全一致。
• 返回结构体时返回的是结构体的副本。返回指针时，仅返回地址的副本。
• 返回指向局部变量的指针是危险的（它们在函数退出时被销毁）。

示例代码：

#include <stdio.h>
struct Point { int x, y; };

struct Point make_point(int x, int y) { // 返回结构体（副本）
    struct Point p = {x, y};
    return p;
}

int* dangerous() {
    int num = 42;
    return &num; // 危险：返回局部变量的地址！
}

void do_nothing() {
    return; // 对于void类型的函数是正确的
}

int main() {
    struct Point p = make_point(3, 4);
    printf("%d %d\n", p.x, p.y);
    int* ptr = dangerous(); // UB: ptr指向已销毁的区域
}

关键特点：

• return立即结束函数执行
• 返回值类型必须与声明一致
• 返回结构体/对象时发生的是复制，而不是返回引用

有陷阱的问题。

可以在没有返回值的函数（void）中使用return吗？

答案：是的，可以写"return;"用于void函数，但不能为void函数指定表达式（return x;）。

从函数返回数组时会发生什么？

答案：在C中不能直接返回数组。只能返回指针（例如，指向静态数组），但是更常见的是返回指针和大小，或者使用动态分配的数组。

int* make_arr() {
    static int arr[5] = {1,2,3,4,5};
    return arr; // 静态数组在函数退出后仍然存在
}

为什么返回指向局部变量的指针是危险的？

答案：退出函数后，局部变量的内存将被释放（栈区域）。使用返回的指针会导致未定义行为。

常见错误和反模式

• 返回指向栈上变量的指针
• 返回表达式的类型与函数的类型不匹配
• 忽略声明为返回值的函数中的return路径

生活中的例子

消极案例

函数返回指向局部变量的指针，调用方获得"垃圾"，造成不可预测的行为和偶发的浮动bug。

优点：

• 快速实现

缺点：

• 随机崩溃，数据在函数退出后任何栈的变化时会被损坏

积极案例

使用返回的结构体（按值复制）或返回指向静态/动态内存的指针：

优点：

• 行为可预测
• 没有"悬挂"指针

缺点：

• 有时昂贵（复制大型结构），或者需要记得显式释放内存