java - 为什么 "synchronized"对多态没有作用

Question

synchronized 不是方法签名的一部分。但是当我们覆盖一个方法时，决定被覆盖的方法是否编译的不仅仅是方法签名。

例如，我们不能添加或扩大检查异常

为什么 synchronized 在多态性中没有作用。一个synchronized 方法不应该在没有放置synchronized 的情况下被覆盖。因为使用父类(super class)变量的人可能认为所有方法都是线程安全的。

但非同步方法应该允许被synchronized覆盖，因为它增加了更多的功能，但另一方面用户不会遇到任何错误，除了时间延迟。

我正在寻找一个合乎逻辑的解释，它可以阐明“为什么这样设计”。

Answer 1

A "synchronized" method should not be overridden without putting "synchronized".

错了。基类可能不是线程安全的，但子类可能有自己的同步，比如锁、无锁线程安全数据结构等。并不是所有的线程安全方法都是同步的，也不是所有的同步方法是线程安全的。

同样可以朝另一个方向发展(但可能会违反其他原则，视情况而定)

synchronized 不是面向对象的东西，而是一种运行时/执行现象和实现细节。它所做的只是acquire a monitor与 synchronized(this){ }(或者如果是静态的则在 java.lang.Class 对象上同步)的方式相同。作为一个实现细节，将其暴露给 OOP 考虑是没有意义的。

注意:这并不意味着像 @ThreadSafe 这样的编译时注解没有意义。它确实如此，因为它引用方法的契约是线程安全的。 synchronized 不会这样做。