在Java中，泛型是不变的？
编译以下代码失败：
public static void swap(List<?> list, int i, int j) {
list.set(i, list.set(j, list.get(i)));
}
如：
Swap.java:5: set(int,capture#282 of ?) in List<capture#282 of ?> cannot be applied to (int,Object)
list.set(i, list.set(j, list.get(i)));
但如果我这样做：
public static void swap(List<?> list, int i, int j) {
swapHelper(list, i, j);
}
private static <E> void swapHelper(List<E> list, int i, int j) { list.set(i, list.set(j, list.get(i)));
}
共有2个答案
-
问题内容： 摘自Joshua Bloch的Effective Java， 数组在两个重要方面不同于通用类型。第一数组是协变的。泛型是不变的。 协变量仅表示如果X是Y的子类型，则X []也将是Y []的子类型。数组是协变的，因为字符串是Object的子类型，所以 不变式仅表示X是否为Y的子类型， 问题答案： Java和C＃的早期版本不包含泛型（又称参数多态性）。 在这种情况下，使数组不变会排除有用的
-
这可能是一个很傻的问题，但我挠头了很久也弄不明白其中的区别。 我正在浏览scala泛型页面：https://docs.scala-lang.org/tour/generic-classes.html 注意：泛型类型的子类型是不变的。这意味着，如果我们有一个stack[Char]类型的字符堆栈，那么它就不能用作stack[Int]类型的整数堆栈。这是不合理的，因为它使我们能够将真整数输入到字符堆栈中
-
从Joshua Bloch的Effective Java中, > 数组与泛型类型有两个重要的区别。第一个数组是协变的。泛型是不变的。 协变简单地说，如果X是Y的子型，那么X[]也将是Y[]的子型。数组是协变的，因为字符串是对象的子类型，所以 不变简单地说,不管X是不是Y的子类型, 我的问题是为什么决定在Java中使数组是协变的？还有其他的SO帖子，比如为什么数组是不变的，但是列表是协变的？，但它们
-
问题内容： 我有一个代表文本片段的泛型类。该文本片段可能具有多种不同模式（突出显示的不同类型）中的任何一种。这些模式用枚举表示。每个项目的Enum可能不同，但是它必须实现一个接口，该接口提供了一种将其中两个结合的方法（可以突出显示并加粗显示）。所以我有一个界面： 然后我的TextFragment是文本字符串和模式的容器。但是当我尝试声明该类时： 我收到以下错误： 令牌“扩展”的语法错误，预期 根据
-
这基本上是我第一次接触Java泛型类型，我不知道下面的代码有什么问题。 我有一个helper类，它具有一个静态函数inRange-usng-generic类型，该函数应该从输入列表中返回对象列表，这些对象在索引处的对象周围的特定范围内（我还没有测试它，如果它工作正常与否，这不是问题）： 然后我想在一个类中使用它： 类型为
-
问题内容： 除了Swift，我还有这个问题。如何Type在泛型中使用变量？ 我尝试了这个： This didn’t work either: 有没有办法做到这一点？我感觉到Swift只是不支持 它，并且给了我一些模棱两可的错误消息。 编辑：这是一个更复杂的示例，其中无法 使用通用函数标头来解决问题。当然，这没有任何意义， 但是我在代码中的某处合理地使用了这种功能 ，宁愿发布一个干净的示例而不是我的