斯卡拉 – 通过砖墙驾驶单身人士类型
发布时间:2020-12-16 18:19:41 所属栏目:安全 来源:网络整理
导读:这是一个非常简洁的版本: 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 愚蠢的砖墙不让我通
这是一个非常简洁的版本:
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 愚蠢的砖墙不让我通过.任何想法如何可能?秘密斯卡拉隧道的影响?希望… 解决方法
据我所知,Scala编译器拒绝推断路径依赖类型,因此一点类型注释有助于:
def test( m: Monoman ) { m.me( Brickwall[m.type]( m ).otherSide )} (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |