_Generic 可以是一个函数吗？或者 _Generic 可以与 __attribute__((cleanup)) 一起使用吗？

Question

给定以下源代码:

#include <stddef.h>
#include <sys/types.h>
#include <dirent.h>

static inline void closedirp(DIR **p) {
    if (*p)
        closedir(*p);
}

#define auto_cleanup(resource) _Generic((resource),     \
    DIR **: closedirp,                  \
        )(resource)

int main() {
#ifdef GENERIC
    __attribute__((cleanup(auto_cleanup))) DIR * t2 = NULL;
    t2 = opendir("/tmp");
#else
    __attribute__((cleanup(closedirp))) DIR * t1 = NULL;
    t1 = opendir("/tmp");
#endif
}

它编译和运行没有泄漏，没有定义。但是，当定义 GENERIC 时，编译会失败:

$ gcc foo.c -DGENERIC
foo.c: In function ‘main’:
foo.c:16:2: error: cleanup argument not a function
  __attribute__((cleanup(auto_cleanup))) DIR * t2 = NULL;
  ^

这是对 _Generic 毫无意义的使用，但我想扩展它并处理多种类型的资源以自动清理。

Answer 1

_Generic 不是一个函数，而是一个开始主表达式的关键字。

但是在这里，您似乎走错了路:auto_cleanup 是一个宏。像宏这样的函数有一个特殊性，如果后面没有 ()，它们就不会展开。所以在这里您只需保留标识符 auto_cleanup 用于编译的后期阶段。但是对于这些后续阶段，此标识符并未声明为任何内容。

总结:

• 如果使用得当，您的宏将在编译的早期阶段以文本形式替换
• 然后后面的阶段会看到一个 _Generic 表达式并决定采用该 _Generic 表达式的哪个分支
• 只有那个分支会“存活”并编译到那部分代码中

在所有这些中，没有涉及可用于 gcc 的 cleanup 扩展的函数或函数指针。