一般选择 (C11)

使用 _Generic 关键字编写代码,该代码根据参数的类型在编译时选择表达式。 这类似于 C++ 中的重载,其中参数的类型确定要调用的函数。 在此示例中,参数的类型确定要计算的表达式。

例如,表达式 _Generic(42, int: "integer", char: "character", default: "unknown"); 计算 42 的类型,并在列表中查找匹配类型 int。 它找到该匹配类型并返回 "integer"

语法

generic-selection:
_Generic ( assignment-expression, assoc-list )

assoc-list:
association
assoc-listassociation

association:
type-name : assignment-expression
default : assignment-expression

第一个 assignment-expression 称为控制表达式。 控制表达式的类型在编译时确定,并与 assoc-list 匹配,以查找要计算和返回的表达式。 不会计算控制表达式。 例如,_Generic(intFunc(), int: "integer", default: "error"); 不会在运行时调用 intFunc

确定控制表达式的类型后,会在与 assoc-list 匹配之前删除 constvolatilerestrict

不会计算 assoc-list 中未选择的条目。

约束

  • assoc-list 不能多次指定同一类型。
  • assoc-list 不能指定彼此兼容的类型,例如枚举和该枚举的基础类型。
  • 如果一般选择没有默认值,则控制表达式在通用关联列表中必须只有一个兼容的类型名称。

示例

使用 _Generic 的一种方法是在宏中。 <tgmath.h> 标头文件使用 _Generic 来根据参数的类型调用正确的数学函数。 例如,cos 的宏将带有浮点的调用映射到 cosf,同时将带有复杂双精度的调用映射到 ccos

下面的示例演示如何编写可标识传递给它的参数的类型的宏。 如果 assoc-list 中没有匹配控制表达式的条目,则会生成 "unknown"

// Compile with /std:c11

#include <stdio.h>

/* Get a type name string for the argument x */
#define TYPE_NAME(X) _Generic((X), \
      int: "int", \
      char: "char", \
      double: "double", \
      default: "unknown")

int main()
{
    printf("Type name: %s\n", TYPE_NAME(42.42));

    // The following would result in a compile error because 
    // 42.4 is a double, doesn't match anything in the list, 
    // and there is no default.
    // _Generic(42.4, int: "integer", char: "character"));
}

/* Output:
Type name: double
*/

要求

使用 /std:c11 进行编译。

Windows SDK 10.0.20348.0(版本 2104)或更高版本。 请参阅 Windows SDK 以下载最新的 SDK。 有关安装和使用 SDK 进行 C11 和 C17 开发的说明,请参阅在 Visual Studio 中安装 C11 和 C17 支持

另请参阅

/std(指定语言标准版本)
泛型类型数学