为什么静态和默认接口方法不能同步，却可以strictfp？[副本]

Question

为什么静态和默认接口方法不能同步？

人们说synchronized是一个实现细节。嗯，strictfp也是一个实现细节，但这并不妨碍在静态和默认接口方法上允许strictfp。

默认方法是继承的，如果实现接口的类不重写默认方法，那么将其同步可能非常方便。

我猜测synchronized（以及strictfp）不是继承的（我在这里说的对吗？），但这并不能解释为什么strictfp被允许用于静态和默认接口方法。

Answer 1

strictfp关键字确保浮点操作在所有平台上都是一致的。stricftp然后成为JVM的一个保证，即浮点操作在所有平台上都是相同的，并且可以期望浮点操作在整个平台上都是可移植的和一致的。

标记为synchronized的方法实际上是一个实现细节，不能由任何一个接口为其任何实现指定或控制。正如Brian Goetz所解释的那样，它被有意地排除在默认方法之外，因为它们具有内在的危险性（强调的是我的）：

...那么，他们为什么危险呢？同步与锁定有关。锁定是关于协调对可变状态的共享访问。每个对象都应该有一个同步策略来确定哪些锁保护哪些状态变量。（请参阅Java并发实践，第2.4节。）

...拥有状态的类决定对象的同步策略。但接口并不拥有它们所混合的对象的状态。因此，在接口中使用同步方法会假设一个特定的同步策略，但您没有合理的假设基础，因此使用同步很可能不会提供任何额外的线程安全（您可能在错误的锁上同步）。