C语言中处理函数无法生成结果的惯用方式（类比Rust的Option）及栈异常场景

一、处理函数无法生成有效结果的惯用方式 #

C语言没有内置的统一错误处理机制，行业里常用以下几种方案：

• 返回约定无效值：比如返回-1、NULL这类和有效结果明确区分的值，配合全局变量errno存储具体错误类型。比如标准库的fopen返回NULL表示打开失败，errno会记录对应的错误原因。
• 输出参数传递结果：把要返回的有效数据通过指针参数输出，函数本身返回错误码标识成功或失败。比如read系统调用，返回读取的字节数，失败返回-1，读取到的数据存在传入的缓冲区中。
• 自定义全局错误标志：自己定义一个全局变量（比如int g_stack_error），函数执行失败时设置对应的错误码，调用者在调用后检查这个变量。但这种方式在多线程环境下需要额外注意线程安全问题。

二、是否存在类似Rust Option类型的等价机制？ #

C语言本身没有内置的Option类型，但可以手动模拟类似的封装结构，把结果和有效性状态绑定在一起：

#include <stdbool.h>

// 模拟针对int类型的Option结构
typedef struct {
    bool has_value;  // 标记是否存在有效结果
    int value;       // 存储有效结果（仅当has_value为true时有效）
} IntOption;

// 栈弹出操作的示例实现
IntOption stack_pop(Stack *s) {
    IntOption result = {.has_value = false, .value = 0};
    if (s != NULL && !stack_is_empty(s)) {
        result.has_value = true;
        result.value = s->data[--s->top];
    }
    return result;
}

调用时先检查has_value字段，确认有效后再使用value，完全避免了用特殊值代表错误的歧义问题。

三、栈弹出遇到空栈/空指针的处理方案 #

针对返回类型为int的栈弹出操作，遇到空栈指针或空栈的情况，推荐以下几种处理方式：

• 改用错误码+输出参数的模式：调整函数设计，让函数返回错误状态，弹出的值通过指针参数传递：

// 返回0表示成功，-1表示失败（空指针、空栈等非法情况）
int stack_pop(Stack *s, int *out_value) {
    if (s == NULL || out_value == NULL) {
        return -1;
    }
    if (stack_is_empty(s)) {
        return -1;
    }
    *out_value = s->data[--s->top];
    return 0;
}

调用者需要先判断函数返回值，确认成功后再使用out_value中的内容，这是工业级代码里比较常用的方式。

• 用assert做开发阶段的前置检查：如果你的接口约定中，调用者必须保证传入非空指针和非空栈，那么可以用assert在开发阶段捕获非法调用：

#include <assert.h>

int stack_pop(Stack *s) {
    // 开发阶段触发断言，终止程序并提示错误
    assert(s != NULL && !stack_is_empty(s));
    return s->data[--s->top];
}

注意：assert在编译时定义NDEBUG（发布版本）会被完全移除，所以不能依赖它处理运行时的错误，只能作为开发调试的手段。

• 返回特殊值+全局错误标识：比如返回INT_MIN（需包含<limits.h>）作为错误标记，同时设置errno或自定义全局变量。但这种方式有明显缺陷：如果栈中可能存储INT_MIN这个合法值，就会产生歧义，不推荐在通用场景使用。

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