scala - 蛋糕图案和类型

Question

def someA（in trait B）如何使用trait A与 in 相同C#MyType的B？（然后A#MyType =:= B#MyType）

trait C {
  type MyType
}


trait A {
  self: C =>
  def doSomething(s: MyType) { println(s.toString)}
}

trait B {
  self: C =>  

  def someA: A
  def myType: MyType

  def action = someA.doSomething(myType)
}

// Mix part

case class Ahoy(value: String)

trait ConcreteC extends C {  
  type MyType = Ahoy
}


class PieceOfCake extends B with ConcreteC {
  val someA = new A with ConcreteC
  val myType = Ahoy("MyType")

}

它不编译：类型不匹配；

[error]  found   : B.this.MyType
[error]  required: _1.MyType where val _1: A
[error]   def action = someA.doSomething(myType))

Answer 1

您可以声明doSomething并myType使用 , 的路径独立版本MyType：SomeType#MyType

trait SomeType {
  type MyType
}


trait A {
  self: SomeType =>
  def doSomething(s: SomeType#MyType) { println(s.toString)}
}

trait B {
  self: SomeType =>  

  def someA: A
  def myType: SomeType#MyType

  def action = someA.doSomething(myType)
}

Answer 2

我很确定你不能这样做，因为路径无关类型就是这样 - 如果 A<>B 则 A#T 与 B#T 完全不同（即 A#T永远不会是 =:= B# T)。

话虽这么说，它是安全的，所以你总是可以做类似的事情someA.doSomething(myType.asInstanceOf[someA#MyType])。丑陋但有效。