Question

我目前想知道如何编写符合多个类型参数的一个特征的对象/类/特征。假设我有

trait Dependent[T]{
  def observeCritereaChanged(oldValue:T, newValue:T):Unit
}

我希望能够为两个不同的类型参数定义一些实现Dependent的特征，例如

trait IntStrDependent extends Dependent[Int] with Dependent[String]

因此我的IntStrDependent特征的实例必须为这两种类型定义observeCritereaChanged：

class MyDependent extends IntStrDependent {
  def observeCritereaChanged(oldValue:Int, newValue:Int) = //...
  def observeCritereaChanged(oldValue:String, newValue:String) = //...
}

到目前为止，在尝试创建IntStrDependent特征时，我的努力遇到了编译错误：

scala> trait IntStrDependent extends Dependent[Int] with Dependent[String]
<console>:8: error: illegal inheritance;
 self-type IntStrDependent does not conform to Dependent[Int]'s selftype Dependent[Int]
       trait IntStrDependent extends Dependent[Int] with Dependent[String]
                                     ^
<console>:8: error: illegal inheritance;
 self-type IntStrDependent does not conform to Dependent[String]'s selftype Dependent[String]
       trait IntStrDependent extends Dependent[Int] with Dependent[String]
                                                         ^

所以我的问题是：有没有办法做我正在尝试做的事情（如果是这样，如何）或者这是一个失败的原因，因为Scala不是为了做这种事情而构建的？

Answer 1

好问题。我认为你不能直接做你想做的事。

另一种方法是trait IntStrDependent extends Dependent[Either[Int, String]]，但这并不能解决问题。也许Miles Sabin的encoding of union types的变体允许做更多的事情。

我认为最好的选择就是保持简单，

trait Dependent[T]{
  def observeCritereaChanged(oldValue:T, newValue:T):Unit
}

trait IntStrDependent {
  val I: Dependent[Int]
  val S: Dependent[String]
}

object MyDependent extends IntStrDependent {
  object I extends Dependent[Int] {
    def observeCritereaChanged(oldValue:Int, newValue:Int) {}
  }
  object S extends Dependent[String] {
    def observeCritereaChanged(oldValue:String, newValue:String) {}
  }
}

要使用MyDependent，必须明确选择Int或String变体，例如

MyDependent.I.observeCritereaChanged(1, 2)

在我看来，无论如何，明确表示类型依赖是一件好事。

具有相同特征但具有不同类型参数的组合物

1 个答案: