/fp（指定浮点行为）

项目
08/18/2008

更新：2007 年 11 月

指定源代码文件中的浮点行为。

/fp:[precise | except[-] | fast | strict ]

标志

precise
默认值。

通过禁用可更改浮点计算精度的优化，提高了等式和不等式的浮点测试的一致性，这对于严格的 ANSI 一致性是必要的。默认情况下，编译器使用协处理器的 80 位寄存器保存浮点计算的中间结果。这提高了程序速度，并减小了程序大小。然而，由于计算涉及浮点数据类型（在内存中用少于 80 位表示），在冗长计算中进位多余精度位（80 位减去较小浮点型的位数）会产生不一致的结果。

在 x86 处理器上使用 /fp:precise 时，编译器将对浮点类型的变量执行舍入，使其达到赋值、强制转换以及将参数传递给函数时所需的适当精度。这种舍入保证了数据不会明显超出其类型的容量。与不使用 /fp:precise 编译的程序相比，使用 /fp:precise 编译的程序可能更大，运行速度更慢。/fp:precise 会禁用内部函数，转而使用标准运行时库例程。有关更多信息，请参见 /Oi（生成内部函数）。

用 /fp:precise 启用以下浮点行为：
- 通过 /fp:precise 启用“收缩”，即通过末尾处的单一舍入用一个复合操作替换多个操作。
- 不允许使用对特殊值（NaN、+infinity、-infinity、+0、-0）无效的表达式优化。由于各种原因，优化 x-x => 0、x*0 => 0、x-0 => x、x+0 => x 和 0-x => -x 都是无效的（请参见 IEEE 754 和 C99 标准）。
- 编译器将正确地处理涉及 NaN 的比较。例如，如果 x 为 NaN 并且涉及 NaN 的排序比较引发了异常，则 x != x 的计算结果为 True。
- 表达式的计算将遵守 C99 FLT_EVAL_METHOD=2，只有以下情况是个例外。在为 x86 处理器编程时，由于 FPU 设置为 53 位精度，因此将被视为长双精度。
- 乘数正好是 1.0 的乘法将转换为使用另一乘数。x*y*1.0 转换为 x*y。同样，x*1.0*y 转换为 x*y。
- 除数正好是 1.0 的除法将转换为使用被除数。x*y/1.0 转换为 x*y。同样，x/1.0*y 转换为 x*y。
在打开 fenv_access 时使用 /fp:precise 将禁用某些优化，如浮点表达式的编译时计算。例如，如果用 _control87, _controlfp, __control87_2 更改舍入模式，并且编译器执行浮点计算，则指定的舍入模式将无效，除非打开 fenv_access。

/fp:precise 替换了 /Op 编译器选项。
fast
在多数情况下，创建执行速度最快的代码。/fp:fast 不能与 /fp:strict 或 /fp:precise 一起使用，将使用命令行上指定的最后一个选项。/fp:fast 和 /fp:except 一起使用将产生编译器错误。

选择 /Za、/Ze（禁用语言扩展）（ANSI 兼容性）和 /fp:fast 可能导致意外的行为。例如，单精度浮点操作可能不会舍入为单精度。
except[-]
可靠的浮点异常模型。异常将在触发后立即引发。默认情况下关闭此选项。将减号附加到此选项将显式禁用此选项。
strict
最严格的浮点模型。/fp:strict 导致关闭 fp_contract 并且打开 fenv_access。/fp:except 是隐式使用的，并且可以通过显式指定 /fp:except- 来禁用。与 /fp:except- 一起使用时，/fp:strict 将强制执行严格的浮点语义，但不考虑异常事件。

备注

在同一编译中可指定多个 /fp 选项。

要通过函数控制浮点行为，请参见 float_control 杂注。

与 /fp:strict、/fp:except（及其相应的杂注）和 fp_contract 杂注相关的多数浮点优化是依赖于计算机的。/fp:strict 和 /fp:except 与 /clr 不兼容。

/fp:precise 应能满足应用程序的大多数浮点要求。如有必要，可以使用 /fp:except 和 /fp:strict，但是性能可能会有某种程度的下降。如果性能最重要，可能需要使用 /fp:fast。

/fp:strict、/fp:fast 和 /fp:precise 是精度（正确性）模式。每次仅一个有效。如果指定了 /fp:strict 和 /fp:precise，编译器将使用它最后处理的那一项。不能既指定 /fp:strict 又指定 /fp:fast。