关于Java：如果Generics支持子类型，哪种类型的安全性会丢失？

Which type safety would have lost, had Generics supported the sub-typing?

本问题已经有最佳答案，请猛点这里访问。

考虑一下这段代码：

1	Number[] numbers = {1, 2.3, 4.5f, 6000000000000000000L};

这样做完全可以，Number是一个抽象类。

往前走，

1
2
3
4
5
6

List<Long> listLong = new ArrayList<Long>();
listLong.add(Long.valueOf(10));

List<Number> listNumbers = listLong; // compiler error - LINE 3

listNumbers.add(Double.valueOf(1.23));

如果第3行设计成功，我们最终会得到一个List的Numbers，即，

1
2
3
4
5
6

for(Number num: listNumbers ){
System.out.println(num);
}

// 10
// 1.23

这些都是数字。

我在一本书中看到这个，

Generics doesn’t support sub-typing because it will cause issues in
achieving type safety. That’s why List is not considered as a
subtype of List ~~where S is the super-type of T~~

在上面讨论的这种特定情况下，哪种类型的安全性会丢失？第3行是否要成功编译？

相关讨论

看看这篇文章为什么Java泛型不是协变的。

List会起作用。它阻止了add。

1
2
List<Long> listLong = new ArrayList<Long>();
List<Number> listNumbers = listLong;

那么，listNumbers和listLong可能是同一个列表的两个引用，如果可能的话，对吗？

1
listNumbers.add(Double.valueOf(1.23));

所以，您可以向该列表中添加一个双精度值。因此，List型的listLong将包含一个双字符。这样就会破坏类型安全性。

相关讨论

今天早上我怎么会这么笨？

@Shirgillfarhanansari你不是，这实际上是个好问题：)

@Shirgillfarhanansari在C中创建了in和out(通用修饰语)，因此。如果你想知道一个避免这个答案中指出的问题的策略，可以查阅它。

这当然是一个很好的问题，有一点可能是因为数组不是不变的。这是一个bug：它们应该是不变的，因为发生了完全相同的问题(long[] longs = { 1, 2 }; Number[] nums = longs; nums[0] = 0.5; })。然而，当Java没有泛型时，数组是传递类型化集合的唯一方式，所以他们希望某些东西是协变的。这就是生活。

引用Word SeNoDER，Java也有这些：它们分别被称为EDCOX1 3和EDCX1 4。搜索"通用通配符约束"或其他内容。(如果in和out做我认为他们做的事？)

@Shirgillfarhanansari这是一个与易变性相关的"问题"。如果列表是可编辑的，则向列表中添加父类型不会修改列表，而是返回具有参数化父类型的列表。

我无法理解为什么甲骨文选择不再托管这个优秀的generics-tutorial.pdf。它回答所有问题。

@wchargin c工作方式不同，但总体思路相同。例如，没有办法写IList，因为IList没有(也不能)有out。您可以将IReadOnlyList用于相同的目的，但对象必须实际实现该接口(除了IList)。使用它，您可以编写IReadOnlyList listNumbers = listLong;。

@斯维克：我一定错过了一些东西，因为我认为有一种方法，即IList where T : Number，当然，因为它是不变的，所以不能用作IList。

@svick基本上的区别在于你分别声明了协方差。C有声明站点方差，而Java使用站点方差。使用集声明更强大(可以避免大量代码重复)，但同时对普通用户来说更容易混淆。尽管这让我很苦恼，声明站点的差异可能是主流语言更好的方法。

@这就限制了Ts与IList的配合使用。我看不出这有什么类似于你在爪哇能做的事情：List listNumbers = listLong;。

@斯维克：啊，的确，C不允许在变量声明中使用它(只允许在类或方法签名中使用)。奇怪的是Java。

如果是这种情况，那么我们可以在listNumbers中添加其他不同的Number亚型，这是必须禁止的。
假设您现在正在插入Double和Long类型的对象，稍后您尝试使用Long#reverse。您的代码将被编译，但在运行时会失败(坏)，第一个Double会通过。

让我们用一个非抽象基类的例子：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
public class Human {
public string getName() {
// ...
}
}

public class Student extends Human {
public void learn(Subject subject) {
// ...
}
}

public class Teacher extends Human {
public void teach(Subject subject) {
// ...
}
}

在任何需要Human的地方，Student或Teacher也可以，因为它们完全实现了Human接口。(在这种情况下，可以调用EDCOX1×14)。Java继承保证了技术上的情况。让它在语义上工作是类作者的工作，因此他的代码实现了Liskov替换原则。
所以，这不意味着我们也可以在预期使用Collection的地方替代Collection？并不总是这样。考虑以下方法：

1
2
3
4
5
6
7
public class Human {
// ...

public void join(Set<Human> party) {
party.add(this);
}
}

现在，如果Java允许一个EDCOX1的17度作为方通过，那么任何非EDCOX1、11、EDCOX1、10、s加入该方的尝试都必须在运行时失败。
作为一般规则，如果接收者(函数参数的被叫方，函数返回值的被叫方)希望将某些内容放入其中，则子类型的容器是不合适的，但如果接收者只想取出并使用这些内容，则可以接受。如果接受者想要取出并使用超类型的容器是不合适的，但是如果接受者只想把东西放进去，那么可以接受。因此，如果接收者都从集合中取出东西并将其放入集合中，那么他们通常需要一个固定类型的集合。
我们的join方法只将Humans放入party中，因此我们也可以允许Set