__x_a != __x_a什么时候不成立？

#define isnan(x) \

    __extension__({ __typeof (x) __x_a = (x); \                                                                                                                                

    __builtin_expect(__x_a != __x_a, 0); })

 

在看redis源码的时候发现了一个有趣的东西，这个宏对是否是有效的实数进行了判断。

这个宏里面有很多知识点：

__extension__

gcc对标准C语言进行了扩展，但用到这些扩展功能时，编译器会提出警告，使用__extension__关键字会告诉gcc不要提出警告。gcc选项-ansi指示编译器编译符合标准的程序，但是不限制其它方式，只要它与标准不冲突。这样，asm、typeof、inline都将无效，但是__asm__、__typeof__、__inline__还将有效。经常与-ansi一起使用的是-pedantic选项，它严格按照ISO标准产生需要的警告信息，但是如果程序中使用了__extension__，则-pedantic选项对__extension__后的表达式无影响。如果要非常严格，可以使用-pedantic-errors选项。这样，所有与标准不符和的代码统统被编译器当成是错误而不是警告。

 

__typeof(param/type) 取param的类型或者type的类型

 

__builtin_expect expr较大几率为1还是为0

 

硬菜来了，啥时候__x_a != __x_a?

看起来很non-sense吧？不可能，绝逼不可能！？一个数会不等于另外一个数？

但是，请看如下的程序：

#include<stdio.h>

#include<math.h>

int main()

{                                                                                                                                                                        

    doublea = sqrt(-1.0);

    doubleb = 1.0;

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

    return0;

}

 

看了结果是否会恍然大悟？