c11 c17-primary expression-generic selection 泛型 _Generic 关键字

 

 基本表达式  primary expresson

primary-expression:

          generic-selection

          ( expression )

          string-literal

          constant

          identifier

 primary expression 包含 5 中具体实现:

identifier   constant   string-literal   generic-selection     ( expression )

 

 generic-selection  

generic-selection:

    _Generic ( assignment-expression , generic-assoc-list )  [注: 注意这儿的 逗号分隔]

 

generic-assoc-list:

        generic-association

        generic-assoc-list , generic-association [注: 注意这儿的 逗号分隔]

 

generic-association:

        type-name : assignment-expression  【注:注意这儿的 冒号分隔】

 

 

示例

#include <stdio.h>
#include <stdlib.h>
#include <math.h>


#define generic_abs(x)  _Generic((x), \
                         int: abs,\
                         float: fabs, \
                         double: fabs \
                        )(x)

int add(int a, int  b)
{
    return a+b;
}

int main(void){
    add(5,6);
    printf("int abs %d \n", generic_abs(-12));
    printf("float abs %f \n", generic_abs(-12.04f));
    printf("double abs %lf \n", generic_abs(-13.8));

    int a = 10;
    int b = 0;
    int c = 0;

    _Generic(a+0.1f, int:b, float:c, default:b)++ ;
    printf("b = %d, c = %d \n", b, c);

    _Generic(a+=1.1f, int : b, float:c, default: b)++;

    printf("a = %d b = %d c = %d \n", a, b, c);

    return 0;
}

  输出

int abs 12
float abs 12.040000
double abs 13.800000
b = 0, c = 1
a = 10 b = 1 c = 1

  解释: 【来自  https://blog.csdn.net/qq_31243065/article/details/80904613】

前三个printf

 generic_abs(-12):执行generic_abs宏,_Generic(泛型)发现-12是int(整型),然后返回abs(x),x(为传入的值)

 generic_abs(-12.04f) :执行generic_abs宏,_Generic(泛型)发现-12.04f是float(单精度浮点数型),然后返回fabsf(x),x(为传入的值)

 generic_abs(-13.09876):执行generic_abs宏,_Generic(泛型)发现-13.09876是double(双精度浮点数型),然后返回fabs(x),x(为传入的值)

  

_Generic(a+0.1f,int:b,float:c,default:b)++;

 首先a为(int(整型)),然后a + 0.1f会被转换成float(单精度浮点数型),所以_Generic(泛型)发现传入的是float(单精度浮点数型),所以执行float的内容,返回一个c,然后跟着++,所以最终变成c++,然后printf格式化输出b=0,c=1

 

 _Generic(a+=1.1f,int:b,float:c,default:b)++;

 首先a为(int(整型)),然后a+=1.1f,执行了+=操作并不会改变a的值,执行完后_Generic(泛型)才进行判断a的类型,因为a的类型为int(整型),所以执行int的操作,返回b,然后跟着++,所以最终变成b++,然后printf格式化输出a=10,b=1,c=1

 

PS:从此可以得知在_Generic(泛型)中执行+= , =等等的操作都不会改变Generic(泛型)里的参数的值

 

参考文档

C11新增关键字:_Generic(泛型)

https://blog.csdn.net/qq_31243065/article/details/80904613

 

原文链接: https://www.cnblogs.com/zhangzhiwei122/p/15780750.html

欢迎关注

微信关注下方公众号,第一时间获取干货硬货;公众号内回复【pdf】免费获取数百本计算机经典书籍

    c11 c17-primary expression-generic selection 泛型 _Generic 关键字

原创文章受到原创版权保护。转载请注明出处:https://www.ccppcoding.com/archives/184401

非原创文章文中已经注明原地址,如有侵权,联系删除

关注公众号【高性能架构探索】,第一时间获取最新文章

转载文章受原作者版权保护。转载请注明原作者出处!

(0)
上一篇 2023年2月12日 上午10:41
下一篇 2023年2月12日 上午10:43

相关推荐