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

2022-05-08 00:00:00 scope declaration java strictfp

在重构一些代码时,我偶然发现了这个奇怪的地方。似乎不可能在不影响整个类的情况下控制初始值设定项的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)。

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

因此,静态初始值设定项不接受修饰符,当应用于整个类时,一切都变得严格?由于没有关键字OBLISTER,所以这是不可能实现的?

那么,我是不是应该使用静态方法来保持初始值设定器块的主体,以实现对严格性的精确控制?


解决方案

使用以下要求:

  • 初始化代码调用一次
  • MyClass.myMethod方法是非严格浮点
  • 类API中没有方法,
  • 且初始化代码为严格浮点

.这就足够了:

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
  }
}

如果您将类的静态成员视为单独的单个对象中的对象,则上面的示例看起来很自然。我认为这与Single Responsibility Principle配合得很好。

相关文章