自我類型和特質子類之間有什么區別？特征的自我類型A:trait Btrait A { this: B => }說"A不能混合到不擴展的具體類中。B".另一方面，以下方面：trait Btrait A extends B說“任何(具體或抽象的)類混合A也將混合在B中“.這兩句話的意思不是一樣嗎？自我類型似乎只會造成簡單編譯時錯誤的可能性。我遺漏了什么？
3 回答
叮當貓咪
TA貢獻1776條經驗 獲得超12個贊
B extends AB 是AB 要求A
如果 B是擴展的，那么你. 所需
混入 A.當一個具體的類最終擴展/混合-在這些特征中，一些類/特征必須實現 A.
scala> trait User { def name: String }defined trait Userscala> trait Tweeter {
| user: User =>
| def tweet(msg: String) = println(s"$name: $msg")
| }defined trait Tweeterscala> trait Wrong extends Tweeter {
| def noCanDo = name | }<console>:9: error: illegal inheritance;
self-type Wrong does not conform to Tweeter's selftype Tweeter with User
trait Wrong extends Tweeter {
^<console>:10: error: not found: value name def noCanDo = name ^TweeterUserUserTweeterUserWrong
scala> trait DummyUser extends User {
| override def name: String = "foo"
| }defined trait DummyUserscala> trait Right extends Tweeter with User {
| val canDo = name | }defined trait Right scala> trait RightAgain extends Tweeter with DummyUser {
| val canDo = name | }defined trait RightAgainRightUserUserRight.
RightAgainUserUser
慕容708150
TA貢獻1831條經驗 獲得超4個贊
trait A { self: B => }trait B { self: A => }extends
trait A extends Btrait B extends A error: illegal cyclic reference involving trait A
在電子表格示例中，類模型繼承了計算器，從而獲得了對其計算方法的訪問權。另一方面，類評估器將其Self類型定義為模型，如下所示：
package org.stairwaybook.scellstrait Evaluator { this: Model => ...
汪汪一只貓
TA貢獻1898條經驗 獲得超8個贊
trait Foo{
this: { def close:Unit} =>
...}添加回答
舉報
0/150
提交
取消