C11标准引入了_Generic关键字,使得C语言可以支持泛型编程。_Generic关键字可以根据不同的类型参数,选择不同的代码分支进行编译,从而实现泛型编程。
_Generic关键字的语法如下:
_Generic(expression, type1: result1, type2: result2, ..., default: default_result)
其中,expression是一个表达式,type1、type2等是类型参数,result1、result2等是对应类型参数的代码分支,default是默认的代码分支。
例如,下面的代码实现了一个泛型的最大值函数:
#define max(a, b) _Generic((a > b) ? a : b, \
int: (int)(a > b ? a : b), \
float: (float)(a > b ? a : b), \
double: (double)(a > b ? a : b))
int main() {
int a = 1, b = 2;
float c = 1.5, d = 2.5;
double e = 1.8, f = 2.8;
printf("max of %d and %d is %d\n", a, b, max(a, b));
printf("max of %.1f and %.1f is %.1f\n", c, d, max(c, d));
printf("max of %.1lf and %.1lf is %.1lf\n", e, f, max(e, f));
return 0;
}
注意:_Generic只能接收单个表达式,如果传入的两个参数类型都不确定 ,_Generic无法处理,_Generic关键字是根据单个表达式的类型来选择代码分支的,而不是多个参数的类型。
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#define MYFUNC(x,y) _Generic((x),\
int:add1,\
float:add2,\
default:add3)(x,y)
void add1(int x,int y)
{
printf("add1,x=%d\n",x);
}
void add2(float x,float y)
{
printf("add2,x=%f\n",x);
}
void add3(double x,double y)
{
printf("add3,x+y=%f\n",x+y);
}
int main()
{
double x=1.2,y=2.3;
MYFUNC(x,y);
return 0;
}
由于 "generic-assoc-list中的expression仅仅是普通的宏替换“ ,_Generic语句中的参数也可以放在后面