2

当我遇到这个问题时，我正在尝试使用更高的种类和类型边界。我的用例是我希望能够使用 Request 的任何子类型或 Request 类型本身来参数化 GenericAction 实例。Action trait 使用默认类型的 Request 扩展 GenericAction trait（在这种情况下，只会生成 Request 的匿名实例）。

trait Request[+A]

trait GenericAction[A, R[_] <: Request[_]]

trait Action[A] extends GenericAction[A, Request]

trait ActionBuilderBase[R[_] <: Request[_], G[_] <: GenericAction[_,R]]

ActionBuilderBase 具有与子特征 ActionBuilder 和 ActionBuilder2 共享的实用方法。ActionBuilder 生成默认的 Action[A] 和 Request[A] 实例。

trait ActionBuilder extends ActionBuilderBase[Request,Action]

到目前为止一切都很好，但是当我尝试创建另一个扩展 ActionBuilderBase 具有 R 和 GenericAction 子类型的特征时（在这种情况下将创建 GenericAction 的匿名实例），它无法编译。我猜原因是在第一个 ActionBuilder 的情况下，请求类型已经被“填充”（因为 Action[A] 已经有一个请求类型 == Request），这与下面的示例不同。为了让这个例子起作用，我需要“填写”什么？

//Fails with "GenericAction takes two type parameters, expected: one" - what should the type annotation for GenericAction look like?
trait ActionBuilder2[R[_] <: Request[_]] extends ActionBuilderBase[R,GenericAction]
4

1 回答 1

7

在这种情况下，能够编写如下内容会很好：

trait ActionBuilder2[R[_] <: Request[_]] extends
  ActionBuilderBase[R, GenericAction[_, R]]

表示您要部分申请GenericAction。不幸的是，这不是有效的 Scala 语法（尽管 Erik Osheim 有一个编译器插件可以让您编写非常相似的东西）。

但是，您可以使用“类型 lambda 技巧”：

trait ActionBuilder2[R[_] <: Request[_]] extends
  ActionBuilderBase[R, ({ type L[A] = GenericAction[A, R] })#L]

有关其工作原理的详细说明，请参阅此答案。

于 2012-10-21T17:50:59.957 回答