作者热门文章
- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
<分区>
前几天,当涉及到泛型和协变/逆变时,我有点困惑。我知道 C# 指定协变/逆变类型参数,但在 Java 中真的有类似的概念吗?
我知道你可以声明:
List<? extends String> l = ...
List<? super String> l2 =...
现在我可以获取 MyString
的列表,不允许添加方法等,而 l2 可以采用 List<Object>
并向其添加字符串,但无法获取任何元素,如此处所述 Covariance- contravariance in Java .然而,这只是简单地声明一个带有接受子类型/父类(super class)型的类型参数的列表,而不是像这样进行“适当的”协变:
Iterable<Animal> a = new Iterable<Dog>();
是我感到困惑还是 Java 根本不支持正确的协方差定义?谢谢。
在我的设置中,我试图有一个界面 Table继承自 Map (因为它主要用作 map 的包装器)。两个类继承自 Table - 本地和全局。全局的将有一个可变的映射,而本地的将有一个只有本地条目的映射。
Rust Nomicon 有 an entire section on variance除了关于 Box 的这一小节,我或多或少地理解了这一点和 Vec在 T 上(共同)变体. Box and Vec
我是一名优秀的程序员,十分优秀!