14

我正在尝试执行以下操作

trait Stateful {
  type State
}

case class SystemState(system: Stateful, state: system.State) // does not compile

也就是说， 的类型state取决于（的值）system。但是，不支持：

非法依赖方法类型：参数出现在同一节或更早的另一个参数的类型中

使用函数参数，我可以将参数拆分为两个参数列表，这对于案例类构造函数是不可能的：

def f(system: Stateful)(state: system.State): Unit = {} // compiles

我能做的最好的是：

case class SystemState[S](system: Stateful { type State = S }, state: S) // compiles

但我在想没有类型参数应该是可能的，因为在 dotty 中，我认为类型参数对类型成员来说是无糖的。

那么我的问题是，这可以在没有类型参数的情况下表达吗？

在更一般的上下文中，我正在探索类型参数可以在多大程度上被类型成员替换，以及何时这样做是个好主意。

4

1 回答 1

9

不幸的是，构造函数不支持依赖类型的多参数列表方法，所以不，您必须引入类型参数。

不过，如果它变得烦人，你可以隐藏这个事实

trait Stateful {
  type State
}

object SystemState {
  def apply(system: Stateful)(state: system.State): SystemState = 
    new Impl[system.State](system, state)

  private case class Impl[S](val system: Stateful { type State = S }, 
                             val state: S)
    extends SystemState {
    override def productPrefix = "SystemState"
  }
}
trait SystemState {
  val system: Stateful
  val state: system.State
}

case object Test extends Stateful { type State = Int }
val x = SystemState(Test)(1234)
于 2015-03-14T12:26:10.220 回答