strictfp_Keyword 喜欢ヅ旅行 2021-11-04 10:30 265阅读 0赞 ## strictfp ## 维基百科,自由的百科全书 strictfp是Java编程语言中的一个修饰符,它限制浮点计算以确保可移植性。strictfp命令是使用Java虚拟机(JVM)1.2版引入Java的,可用于所有当前更新的Java VM。 ### 内容 ### 1 基础 2 它是如何工作的 3 用法 4 参考文献 ### 基础 ### 的IEEE标准IEEE 754规定了两个浮点计算并且以各种格式,包括单(32位,在Java的使用浮点值的存储的标准方法float)或双(64位,在Java的使用double)的精度。 某些硬件还提供扩展的精度格式,可提供更高的精度和/或更大的指数范围。在这样的体系结构上,使用这种扩展格式计算中间结果可能更有效。这可以避免可能发生的舍入错误,溢出和下溢,但是可能导致程序在这样的体系结构上产生不同的输出。在传统的x87浮点架构的x86机器上避免使用扩展精度是特别昂贵的。尽管控制计算精度很容易,但限制中间结果的指数范围需要额外的昂贵指令。 在JVM 1.2之前,浮点计算要求严格; 也就是说,所有中间浮点结果都需要表现为使用IEEE单精度或双精度表示。这使得在常见的基于x87的硬件上成本很高,以确保在需要时可能发生溢出。 从JVM 1.2开始,默认情况下,中间计算允许超过与IEEE 32位和64位格式相关的标准指数范围。它们可以代表为“扩展指数”值集的成员。在像x87这样的平台上,溢出和下溢可能不会发生在预期的位置,从而产生可能更有意义但更不可重复的结果。 由于Java实现不再广泛使用x87浮点,因此有一个主动提议再次使所有浮点运算严格,有效地恢复1.2之前的语义。\[1\] ### 它是如何工作的 ### 在没有溢出或下溢的情况下,有或没有strictfp的结果没有差异。如果重复性是必要的,则strictfp修饰符可用于确保在所有平台上的相同位置发生溢出和下溢。如果没有strictfp修饰符,中间结果可能会使用更大的指数范围。\[2\] 该strictfp修改由代表所有的中间值作为IEEE单精度和双精度值,如发生在早期版本的JVM实现这一目的。\[3\] ### 用法 ### 程序员可以使用修饰符strictfp来确保按照早期版本执行计算; 也就是说,仅使用IEEE单精度和双精度类型。使用strictfp可确保浮点计算的结果在所有平台上都相同。 它可以用于类,接口和非抽象方法。\[4\]当应用于方法时,它会导致方法内的所有计算都使用严格的浮点数学。应用于类时,类中的所有计算都使用严格的浮点数学。编译时常量表达式必须始终使用严格的浮点行为。\[5\] ### 例子 ### public strictfp class MyFPclass { // ... contents of class here ... }
还没有评论,来说两句吧...