(C11) 泛型表达式

文章目录

⭐语法
⭐举例
- 🚩判断对象类型
- 🚩判断指针
- 🚩函数重载
- 🚩嵌套使用
END

⭐语法

Ref: 泛型选择 (C11 起) - cppreference.com

关键词：

Generic
default

_Generic(控制表达式 , 关联列表)  (C11 起)

关联列表

类型名:表达式
- 类型名：任何并非可变修改的完整对象类型（即既非 VLA 亦非指向 VLA 的指针）。
- 表达式：任何类型和值类别的表达式（除了逗号运算符）
default:表达式

控制表达式

任何表达式（除了逗号运算符），若不使用 default 关联，则其类型必须与 类型名 之一兼容。

判定解释

控制表达式 的类型经历左值转换。

只在类型域中进行转换

舍弃顶层 cvr 限定符和原子属性
数组到指针/函数到指针变换
不实例化任何副效应或计算任何值

有类型匹配，若其类型与各关联之一的 类型名 兼容，则解释为冒号后的表达式。

无类型匹配，且提供了 default 关联，则解释为其后的表达式。

注意

关联列表 中的任意二个 类型名 不能指定兼容类型。

使用关键词 default 的关联只能有一个。若不使用 default，且无一 类型名 与控制表达式类型兼容，则程序无法编译。

⭐举例

🚩判断对象类型

_Generic可以判断自定义类型。

cvr限定符对类型识别不受影响。

default不是必须写道最后一个，顺序这方面没有限制。

#include <stdbool.h>
#include <stdio.h>struct Node {};#define get_typename(x)             \_Generic((x),                   \default: "other",           \_Bool: "bool",              \int: "int",                 \char: "char",               \struct Node: "struct Node"  \)int main() {_Bool       b = true;char        c = 'a';const int   i = 10;struct Node node;printf("Type of [_Bool] is %s\n", get_typename(b));printf("Type of [char] is %s\n", get_typename(c));printf("Type of [int] is %s\n", get_typename(i));printf("Type of [struct Node] is %s\n", get_typename(node));
}

🚩判断指针

对指针类型的判断仍然使用。

#include <stdio.h>#define get_pointname(x) \_Generic((x),        \int*: "int*",    \void*: "void*",  \default: "other" \)int main() {int   i  = 0;int*  ip = NULL;void* vp = NULL;printf("Type of [int] is [%s]\n", get_pointname(i));printf("Type of [int*] is [%s]\n", get_pointname(ip));printf("Type of [void*] is [%s]\n", get_pointname(vp));
}

🚩函数重载

可以根据类型指定调用的函数，注意参数个数。

下方代码展示在使用_Generic时，并且直接调用的情况。_Generic((x), default: fun)(x)。

#include <math.h>
#include <stdio.h>int default_fun() {printf("Line[%d], Func[%s]\n", __LINE__, __func__);return -1;
}#define sqrt(x)                  \_Generic((x),            \float: sqrtf,        \double: sqrt,        \long double: sqrtl,  \default: default_fun \)(x)int main(void) {int         i  = 4;float       f  = 4.0f;double      d  = 4.0;long double ld = 4.0L;printf("[i] sqrt = %d\n", sqrt(i));printf("[float] sqrt = %f\n", sqrt(f));printf("[double] sqrt = %lf\n", sqrt(d));printf("[long double] sqrt = %Lf\n", sqrt(ld));
}

🚩嵌套使用

由于每次_Generic只能判断一个表达式的类型，因此如果是需要用到多参的话，可以嵌套的使用_Generic。

#include <stdio.h>#define add(x, y)                              \_Generic((x),                              \int: _Generic((y),                     \int: (int)(x) + (int)(y),          \default: (int)(x) + (double)(y)    \),                                     \default: _Generic((y),                 \int: (double)(x) + (int)(y),       \default: (double)(x) + (double)(y) \)                                      \)int main() {int    i1 = 10;int    i2 = 20;double d1 = 3.14;double d2 = 2.71;printf("%d + %d = %d\n", i1, i2, add(i1, i2));  // 整数加法printf("%f + %f = %f\n", d1, d2, add(d1, d2));  // 浮点数加法printf("%d + %f = %f\n", i1, d2, add(i1, d2));  // 混合加法
}