例解GNU C之表达式中的复合语句

最新推荐文章于 2024-06-14 16:08:05 发布

tanglinux

最新推荐文章于 2024-06-14 16:08:05 发布

阅读量3.8k

点赞数 2

CC 4.0 BY-SA版权

分类专栏：漫谈C语言文章标签： c linux内核编译器文档 gcc 语言

本文链接：https://blog.youkuaiyun.com/npy_lp/article/details/7015066

漫谈C语言专栏收录该内容

14 篇文章

订阅专栏

本文深入探讨了GCC中表达式与复合语句的高级特性，包括允许复合语句作为表达式使用，并通过实例展示了这一特性的实际应用，特别是在Linux内核宏定义中的高效利用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

前言：计算机语言是编译器和程序员交流的依据和规范，GNU C是GCC特有的功能，在Linux内核中被广泛应用。

帮助文档：http://gcc.gnu.org/onlinedocs/gcc-4.6.2/gcc/C-Extensions.html#C-Extensions

在讲解新概念之前，先回顾一下在标准C中表达式和复合语句的概念，表达式指的是运算符和操作数的组合，而复合语句指的是由一个或多个被括在花括号里的语句构成的代码块。

在GNU C中，允许用小括号括起来的复合语句出现在一个表达式中。

举例，如清单1：

#include <stdio.h>

int main(void)
{
    int a = ({ int b = 8;
	    int c = 99;
	    b + c;
	    b + c - 10;
	    });

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

    return 0;
}

例子输出结果：

a = 97

注意，例子中a的值是复合语句中最后一个语句的值，并且它的数据类型与最后一个语句的数据类型相匹配。

这种特性（Statements and Declarations in Expressions）在Linux内核中常被用于宏的定义中。

举例，如清单2：

/* linux-2.6.38.8/include/linux/kernel.h */
#define min(x, y) ({		    \
	typeof(x) _min1 = (x);	    \
	typeof(y) _min2 = (y);	    \
	(void) (&_min1 == &_min2);  \
	_min1 < _min2 ? _min1 : _min2; })

/* linux-2.6.38.8/include/linux/kernel.h *
 * min_not_zero - return the minimum that is _not_ zero, unless both are zero
 * @x: value1
 * @y: value2
 */
#define min_not_zero(x, y) ({	    \
	typeof(x) __x = (x);	    \
	typeof(y) __y = (y);	    \
	__x == 0 ? __y : ((__y == 0) ? __x : min(__x, __y)); })

#include <stdio.h>

int main(void)
{
    printf("min_not_zero(4, 0) = %d\n", min_not_zero(4, 0));
    
    printf("min_not_zero(\'\\0\', \'a\') = %c\n", min_not_zero('\0', 'a'));

    return 0;
}

例子输出结果：

min_not_zero(4, 0) = 4
min_not_zero('\0', 'a') = a