为什么LongProperty实现Property 但不是财产？

Question

我遇到了JavaFX
API中似乎很奇怪的东西：LongProperty实现Property<Number>，但不是Property<Long>。

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

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时会发生什么？

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

无法知道bindDirectional要解决的两个变体中的哪个。