c11 _Generic 泛型关联的结果表达式的每个分支都必须有效吗？

我似乎无法将参数传递给需要不同参数的函数（或传递给实现第一个类型的子集的其他 _Generic 宏）。

#define DEBUG_PRINT(x,...) _Generic((x),                    \
    debug_print_options *: DEBUG_PRINT_CUSTOM_TYPE(x,  __VA_ARGS__),    \
    default: DEBUG_PRINT_BASIC_TYPE(x, __VA_ARGS__))


#define DEBUG_PRINT_BASIC_TYPE(x,...) debug_print_printf_specifier((#x), (x), TYPE_TO_PRINTF_SPECIFIER(x), __FILE__, __LINE__, _my_func__, &((struct debug_print_options){__VA_ARGS__}))
#define DEBUG_PRINT_CUSTOM_TYPE(x,...) debug_print_custom_to_debug_string((#x), (x), GET_CREATE_DEBUG_STRING_FUNC(x), __FILE__, __LINE__, _my_func__, &((struct debug_print_options){__VA_ARGS__}))

给出编译错误：

debug_print.h:123:46: error: ‘_Generic’ selector of type ‘struct debug_print_options *’ is not compatible with any association

这使得它看起来像是在每个分支机构都得到了评估。如果我注释掉它会编译的默认值。

有办法解决这个问题吗？

您的编译器错误不是来自宏本身，而是来自对它们的某些调用。因此，如果您发布导致错误的调用，将会有所帮助。话虽如此，我将解决您关于 _Generic 表达式的一般问题。

该标准规定如下（6.5.1.1，“语义”下）：

不评估通用选择的控制表达式。如果是通用选择 具有与类型名称兼容的通用关联 控制表达式，则泛型选择的结果表达式为 该通用关联中的表达。否则，通用的结果表达式 Selection 是默认通用关联中的表达式。没有任何表达方式 对来自任何其他通用关联的通用选择进行评估。

因此，在回答您的评论时，请添加您的问题，不，仅评估所选分支。

_泛型表达式是表达式，而不是宏。宏不需要具有正确的语法。它甚至不需要括号平衡。宏唯一需要做的就是在每次使用它时扩展为有效的代码。表达方式不同。它们需要匹配语言的语法。

在 _Generic 表达式的情况下，每个项目的语法可以是任何不包含未用括号（或条件运算符）屏蔽的逗号运算符的有效 C 表达式。如果您的 _Generic 满足此条件，并且所选语句不会导致问题，那么它将起作用。因此，只要语法有效，它就会起作用。

当您不知道变量的类型时，使用正确的语法可能会有点棘手。如果您遇到问题，可以在需要的地方在“x”上插入显式转换，将其转换为该分支上的类型。这样代码是有效的，并且强制转换是多余的并且将被优化掉。

至于您遇到的特定错误，听起来就像您没有与输入匹配的类型并且没有默认语句时会遇到的错误。同样，如果没有看到你的调用，就很难说。但我会确保您完全匹配类型，包括限定符。我要问的一个具体问题是 debug_print_options 是否是 typedef，就好像它仅定义为结构标记一样，那么您需要将“struct”放入 _Generic 中才能正确识别类型。