Поведения strictfp ключевого слова с реализацией/расширяет интерфейс/класса

Question

JLS strictfp Interfaces указует, что:

Эффект модификатора strictfp, чтобы сделать все поплавок или двойные выражения в объявлении интерфейса быть явно FP-строгим (§ 15.4).

Это означает, что все вложенные типы, объявленные в интерфейсе, являются неявно strictfp.

И JLS strictfp Classes:

Эффект модификатора strictfp, чтобы сделать все поплавок или двойные выражения в объявлении интерфейса быть явно FP-строгим (§15.4).

Это означает, что все методы, объявленные в интерфейсе, и все вложенные типы, объявленные в интерфейсе, являются неявно strictfp.

Из этих двух пунктов нет никаких указаний о поведении strictfp при реализации/Расширение интерфейса/класса, объявленного с strictfp модификатора.

После поиска я нашел хорошее объяснение использования strictfp ключевого слова Use the strictfp modifier for floating-point calculation consistency across platforms, и это указывает, что:

Строгий поведение не наследуется подклассом, который простирается на FP-строгий суперкласса. Метод переопределения может независимо выбирать FP-строгий, если переопределенный метод не является, или наоборот.

И добавляет:

Я проверил поведение strictfp ключевого слова, расширяя класс, объявленный с strictfp ключевого слова, и это верно: strictfp поведение не наследуется классов, расширяющих класс, но проблема в том, при реализации интерфейса, объявленного с ключевым словом strictfp, это неверно: поведение strictfp не наследуется классами, реализующими интерфейс.

Может ли кто-нибудь объяснить мне правильное поведение strictfp с внедрением/расширением интерфейса/класса, объявленного с помощью модификатора strictfp?

Answer 1

Вот эксперименты, которые я сделал для расследования вашего вопроса. В приведенном ниже коде используются рефлексы api, чтобы проверить, объявлен ли strictfp или нет в разных сценариях.

Выводы:

1. Аннотация методы, объявленные в интерфейсе strictfp не будет strictfp в классе реализации интерфейса
2. По умолчанию методы объявленную в strictfp интерфейс будет stricfp в класс, реализующий интерфейс
3. Методы в классах, реализующих strictfp интерфейс не будет автоматически strictfp
4. Всех метод, объявленных в внутренних классах из strictfp интерфейс будет иметь модификатор stricfp

Подводя итог - если strictfp объявлен на интерфейс, то все не абстрактные коды - методы по умолчанию, внутренние классы с методами - автоматически strictfp.

Обратите внимание, что модификатор strictfp не применяется к абстрактным методам.

import java.lang.reflect.Modifier; 

strictfp interface StrictInterface { 

    void someInterfaceMethod(); 

    default void someInterfaceDefaultMethod() {} 

    class InnerTest { 
     public static void innerMethod() {} 
    } 
} 

class Impl implements StrictInterface { 
    @Override 
    public void someInterfaceMethod() {} 

    public strictfp void someClassMethod() {} 

    public void someClassMethod2() {} 
} 

public class Test { 
    public static void main(String argv[]) { 

     checkModifiers(Impl.class, "someInterfaceMethod"); 
     checkModifiers(Impl.class, "someClassMethod"); 
     checkModifiers(Impl.class, "someClassMethod2"); 

     checkModifiers(Impl.class.getInterfaces()[0], "someInterfaceDefaultMethod"); 
     checkModifiers(StrictInterface.InnerTest.class, "innerMethod"); 
    } 
    public static void checkModifiers(Class clazz, String m) { 
     try { 
      int mod = clazz.getDeclaredMethod(m, new Class[0]).getModifiers(); 
      String res = m + " modifiers: " + Modifier.toString(mod); 
      System.out.println(res); 
     } catch (Exception e) { 
      e.printStackTrace(System.out); 
     } 
    } 
} 

Выход программы: (с использованием jdk1.8.0_91.jdk на OSX)

someInterfaceMethod modifiers: public 
someClassMethod modifiers: public strictfp 
someClassMethod2 modifiers: public 
someInterfaceDefaultMethod modifiers: public strictfp 
innerMethod modifiers: public static strictfp 

Answer 2

JLS §15.4 довольно ясно, о которых выражения FP-строгое, и которые не являются.

Если класс, интерфейс или метод, X, объявляется strictfp, то Х и любой класс, интерфейс, метод, конструктор, экземпляр инициализатор, статического инициализатор, или переменный инициализатор в пределах X называется FP-строгий.

Отсюда следует, что выражение не FP-строгим, если и только если это не константа и не появляется в любой декларации, который имеет модификатор strictfp.

Ключевое слово здесь Объявление. Если нет модификатора strictfp в объявлении класса, выражения внутри этого класса не будут FP-строгими, независимо от того, что он реализует в этом классе.

Это соответствует вашим наблюдениям. Это также звучит разумно из общего положения; в противном случае было бы невозможно «сбросить» FP-строгость от любого члена класса, включая вновь введенных членов. Рассматривая javac или исходный код JSM HotSpot, вы не найдете никаких признаков strictfp наследования.