V2EX › zhenwang 的所有回复 › 第 7 页 / 共 8 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 2 3 4 5 6 7 8

❮

❯

2019-07-04 13:00:46 +08:00

回复了 zhenwang 创建的主题 › Scala › 关于《Scala 编程（3rd）》中， 20.6 抽象类型 P424 的疑问

@madeye 但是我还是很纠结这个的描述啊，您说“本意就是这件事是不可能，否则会造成不合理的结果。”但是我使用正确的方式 override，依然是不合理的结果呀（见我的第二段代码）。

2019-07-04 10:07:50 +08:00

回复了 zhenwang 创建的主题 › Scala › 关于《Scala 编程（3rd）》中， 20.6 抽象类型 P424 的疑问

@dcalsky
@madeye
两位老师，这个我自己已经写过了并且也能理解。现在核心就是不能理解书上说的假设能够通过编译后的解释，就拿我第二段代码来说，能够通过编译且能正常运行，这个时候就违背了语义了呀（ cow eat Fish ），现在书上意义就是说，我们 [不能] 通过参数协变来 override 超类的方法，因为如果那样，就会出现 cow eat Fish 的情况；但是在我那段代码中（第二段）：我也没有使用错误的 override，但是依然出现了 cow eat Fish 的情况。

2019-07-04 09:39:03 +08:00

回复了 zhenwang 创建的主题 › Scala › 关于《Scala 编程（3rd）》中， 20.6 抽象类型 P424 的疑问

@ech0x 额，是否是这样的， [错误假设] 假如成立的时候，能通过编译，但在运行时调用为 eat （ Grass ）方法，所以会有转型出错这样的不安全情况？但是这样又说不通 override def eat(food: Food)，cow 依然能够 eat Fish 的情况啊。

2019-07-04 08:03:53 +08:00

回复了 zhenwang 创建的主题 › Scala › 关于《Scala 编程（3rd）》中， 20.6 抽象类型 P424 的疑问

@ech0x 所以这样不是更能够限定接受的参数类型吗，但是书中表示如果参数能够协变，反而会出现 cow eat new Fish 的情况

2019-07-04 07:22:29 +08:00

回复了 zhenwang 创建的主题 › Scala › 关于《Scala 编程（3rd）》中， 20.6 抽象类型 P424 的疑问

@ech0x 这位老师您看哈，上述假设的地方假如成立，那么 Cow 确实有一个 eat(Grass)的方法，这个方法依然不能接受 Fish 实例呀

2019-04-11 11:39:19 +08:00

回复了 Andor_Chen 创建的主题 › CSS › 送几本《CSS 权威指南（第四版）》

来了，老弟