我可以将泛型类型参数限制为2个不相关的类之一吗？

Question

我希望能够做这样的事情(实际上不会起作用):

class A[T <: B | C]

......并希望这是有效的:

new A[B]
new A[C]

...这会产生编译器错误:

new A[D]

这样的事情可能吗？

Answer 1

您可以使用隐式：

trait AArg[T]

class A[T](implicit e: AArg[T])

implicit val argB = new AArg[B] { }
implicit val argC = new AArg[C] { }

尽管这并不能阻止某人创建 type 的隐式 val AArg[D]。