如何使(静态)初始化程序块严格tfp？

How to make a (static) initializer block strictfp?(如何使(静态)初始化程序块严格tfp？)

问题描述

在重构一些代码时，我偶然发现了这个奇怪的地方。似乎不可能在不影响整个类的情况下控制初始值设定项的Structfp属性。示例：

public class MyClass {

    public final static float[] TABLE;
    strictfp static { // this obviously doesn't compile
         TABLE = new float[...];
         // initialize table
    }

    public static float[] myMethod(float[] args) {
         // do something with table and args
         // note this methods should *not* be strictfp
    }

}

从JLS, Section 8.1.1.3我推测，如果类将使用rangtfp修饰符声明，则初始值设定项将是strictfp。但它也表示，它会使所有方法隐式严格执行

strictfp修饰符的作用是使类声明中的所有浮点或双精度表达式(包括变量初始值设定项、实例初始值设定项、静态初始值设定项和构造函数)都显式为FP严格的(§15.4)。

这意味着类中声明的所有方法和类中声明的所有嵌套类型都是隐式严格的。

class MyClass {
  //1) initialized/called once
  public final static float[] TABLE = MyClassInitializer.buildSomething();

  public static float[] myMethod(float[] args) {
    //2) non-strict
  }
}

//3) doesn't "pollute" the MyClass API
class MyClassInitializer {
  strictfp [static] float[] buildSomething() { //4) strictfp here or on the class
    //TODO: return something
  }
}