穿过砖墙驱动单例类型

Question

这是一个非常浓缩的版本：

case class Brickwall[A](otherSide: A)
trait Monoman { def me(m: this.type): Unit }

def test(m: Monoman): Unit = m.me(Brickwall(m).otherSide)

-> error: type mismatch;
 found   : Monoman
 required: m.type

愚蠢的砖墙不让我通过。有什么想法可能吗？秘密的斯卡拉隧道效应？希望...

Answer 1

据我所知，Scala 编译器拒绝推断路径相关类型，因此一些类型注释会有所帮助：

def test( m: Monoman ) { m.me( Brickwall[m.type]( m ).otherSide )}

Answer 2

是的，Scala 编译器永远不会推断单例类型。

一种可能性是向 Monoman 特征添加工厂方法：

trait Monoman { 
  def me( m: this.type ) : Unit
  def createWall = Brickwall[this.type](this) 
}

def test( m: Monoman ) { m.me(m.createWall.otherSide) }

对于您的情况，这可能不是一个可行的解决方案。

Answer 3

这是对工厂想法的尝试（我之前已经这样做过并放弃了，但是让我们再试一次）：

object Brickwall
case class Brickwall[A](brick: A)

trait Monoman { 
  var wall: Ref[this.type, Brickwall[String]]
  def ref[V](v: V): Ref[this.type, V]
}

object Ref {
  implicit def unwrap[Repr](r: Ref[_, Repr]): Repr = r.repr
  implicit def wrap[A, Repr](repr: Repr): Ref[A, Repr] = new Impl[A, Repr](repr)
  private class Impl[A, Repr](val repr: Repr) extends Ref[A, Repr]
}
trait Ref[A, Repr] { def repr: Repr }

def test(m: Monoman): Unit = {
  val w0 = m.wall
  val w1 = w0.copy(brick = "3.1415")
  m.wall = w1 // doesn't convert to Ref
}

所以虽然展开是透明的，但重新包装似乎不起作用，我怀疑这是不可能的让它工作，同样是因为 m.type 永远无法推断。