是否可以创建一个可以用作 T[A, B] 的泛型类型 T[A <: C[U], B <: C[U], U]？

Question

我有以下案例类：

case class <*>[Q <: Quantity[T], R <: Quantity[T], T](value: T) 
  extends Quantity[T]

我想这样使用它：

type Area[T] = Length[T] <*> Length[T]

但是，我收到一条错误消息，指出 <*> 需要三个参数，而我只给出了两个。我希望它像这样工作：

type Area[T] = <*>[Length[T], Length[T], T]

我尝试了以下方法，但它给了我一个错误：

trait Quantity[T] {
  type Value = T

  def value: T
}

case class <*>[Q <: Quantity[_],
               R <: Quantity[_]](value: Q#Value)
                                (implicit eq: Q#Value =:= R#Value)
  extends Quantity[Q#Value]

错误：(13, 110) 非法继承；
自类型<*>[Q,R]不符合Quantity[_$1]的自类型Quantity[_$1]

case class <*>[Q <: Quantity[_],
               R <: Quantity[_]](value: Q#Value)
                                (implicit eq: Q#Value =:= R#Value)
  extends Quantity[Q#Value]
  ^

有解决办法吗？如有必要，我不介意重命名案例类，尽管我确实想要漂亮的中缀语法。

Answer 1

问题在于Q#Value 引用。

我建议使用隐式来强制你的类型约束，而不是试图让存在主义工作：

sealed trait CanStar[Q, R]
// could include =:=-like values in CanStar if you like
object CanStar {
  implicit def canStar[Q <: Quantity[T], R <: Quantity[T], T] =
    new CanStar[Q, R]{}
}

sealed case class <*>[Q,R](value: Q)(implicit cs: CanStar[Q, R])

然后<*> 是所需的双参数类型，但您只能用适当相关的Q 和R 实例化Q <*> R（因为隐式CanStar[Q, R]s 仅适用于合适的@ 987654328@ 和 R)。