scala – 依赖方法类型与默认参数冲突

发布时间：2020-12-16 09:11:50 所属栏目：安全来源：网络整理

导读：当使用 scala的依赖方法类型时,我遇到与默认方法参数的冲突： abstract class X { type Y case class YY(y: Y)}object XX extends X { type Y = String}trait SomeTrait { def method(x: X)(y: x.YY,default: Int = 3): Unit}object SomeObject extends Some

当使用 scala的依赖方法类型时,我遇到与默认方法参数的冲突：

abstract class X {
  type Y
  case class YY(y: Y)
}

object XX extends X {
  type Y = String
}

trait SomeTrait {
  def method(x: X)(y: x.YY,default: Int = 3): Unit
}

object SomeObject extends SomeTrait {
  def method(x: X)(y: x.YY,default: Int): Unit = {}

  method(XX)(XX.YY("abc")) // fails to compile
}

消息是：

[error]  found   : me.alexbool.XX.YY
[error]  required: x$1.YY
[error] Error occurred in an application involving default arguments.
[error]     method(XX)(XX.YY("abc")) // fails to compile

如果从方法定义和实现中删除带有默认值的参数,则该示例成功编译.我究竟做错了什么？这是一个bug吗？

附：我正在使用Scala 2.11.4

解决方法

半小时的谷歌搜索,我有一个答案.
是的,这是一个bug. https://issues.scala-lang.org/browse/SI-7371

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!