3

我正在创建一些参数化类 C[T] 并且我想对类型 T 的特征提出一些要求，以便能够成为我的类的参数。如果我只想说 T 继承自特征或类（就像我们对 Ordering 所做的那样），那将很简单。但我也希望它实现一些功能。

例如，我已经看到许多预定义类型实现了 MinValue 和 MaxValue，我希望我的类型 T 也实现这些。我收到了一些建议来定义一个隐式函数。但我不希望所有用户在已经实现时都必须为这些用户实现此功能。我也可以在我的代码中实现它们，但这似乎只是一个糟糕的快速修复。

例如，在定义堆时，我想允许用户构造一个空堆。在这些情况下，我想用类型 T 可能具有的最小值来初始化值。显然这段代码不起作用。

class Heap[T](val value:T,val heaps:List[Heap[T]]){
    def this()=this(T.MinValue,List())
}

我也很想收到一些关于非常好的在线 Scala 2.8 参考的建议。

4

2 回答 2

6

一堆东​​西，由于共享一些方法（尽管具有不同的返回类型）而松散地相关。对我来说，当然听起来像是临时多态性！

滚动类型类...

class HasMinMax[T] {
  def maxValue: T
  def minValue: T
}

implicit object IntHasMinMax extends HasMinMax[Int] {
  def maxValue = Int.MaxValue
  def minValue = Int.MinValue
}

implicit object DoubleHasMinMax extends HasMinMax[Double] {
  def maxValue = Double.MaxValue
  def minValue = Double.MinValue
}

// etc

class C[T : HasMinMax](param : T) {
  val bounds = implicitly[HasMinMax[T]]
  // now use bounds.minValue or bounds.minValue as required
}

更新

该[T : HasMinMax]符号是上下文绑定的，并且是语法糖：

class C[T](param : T)(implicit bounds: HasMinMax[T]) {
  // now use bounds.minValue or bounds.minValue as required
}
于 2010-12-02T19:07:10.493 回答
2

您可以使用类型边界：

trait Base

class C[T <: Base]

可以C使用任何类型T的子类型参数化Base.

或者你可以使用隐式参数来表达需求：

trait Requirement[T] {
  def requiredFunctionExample(t: T): T
}

class C[T](implicit req: Requirement[T])

因此，只有在存在您希望参数化它们的类型C的特征的实现时，才能构造类的对象。例如，您可以将不同类型的实现放在包对象中，从而在导入相应包时将它们纳入范围。RequirementTRequirementT

于 2010-12-02T18:30:33.303 回答