为什么 LongProperty 实现了 Property<Number> 而不是 Property<Long>？

Question

我在 JavaFX API 中发现了一个似乎很特殊的东西：LongProperty 实现了 Property<Number>，但不是 Property<Long>。

这是什么原因？我有点理解这一切都源于 Java 固有的协变和逆变问题，因为泛型通过擦除实现愚蠢，以保持与字节码的向后兼容性；但是让LongProperty 同时实现Property<Number> 和 Property<Long> 会出现什么问题？

编辑：这个问题源于这个问题：Apply LongProperty to TableColumn programmatically (vs semantically)

Answer 1

它不能同时实现。

为此，需要在使用泛型的接口中实现每个方法的两个版本。我们以一个为例：

bindBidirectional(Property<Long> other) { ... }

在底层，擦除意味着它被编译为：

bindBidirectional(Property other) { ... }

那么，实现Property<Number> 和Property<Long> 的东西会做什么呢？它有两种方法：

bindBidirectional(Property<Long> other) { ... }
bindBidirectional(Property<Number> other) { ... }

...在擦除后将编译为两种方法：

bindBidirectional(Property other) { ... }
bindBidirectional(Property other) { ... }

这两种方法有冲突，运行时无法解决。

即使您使用了一些编译器技巧来解决这个问题，当有人使用 LongProperty 作为原始属性时会发生什么？

Property rawLongProperty = new LongProperty();
rawLongProperty.bindBidirectional(someOtherRawProperty);

没有办法知道这要解析为两个bindDirectional 变体中的哪一个。