如何在GCC中用cleanup属性实现无需BAKE_FREE2D宏的二维数组自动释放？

直接借助GCC的嵌套函数扩展，就能在变量声明时动态生成对应长度的清理函数，彻底摆脱BAKE_FREE2D这类预定义宏的依赖。实现代码如下：

#include <stdio.h>
#include <stdlib.h>

void free2d(void *param, int len) {
    // cleanup函数接收的是变量的地址，因此这里是二维指针的指针
    void ***array_ptr = param;
    for (int i = 0; i < len; i++) {
        free((*array_ptr)[i]);
    }
    free(*array_ptr);
}

#define AUTOFREE(len) \
    __attribute__((cleanup(__autofree_cleaner))) \
    // 定义嵌套清理函数，仅在当前代码块作用域内有效
    void __autofree_cleaner(void *ptr) { \
        free2d(ptr, len); \
    } \

int main() {
    // 直接使用AUTOFREE宏，无需提前预定义包装函数
    int **AUTOFREE(5) a = malloc(5 * sizeof(void*));
    for (int i = 0; i < 5; i++) {
        a[i] = malloc(10 * sizeof(int));
    }

    // 函数退出时，a离开作用域，自动触发cleanup调用__autofree_cleaner
    return 0;
}

核心原理说明 #

1. GCC嵌套函数扩展：允许在函数内部定义另一个函数（嵌套函数），该函数属于当前代码块的作用域，不会污染全局命名空间。AUTOFREE(len)宏会在变量声明的位置，动态生成对应长度的清理函数__autofree_cleaner。
2. cleanup属性匹配：__attribute__((cleanup(__autofree_cleaner)))直接将变量的清理逻辑绑定到刚生成的嵌套函数上，完全符合GCC对cleanup属性必须使用标识符的要求。
3. 参数传递：宏传入的len直接作为常量传递给free2d，确保清理时能正确遍历二维数组的第一维长度。

注意事项 #

• 该方案完全依赖GCC专属扩展，无法在Clang、MSVC等其他编译器上编译运行。
• 嵌套函数的作用域仅限于当前代码块，因此在不同块中使用AUTOFREE(len)会生成独立的清理函数，不会产生命名冲突。

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