首页 文章
  • 4 votes
     answers
     views

    为什么Liskov替换原则需要论证是逆变的？

    Liskov Substitution Principle对派生类中的方法签名施加的规则之一是： 子类型中方法参数的逆变 . 如果我理解正确，那就是说派生类的重写函数应该允许反变量参数（超类型参数） . 但是，我无法理解这条规则背后的原因 . 由于LSP主要是关于动态地将类型与子类型（而不是超类型）绑定以实现抽象，因此允许超类型作为派生类中的方法参数对我来说非常困惑 . 我的问题是： 为什...
    contravariance liskov-substitution-principle

热门问题