__STDC_IEC_559__与现代C编译器的状态

C99添加了一个宏__STDC_IEC_559__ ,可用于测试编译器和标准库是否符合ISO / IEC / IEEE 60559(或IEEE 754)标准。

根据这个问题的答案
如何检查 – ieee-754-单精度-32位浮点表示大多数C编译器不设置预处理器宏__STDC_IEC_559__

根据GCC的文档,它没有定义__STDC_IEC_559__

我用GCC 4.9.2和Clang 3.6.0测试了这两个,使用glibc 2.21使用以下代码。

 //test.c //#include  int main(void) { #if defined ( __STDC_IEC_559__ ) //#if defined ( __GCC_IEC_559__ ) return 1; #else return 0; #endif } 

然后

 echo $? 

这表明使用此代码__STDC_IEC_559__是使用GCC定义的,而不是使用Clang定义的。 然后我做了gcc -E ,它显示了包含文件stdc-predef.h 。 该文件定义__STDC_IEC_559__

 /* glibc's intent is to support the IEC 559 math functionality, real and complex. If the GCC (4.9 and later) predefined macros specifying compiler intent are available, use them to determine whether the overall intent is to support these features; otherwise, presume an older compiler has intent to support these features and define these macros by default. */ #ifdef __GCC_IEC_559 # if __GCC_IEC_559 > 0 # define __STDC_IEC_559__ 1 # endif #else # define __STDC_IEC_559__ 1 #endif 

这证实了glibc定义了这个宏而不是GCC。

但是,当我包含features.h (或stdio.h )时,Clang也会包含此文件, __STDC_IEC_559__定义了__STDC_IEC_559__

所以__STDC_IEC_559__由GCC和Clang(带有glibc头文件)定义,这似乎不同意我链接到的第一个问题的答案。

然后我测试了musl (例如musl-gcc -test.c ),这是一个与glibc不同的标准库。 这表明__STDC_IEC_559__没有用musl定义。

据我了解,标准C库没有定义基本的浮点代数。 例如,标准C库未定义1.0/-0.0的结果。 这由编译器定义。

我的问题是(按重要性顺序排列):

  1. 为什么__STDC_IEC_559__glibc而不是编译器定义?
  2. 如果我创建了自己的标准库并且我想定义__STDC_IEC_559__我需要知道编译器已经符合IEEE 754标准库中未定义的操作(例如1.0/-0.0 )。 是否有针对此或宏的文档进行测试?
  3. 维基百科声明 “用户应该知道这个宏( __STDC_IEC_559__ )有时被定义,而它不应该是”。 这个陈述是否仍然准确?

  1. 我相信__STDC_IEC_559__依赖于某些库function,不能仅由编译器定义。 有关一些信息,请参阅此帖 这对于C来说并不罕见 – 编译器和C库有时必须合作才能实现整个标准。

  2. 您要问的是取决于编译器。 我认为你必须具备编译器的特殊知识才能做出决定。 在GCC的特定情况下,它定义了一个宏来告诉你。 在__GCC_IEC_559 的手册中搜索此节点 。

  3. 嗯……我不知道这个的答案:-)。 原始post似乎表明,是的,GCC可能会定义__GCC_IEC_559如果它打算实现IEEE 754,即使它实际上没有这样做。