`_Generic` 类型作为输出

Question

_Generic 可以根据传递的变量的类型在不同的语句之间进行选择，但是（正如预期的那样）如果这些语句本身包含类型名称，它将失败。举个例子：

#define PROMOTE(var) \ 
    _Generic((var), \
        char: int);

int main() {
   char c;
   PROMOTE(c) i = 0;
   return 0;
}

人们可能期望上面的代码可以工作，使用PROMOTE 的行计算为“int i = 0”，但是很遗憾，它不能编译。我尝试了一些迂回的方法来编写类型 (int)，例如使用宏 (#define TYPE_int int) 或 typedef (typedef int TYPE_int)，但无济于事。这很可能是有意（或故意未定义）的行为，但我仍然对这种可能性感兴趣，即使它需要一些 C 魔法。

鉴于此，如何让_Generic 输出类型？

注意：解决方案应仅依赖于标准 C（即没有编译器特定的结构）。

Answer 1

我能想象到的最接近的东西是_Generic、复合文字和typeof 扩展的组合，这些组合在流行的编译器（如 GCC 和 CLANG）中可用。

#include <stdio.h>

struct SomeStruct { int x; };

#define PROMOTE(X) typeof(_Generic((X){0}, char: (int){0}, int: (float){0}, float: (struct SomeStruct){0}))

int main() {
    PROMOTE(char) a = 1;
    PROMOTE(int) b = 2.0f;
    PROMOTE(float) c = { .x = 42 };
    printf("%d\n", a);
    printf("%f\n", b);
    printf("%d\n", c.x);
    return 0;
}

打印

1
2.000000
42

很遗憾，这不是标准 C。