1

示例代码（t91.c）：

#include <stdio.h>
#include <fenv.h>

#if _MSC_VER
#pragma fenv_access (on)
#else
#pragma STDC FENV_ACCESS ON
#endif

void show_fe_exceptions(void)
{
    printf("exceptions raised:");
    if(fetestexcept(FE_DIVBYZERO)) printf(" FE_DIVBYZERO");
    if(fetestexcept(FE_INEXACT)) printf(" FE_INEXACT");
    if(fetestexcept(FE_INVALID)) printf(" FE_INVALID");
    if(fetestexcept(FE_OVERFLOW)) printf(" FE_OVERFLOW");
    if(fetestexcept(FE_UNDERFLOW)) printf(" FE_UNDERFLOW");
    if(fetestexcept(FE_ALL_EXCEPT)==0) printf(" none");
    printf("\n");
}
int main(void)
{
    feraiseexcept(FE_OVERFLOW);
    show_fe_exceptions();
    return 0;
}

调用：

$ clang t91.c -Wall -Wextra -pedantic && ./a.exe
t91.c:7:14: warning: pragma STDC FENV_ACCESS ON is not supported, ignoring pragma [-Wunknown-pragmas]
#pragma STDC FENV_ACCESS ON
             ^
1 warning generated.
exceptions raised: FE_OVERFLOW

$ gcc t91.c -Wall -Wextra -pedantic && ./a.exe
t91.c:7: warning: ignoring ‘#pragma STDC FENV_ACCESS’ [-Wunknown-pragmas]
    7 | #pragma STDC FENV_ACCESS ON
      |
exceptions raised: FE_OVERFLOW

$ cl t91.c /fp:strict && t91
exceptions raised: FE_INEXACT FE_OVERFLOW

ISO/IEC 9899:2011 (E)：

7.6.2.2 fegetexceptflag 函数

feraiseexcept 函数在引发“溢出”或“下溢”浮点异常时是否另外引发“不精确”浮点异常是实现定义的。

但是，gcc的文档和 Microsoft C的文档并没有（或者我找不到）记录feraiseexcept函数的确切行为。请注意，Clang/LLVM直接通过源代码记录其实现定义的行为。

此外，符合 ISO C 的实施应附有一份文件，该文件定义所有实施定义的和特定于语言环境的特征和所有扩展（ISO/IEC 9899:2011 (E)，第 4 节第 8 段）。

问题（终于！）：为什么 C 实现不记录所有实现定义的特征/行为？

UPD。是的，GCC 的手册说wrt Library Functions：这些点中的大多数行为都依赖于 C 库的实现，而不是由 GCC 本身定义的。因此，我们必须查看(which is a for )的glibc 实现。feraiseexceptweak_alias__feraiseexcept

4

0 回答 0