scala - 你能为抽象类型指定一个 View 吗？

Question

在my answer至 this question , 我很惊讶以下代码不起作用。

scala> abstract class Foo {
     |  type Repr_Tpe <% Ordered[Repr_Tpe]
     | }

<console>:2: error: `=', `>:', or `<:' expected

OP 说用类型参数替换抽象类型不是一个选项。有什么方法可以表达绑定(bind)到抽象类型的 View 吗？

Answer 1

当然有。 View 绑定(bind) A <% B在类型参数上只是“类型为 A => B 的隐式值参数”的糖。那么，您想要的是:

abstract class Foo {
    type Repr_Tpe
    implicit def orderify: (Repr_Tpe => Ordered[Repr_Tpe])
}

当然，实现必须提供 orderify 的实际实现同时他们指定类型。大概是这样的

class Bar extends Foo {
    type Repr_Tpe = Int
    val orderify = implicitly[Int => Ordered[Int]]
}

或

class Baz[A <% Ordered[A]] extends Foo {
    type Repr_Tpe = A
    val orderify = implicitly[A => Ordered[A]]
}