如何在C中实现支持变量声明的Go风格defer功能

可以实现，目前有两类成熟的实现路径，分别适配编译器扩展场景和标准C规范场景：

方案1：基于GCC/Clang扩展的极简实现 #

利用GCC/Clang提供的__attribute__((cleanup(...)))特性，可直接指定变量离开作用域时自动执行的清理函数，语法完全符合使用需求：

// 绑定清理函数的属性宏
#define DEFER_CLEANUP(__cleanup_func) __attribute__((cleanup(__cleanup_func)))
// 支持变量声明的defer宏
#define defer(__declare, __cleanup_func) DEFER_CLEANUP(__cleanup_func) __declare

使用示例：

int main() {
    // 完全支持在第一个参数内声明资源变量
    defer(FILE *f = fopen("log.txt", "a+"), fclose);
    if (f == NULL) return 1;
    fprintf(f, "test log content\n");
    // 函数退出时自动执行fclose(f)，无需手动释放
    return 0;
}

该方案的特点是无额外运行时开销，语法简洁，唯一限制是仅支持GCC、Clang编译器，不兼容其他不支持该扩展的编译器。

方案2：符合C11标准的通用实现 #

如果需要兼容所有支持C11标准的编译器，可调整原有for循环实现的逻辑，将start片段从逗号表达式移动到for循环的初始化声明段，天然支持变量声明：

// 生成唯一临时变量名，避免同作用域命名冲突
#define DEFER_UNIQ_NAME(__prefix) DEFER_UNIQ_NAME_(__prefix, __LINE__)
#define DEFER_UNIQ_NAME_(__prefix, __line) __prefix##__line

// 纯C11标准兼容defer宏
#define defer(__declare, __cleanup_expr) \
    for (__declare, *DEFER_UNIQ_NAME(_defer_flag_) = (void*)1; \
         DEFER_UNIQ_NAME(_defer_flag_); \
         DEFER_UNIQ_NAME(_defer_flag_) = NULL, __cleanup_expr)

使用示例：

int main() {
    defer(FILE *f = fopen("log.txt", "a+"), fclose(f)) {
        if (f != NULL) {
            fprintf(f, "c11 standard test log\n");
        }
    }
    // 离开defer包裹的作用域后自动执行fclose(f)
    return 0;
}

该方案完全符合C11标准规范，无任何编译器扩展依赖，所有支持C11的编译器均可正常使用。

原有实现的缺陷原因 #

过往的defer宏实现将start参数放在int临时变量初始化的逗号表达式中，而逗号表达式属于运算表达式，不支持嵌入变量声明语句，因此无法实现资源申请与释放的绑定。将声明逻辑迁移到for循环的初始化段后，即可支持任意合法的变量声明操作。

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