如何使用语句表达式和什么情况下使用

   GNU C 对 C 标准作了扩展，允许在一个表达式里内嵌语句，允许在表达式内部使用局部变量、for 循环和 goto 跳转语句。这样的表达 式，我们称之为语句表达式。语句表达式的格式如下：

({表达式1;表达式1;表达式1;})

语句表达式最外面使用小括号()括起来，里面一对大括号{}包起来的是代码块，代码块里允许内嵌各种语句。语句的格式可以是 “表达 式;”这种一般格式的语句，也可以是循环、跳转等语句。 跟一般表达式一样，语句表达式也有自己的值。语句表达式的值为内嵌语句中最后一个表达式的值。我们举个例子，使用语句表达式求 值。

#include<stdio.h>
int main(void)
{
 int sum = 0;
 sum = 
    ({
     int s = 0;
     for( int i = 0; i < 10; i++)
         s = s + i;
         s;
    });
 printf("sum = %d\n",sum);
 return 0;
}

 在上面的程序中，通过语句表达式实现了从1到10的累加求和，因为语句表达式的值等于最后一个表达式的值，所以在 for 循环的后面， 我们要添加一个 s; 语句表示整个语句表达式的值。如果不加这一句，你会发现 sum=0。或者你将这一行语句改为100; 你会发现最后 sum 的值就变成了100，这是因为语句表达式的值总等于最后一个表达式的值。

语句表达式的亮点在于定义复杂功能的宏。使用语句表达式来定义宏，不仅可以实现复杂的功能，而且还能避免宏定义带来的歧义和漏 洞。下面就以一个宏定义例子，让我们来见识见识语句表达式在宏定义中的强悍杀伤力！

请定义一个宏，求两个数的最大值

对于学过 C 语言的同学，写出这个宏基本上不是什么难事，使用条件运算符就能完成：

#define MAX(x,y) x > y ? x : y

这个宏不是很难，大部分人都能写出来，但是有些漏洞，我们可以写一个程序验证一下

#define MAX(x,y) x > y ? x : y
int main(void)
{
    printf("max=%d",MAX(1,2));
    printf("max=%d",MAX(2,1));
    printf("max=%d",MAX(2,2));
    printf("max=%d",MAX(1!=1,1!=2));
    return 0;
}

可以看到，测试第4行语句，当宏的参数是一个表达式，发现实际运行结果为 max=0，跟我们预期结果 max=1 不一样。这是因为，宏展开后，就变成了这个样子：

printf("max=%d",1!=1>1!=2?1!=1:1!=2);

因为比较运算符 > 的优先级为6，大于 !=（优先级为7），所以展开的表达式，运算顺序发生了改变，结果就跟我们的预期不一样了。为了 避免这种展开错误，我们可以给宏的参数加一个小括号()来防止展开后，表达式的运算顺序发生变化。这样的宏才能算一个合格的宏：

#define MAX(x,y) (x) > (y) ? (x) : (y)

上面的宏，只能算合格，但还是存在漏洞。比如，我们使用下面的代码测试：

#define MAX(x,y) (x) > (y) ? (x) : (y)
int main(void)
{
    printf("max=%d",3 + MAX(1,2));
    return 0;
}

在程序中，我们打印表达式 3 + MAX(1, 2) 的值，预期结果应该是5，但实际运行结果却是1。因为运算符 + 的优先级大于比较运算符 >，所以这个表达式就变为4>2?1:2，此时我们应该继续修改这个 宏：

#define MAX(x,y) ((x) > (y) ? (x) : (y))

上面的宏，虽然解决了运算符优先级带来的问题，但是仍存在一定的漏洞。比如，我们使用下面的测试程序来测试我们定义的宏

#define MAX(x,y) ((x) > (y) ? (x) : (y))
int main(void)
{
    int i = 2;
    int j = 6;
    printf("max=%d",MAX(i++,j++));
    return 0;
}

在程序中，我们定义两个变量 i 和 j，然后比较两个变量的大小，并作自增运算。实际运行结果发现 max = 7，而不是预期结果 max = 6。 这是因为变量 i 和 j 在宏展开后，做了两次自增运算，导致打印出 i 的值为7。 遇到这种情况，那该怎么办呢？ 这时候，语句表达式就该上场了。我们可以使用语句表达式来定义这个宏，在语句表达式中定义两个临时 变量，分别来暂储 i 和 j 的值，然后进行比较，这样就避免了两次自增、自减问题。

#define MAX(x,y)({     
    int _x = x;       
    int _y = y;       
    _x > _y ? _x : _y; 
})
int main(void)
{
    int i = 2;
    int j = 6;
    printf("max=%d",MAX(i++,j++));
    return 0;
}

在上面这个宏中，我们定义的两个临时变量数据类型是 int 型，只能比较两个整型的数据。那对于其它类型的数据，就需要重新再定义一 个宏了，这样太麻烦了！我们可以基于上面的宏继续修改，让它可以支持任意类型的数据比较大小：

#define MAX(type,x,y)({     
    type _x = x;       
    type _y = y;       
    _x > _y ? _x : _y; 
})

在这个宏中，我们添加一个参数：type，用来指定临时变量 _x 和 _y 的类型。这样，我们在比较两个数的大小时，只要将2个数据的类型 作为参数传给宏，就可以比较任意类型的数据了。

上面的宏定义中，我们增加了一个type类型参数，来兼容不同的数据类型，能不能把这个也省去。如何做到？使 用typeof就可以了，typeof是GNU C新增的一个关键字，用来获取数据类型，我们不用传参进去，让typeof直接获取！

#define max(x, y) ({   
    typeof(x) _x = (x); 
    typeof(y) _y = (y); 
    (void) (&_x == &_y);
    _x > _y ? _x : _y; })

在这个宏定义中，使用了 typeof 关键字用来获取宏的两个参数类型。干货在(void) (&x == &y);这句话，简直是天才般的设计！一是用来给 用户提示一个警告，对于不同类型的指针比较，编译器会给一个警告，提示两种数据类型不同；二是，当两个值比较，比较的结果没有用 到，有些编译器可能会给出一个warning，加个(void)后，就可以消除这个警告！