Scala 中的抽象参数类型

Question

我有：

trait A[B[_]]

我有：

trait Base {
    type AImpl <: ???
    def foo: AImpl
}

这样扩展 Base 的类将定义 A 并实现方法和字段。即：

trait BB[T]
trait AA extends A[BB]

trait Child extends Base {
  override type AImpl = AA
}

我的问题是声明抽象类型AImpl。我试过了：

type AImpl <: A[B[_]] forSome {type B[_]}

但我收到以下编译错误：

B[_] takes no type parameters, expected: one
type AImpl <: A[B[_],_] forSome {type B[_]}

声明这种抽象类型的正确方法是什么？

Answer 1

此代码可以满足您的要求，但我认为您不是故意的：

trait A[B[_]]

trait Base {
  type AImpl <: A[B] forSome { type B[_] }
  def foo: AImpl
}

如果您可以更具体一些，我可能会查明您的问题并提出另一种解决方法。

---

正如我之前所坚持的，你的意图有很多问题。我很清楚你正在尝试做一些你不应该做的事情。

要解释几个问题，您首先需要了解存在类型。在这里，您正在对 AImpl 进行一定的限制：

type AImpl <: A[B] forSome { type B[_] }

这要求它的实现符合这种类型。但是，这种类型不可能有任何实现，因为

1. B 隐藏在存在类型内部，因此外部未知；
2. A 是不变的，因此它强制实现成为 A[B] 的子类型，用于精确隐藏的 B。

这两个一起禁止AImpl实现。修复的方法是转A协变：

trait A[+B[_]]

trait Base {
  type AImpl <: A[B] forSome { type B[_] }
  def foo: AImpl
}

trait BB[T]
trait AA extends A[BB]

object Child extends Base {
  override type AImpl = A[BB]

  def foo = ???
}

这段代码编译没有问题。

然而，我不得不再次说，存在量化 B 是一个根本有缺陷的想法，因为在给定的环境中，没有类型安全的方法来恢复 B 了，如果你需要它，更不用说scala 中更高种类的类型不足且格式错误。