使用sbt dotty插件:
addSbtPlugin("com.felixmulder" % "sbt-dotty" % "0.1.9")
运行sbt console
,我尝试了新的联合类型功能:
Starting dotty interpreter...
Welcome to Scala.next (pre-alpha, git-hash: 606e36b) (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_112).
Type in expressions to have them evaluated.
Type :help for more information.
scala> case class A(val x: Int, y: Double)
defined class A
scala> case class B(val x: Int, y: String)
defined class B
scala> def getX(o: A | B): Int = o.x
-- [E008] Member Not Found Error: <console> ------------------------------------
8 |def getX(o: A | B): Int = o.x
| ^^^
| value `x` is not a member of (A | B)(o)
为什么这不起作用?我使用的工会类型错了吗?这只是不起作用吗?
答案 0 :(得分:0)
我认为这不应该真的有效。如果A
和B
扩展了一个公共接口,断言它们各自都有一个x: Int
, 就可以工作:
trait C { def x: Int }
case class A(x: Int, y: Double) extends C
case class B(x: Int, y: String) extends C
def getX(o: A | B): Int = o.x
scala> getX(A(1, 2))
val res0: Int = 1
如果没有它,编译器需要反思地查看A
和B
以确定它们是否具有相同的x
定义,这似乎不符合目标简化Scala的类型系统。
当然,支持文档几乎不存在,此时没有完整的规范。我想也许this slide是混淆的来源,因为它不是可编译的代码。