作者热门文章
- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
<分区>
我想知道为什么 C# 团队决定不支持非泛型的协变/逆变,考虑到它们可能同样安全。这个问题相当主观,因为我不希望团队成员做出回应,但有人可能具有我(和 Barbara Liskov)缺乏的洞察力。
让我们看看这个示例界面:
public interface ITest
{
object Property
{
get;
}
}
尽管完全安全(我们总是可以在不违反接口(interface)的情况下返回更具体的类型 - 在 C# 中不是,但至少在理论上是这样),但以下实现将失败。
public class Test : ITest
{
public string Property
{
get;
}
}
如果接口(interface)包含 setter,代码自然不会安全,但这不是限制整体实现的理由,因为这可以通过使用 out/in 来声明安全来指出,就像泛型一样。
在我的设置中,我试图有一个界面 Table继承自 Map (因为它主要用作 map 的包装器)。两个类继承自 Table - 本地和全局。全局的将有一个可变的映射,而本地的将有一个只有本地条目的映射。
Rust Nomicon 有 an entire section on variance除了关于 Box 的这一小节,我或多或少地理解了这一点和 Vec在 T 上(共同)变体. Box and Vec
我是一名优秀的程序员,十分优秀!