Scala 方法和高级类型参数

我试图在 scala 中定义一个方法，它采用通用类型S[_] <: Seq[Double]并返回一个 S[FixedLoad]（FixedLoad 是一个具体类型）。但我的实现给了我错误，我不明白为什么。尽管我多次尝试去理解参数类型和高级类型，但我的知识增长得很慢。

我想要实现的是不丢失 S 的具体类型（序列子类型）。

这是代码：

import scala.collection.generic.CanBuildFrom

class FixedLoad(val id: Int, val positionInT: Int, val amplitude: Double) {
  override def toString: String = s"FixedLoad($id, $positionInT, $amplitude)"
}

object Load {

  implicit def toFixedLoads[S[_] <: Seq[Double]](l: S[Double])(implicit cbf: CanBuildFrom[Nothing, FixedLoad, S[FixedLoad]]): S[FixedLoad] = {
    l.map(_ => new FixedLoad(1, 1, 1)).to[S]
  }

  def main(args: Array[String]): Unit = {
    println(toFixedLoads(List(1.0, 2.0, 3.0)))
  }

}

和错误：

Error:(16, 13) inferred type arguments [List] do not conform to method toFixedLoads's type parameter bounds [S[_] <: Seq[Double]]
    println(toFixedLoads(List(1.0, 2.0, 3.0)))

Error:(16, 30) type mismatch;
 found   : List[Double]
 required: S[Double]
    println(toFixedLoads(List(1.0, 2.0, 3.0)))

简短回答：

Change toFixedLoads[S[_] <: Seq[Double]] to toFixedLoads[S[A] <: Seq[A]]

长答案：

当你说S[_]， 那是一个高等类型。或者，换句话说，这是一个类型构造函数。这意味着需要一种类型来生成最终的正确的类型。这里有些例子：

• List- 采用类型，例如Int，产生正确的类型List[Int]
• Option- 采用类型，例如Int，产生正确的类型Option[Int]

etc.

这种类型构造函数通常表示为* -> *。您提供一种类型，然后返回一种类型。还有其他种类；例如，Map and Either需要两种类型才能产生正确的类型（例如Map[Int, String] or Either[Error, Foo]），所以他们的种类是* -> * -> *。将其视为柯里化类型构造函数；接受一个类型并返回一个接受一个类型的函数，然后你就得到了最终的、正确的类型。或者换句话说，需要两种类型来生成最终的正确类型。您可能还有一个类型构造函数，需要一个类型构造函数来构建正确的类型（例如Monad[F[_]]），在这种情况下，类型是(* -> *) -> *（例如，List -> Monad[List]).

所以当你说你的方法需要一个类型的参数时S[Double]你通过了List(1.0, 2.0, 3.0)，编译器推断S to be List，并且它抱怨List[A]不是的子类型Seq[Double]对于任何A。您第一次尝试解决此问题可能是F[_] <: Seq[_]，但是无法编译，因为内部类型仍然不对齐。我们需要用类似的东西“连接”它们F[A] <: Seq[A] for some A，可以简单地写为F[A] <: Seq[A].

一个好问题可能是“我可以说S <: Seq[Double]？“ 当然，S代表一个正确的类型，所以你完全可以！像这样的东西工作得很好：

def foo[S <: Seq[Double]](s: S) = println(s)
foo(List(1.0, 2.0)) // prints List(1.0, 2.0)

但当然，你的S其中有一个“洞”，因为你的方法参数是类型S[Double]，所以它不适用于您的情况。