Scala：具有泛型的函数参数的默认值

Question

当类型是泛型时，我无法为函数参数设置默认值。

我的函数签名如下：

  def doStuff[ K, T ]( result: Future[ Seq[ T ] ] )
                     ( transform: T => Option[ K ] ): Future[ Either[ String, Option[ K ] ] ] = {
  }

而且我知道我给函数参数设置了一个默认值，例如：

  def doStuff(a: Int)
             (f: Int => Option[Int] = k => Option(k)): Future[ Either[ String, Option[ Int ] ] ] = {
  }

但是我不能将这些泛型类型与默认函数值结合起来

  def doStuff[ K, T ]( result: Future[ Seq[ T ] ] )
                     ( transform: T => Option[ K ] = k => Option(k)): Future[ Either[ String, Option[ K ] ] ] = {
  }

带有明显的错误信息：Option[T] 不符合预期的 Option[K]

我最后的办法是为 K 和 T 传递类标记并将默认参数从 k => Option(k) 更改为

def doStuff[ K: ClassTag, T ]( result: Future[ Seq[ T ] ] )
                               ( transform: T => Option[ K ] = {
                                 case m: K => Option( m )
                                 case _ => None
                               } ): Future[ Either[ String, Option[ K ] ] ] = {
  }

但这种方法将迫使我在函数调用时传入我的泛型参数。

谁能看到其他方法？

Answer 1

我还没有通过您提供的两个参数列表的签名来实现它。但是我想知道您是否可以将其与一个参数列表一起使用：

def toOption[R](x: R): Option[R] = Option(x)

def doStuff[K, T](result: Future[Seq[T]], transform: T => Option[K] = toOption[K] _): Future[Either[String, Option[K]]] = {
  result.map(r => Right[String, Option[K]](transform(r.head)))
}

// Then, if you need a function of the second parameter, you can use partially applied function:
val rf: (Int => Option[Int]) => Future[Either[String, Option[Int]]] = doStuff[Int, Int](Future(List(1, 2)), _)

// Or call with default argument:
val r: Future[Either[String, Option[Int]]] = doStuff[Int, Int](Future(List(1, 2)))

// These lines should print the same
println(rf(toOption))
println(r)