Chinaunix首页 | 论坛 | 博客
  • 博客访问: 1120222
  • 博文数量: 185
  • 博客积分: 495
  • 博客等级: 下士
  • 技术积分: 1418
  • 用 户 组: 普通用户
  • 注册时间: 2012-09-02 15:12
个人简介

治肾虚不含糖,专注内核性能优化二十年。 https://github.com/KnightKu

文章分类

全部博文(185)

文章存档

2019年(1)

2018年(12)

2017年(5)

2016年(23)

2015年(1)

2014年(22)

2013年(82)

2012年(39)

分类: C/C++

2013-05-31 14:41:59

原文地址:诡异的C语法 作者:buaa_zhaoc

在看linux内核代码的时候,经常会看到一些诡异的宏定义例如下面这种类型的宏定义
  1. #define __rcu_access_pointer(p, space) \
  2.     ({ \
  3.         typeof(*p) *_________p1 = (typeof(*p)*__force )ACCESS_ONCE(p); \
  4.         rcu_dereference_sparse(p, space); \
  5.         ((typeof(*p) __force __kernel *)(_________p1)); \
  6.     })
这个东西看得特别诡异,大概知道是什么意思。那个时候还差异,这个东西到底返回什么值呢,今天没事就在自己的机器上写了个简单的程序试了试这种诡异的宏定义。
示例代码如下:
  1. #include <stdio.h>

  2. int main(int argc, char *argv[])
  3. {
  4.     int a = 100;
  5.     int b =
  6.     ({
  7.      typeof(a) _a = 10;
  8.      typeof(a) _c = 20;
  9.      _a;
  10.      _c;
  11.      });
  12.     
  13.     printf("b=%d\n", b);
  14.     return 0;
  15. }
编译无任何错误,可成长编译过,说明语法没有问题。
运行结果
  1. b=20
首先从这个实验能够得到以下几点:
1.C语言中支持typeof关键字用来获得变量的类型。因为变量在编译时能够静态的获得类型,所以想要支持typeof应该在编译器实现上并不复杂。
2.使用({})这个结构的返回值是其中{}里最后一条语句的返回值。如果({})中只有一条定义语句,则无返回值,程序编译出错。
3.OK,以后在看内核代码时候就可以确定这诡异的宏定义到底是什么意思了。


阅读(1157) | 评论(0) | 转发(0) |
给主人留下些什么吧!~~