scala – 具有类型参数的case类的Tupled方法

案例类的伴随对象在具有类型参数时不能扩展FunctionN(定义tupled,其中N> = 2).使用

(Foo[Int] _).tupled

讨论

当你有一个香草类如

case class Bar(x: Int,y: Int)

它的构造函数实际上是一个Function2 [Int,Int,Bar],因此当编译器生成伴随对象Bar时,它可以方便地扩展Function2.

然后生成的代码将是

class Bar extends AnyRef with Product with Serializable { ... }
object Bar extends Function2[Int,Bar] with Serializable { ... }

现在考虑

case class Foo[T](x: T,y: T)

如果你尝试应用同样的技巧,你很快就会遇到麻烦：

// this can't compile,what's T?
object Foo extends Function2[T,T,Bar] with Serializable { ... }

由于T是未知的,编译器不能使Foo成为Function2的子类,并且它不能比使它扩展AnyRef好得多：

class Foo[T] extends AnyRef with Product with Serializable { ... }
object Foo extends AnyRef with Serializable { ... }

这里是上面讨论的内容的快速证明(使用scala -Xprint：typer)：

scala> case class Bar(x: Int,y: Int)
...
<synthetic> object Bar extends scala.runtime.AbstractFunction2[Int,Bar] with Serializable {
...

scala> case class Foo[T](x: T,y: T)
...
<synthetic> object Foo extends AnyRef with Serializable {
...

要包装它,当你有类型参数时,你必须首先获得一个Function2

val f: Function2[Int,Foo] = Foo[Int] _

然后你可以打电话给它

f.tupled // ((Int,Int)) => Foo[Int]