如果 pragma STDC FENV_ACCESS 不存在，是否意味着默认舍入模式？

我对 C 标准的解释有疑问，最新草案取自http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2454.pdf http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2454.pdf.

标准评价

该标准定义了pragma STD FENV_ACCESS并指出（7.6.1p2）：

The FENV_ACCESS pragma provides a means to inform the implementation when a program might
access the floating-point environment to test floating-point status flags or run under non-default
floating-point control modes.

目前尚不清楚为什么该编译指示需要在非默认浮点控制模式下运行。是不是因为

• 设置这些非默认模式需要写入控制模式寄存器，或者
• 即使已经设置了非默认当前模式，编译指示始终是必需的？

在标准的这一段后面，我们发现：

If part of a program tests floating-point status flags or establishes non-default floating-point
mode settings using any means other than the FENV_ROUND pragmas, but was translated with the
state for the FENV_ACCESS pragma "off", the behavior is undefined.

看起来测试当前模式而不改变它不是未定义的行为。但同一段的脚注指出：

In general, if the state of FENV_ACCESS is "off", the translator can assume that the flags are
not tested, and that default modes are in effect, except where specified otherwise by an
FENV_ROUND pragma.

问题

因此，如果未指定 pragma FENV_ACCESS，是否意味着默认舍入模式有效？

假设 pragma FENV_ROUND 也不存在，并且编译器假定 FENV_ACCESS 默认情况下处于关闭状态，这是向后兼容所必需的。

Example

考虑以下源代码：

#include <math.h>
float func_01(float x) {
    return nearbyint(x);
}

功能nearbyint被描述为（7.12.9.3）使用当前舍入模式进行舍入。但代码中没有pragma FENV_ACCESS。这是否意味着当前的舍入模式可以被忽略并且nearbyint与roundeven?

C 草案 n2454

我根据当前的 C 标准 2018 写了这个答案，但问题询问的是即将推出的标准草案。经审查，草案存在重大变化，本答复不适用。

值得注意的是，草案 n2454 在 7.6.1 2 中指出：

…如果程序的一部分测试浮点状态标志或使用除FENV_ROUNDpragmas，但与状态一起翻译为FENV_ACCESSpragma“off”，行为未定义......

值得注意的是，其中缺少 C 2018 中的这段文本，该文本出现在“非默认浮点模式设置”之后：

…或在非默认模式设置下运行，…

C 2018 文本意味着如果代码编译为FENV_ACCESSon 设置非默认模式并设置编译的代码FENV_ACCESSoff，则行为未定义，仅仅因为代码编译为FENV_ACCESSoff 正在非默认模式下运行。草稿文本不包含此内容，这似乎暗示调用者可以更改模式并调用使用 编译的代码FENV_ACCESS关闭，并且应该定义行为。这意味着代码编译为FENV_ACCESSoff 必须准备好在任何浮点模式下运行。

草案中的同一段落还包含以下新案文：

（当执行从用翻译的程序的一部分传递时FENV_ACCESS“关闭”翻译为的部分FENV_ACCESS“on”时，浮点状态标志的状态未指定，浮点控制模式具有默认设置。）

考虑当例程 A 与FENV_ACCESS调用例程 B 时FENV_ACCESS离开。当 B 返回时，控制从程序的访问关闭部分传递到程序的访问打开部分。上面的句子表示浮点控制模式处于默认设置。换句话说，从访问关闭例程返回必须将浮点模式更改为默认值。这看起来很奇怪。所以我不准备更新这个答案来很好地涵盖草案。

2018年C题答案

目前尚不清楚为什么该编译指示需要在非默认浮点控制模式下运行。

这是因为，如果不知道浮点运算是否处于默认模式，则编译器生成的代码可能会有所不同（取决于 C 实现）。例如，当使用以下命令编译代码时FENV_ACCESS set to off，编译器可以编译对sin作为对假定默认舍入的快速版本的调用。但如果FENV_ACCESS被设定为on，它会将调用编译为较慢的版本，该版本测试舍入模式并使用正弦函数的相应实现。

因为必须生成的代码不同on and off版本，编译器必须知道是否FENV_ACCESS is on or off.

因此，如果未指定 pragma FENV_ACCESS，是否意味着默认舍入模式有效？

不可以。如果FENV_ACCESSpragma 不存在，编译器处于默认状态，这可能是on or off，这是实现定义的。

如果默认是off并且没有 pragma，那么，是的，默认的舍入模式should有效，这意味着，如果您正确设计了程序，则任何编译的代码都不会FENV_ACCESSpragma 永远不会在非默认舍入模式下执行。这由程序设计者来确保。

功能nearbyint被描述为（7.12.9.3）使用当前舍入模式进行舍入。但代码中没有pragma FENV_ACCESS。这是否意味着当前的舍入模式可以被忽略并且nearbyint与roundeven?

如果代码与FENV_ACCESS set to off（默认或显式）调用nearbyint，那么编译器可以假设默认舍入模式有效，并且它可以调用快速版本nearbyint它本身采用默认的舍入模式。

请注意，round-to-nearest-ties-to-even 压倒了默认舍入模式，但除非附录 F 生效，否则 C 标准并未指定这一点。