如何在带返回值的宏/函数中实现错误时自动跳转到指定标签？

要实现你想要的简洁调用方式，最适合的工具是C语言宏（结合GNU C扩展的语句表达式），它能在赋值的同时完成错误检查和跳转逻辑。以下是具体实现：

// 先假设你的枚举和结构体定义（根据问题补充）
enum MqErrorE { OK, ERROR };
struct MqS { /* 结构体内部定义 */ };

// 原函数声明
enum MqErrorE ReadI(struct MqS* ctx, int *i);

// 核心包装宏，实现你要的调用方式
#define ReadI_something(ctx) ({ \
    int _temp_val; \
    if (ReadI(ctx, &_temp_val) == ERROR) { \
        goto error; \
    } \
    _temp_val; \
})

调用示例 #

int main() {
    struct MqS ctx;
    int i;

    // 简洁调用：出错自动跳转到error标签，正常则把值赋值给i
    i = ReadI_something(&ctx);

    // 正常业务逻辑
    printf("读取到的值：%d\n", i);
    return 0;

error:
    // 统一错误处理逻辑
    printf("读取操作失败！\n");
    return 1;
}

工作原理说明 #

1. 语句表达式：({ ... })是GNU C的扩展语法，允许在一个代码块中执行多条语句，最后一条语句的结果会作为整个表达式的返回值——这让宏能像函数一样返回赋值所需的值。
2. 临时变量：_temp_val是宏内部的临时变量，用来存储ReadI读取到的结果，用下划线开头的命名是为了避免和你代码中的变量名冲突（通常用户不会使用这类命名）。
3. 错误跳转：调用ReadI后立即检查返回值，一旦判定为ERROR，直接通过goto error跳转到错误处理标签。

注意事项 #

• 这个宏依赖GNU C扩展，如果你需要兼容严格的C标准（如C90/C11），这种方式不可行。标准C中无法通过宏实现“赋值+自动跳转”的简洁语法，只能回到原始的if + goto写法。
• 务必确保你的代码中存在名为error的标签，否则编译会直接报错。

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