如何在 Scala 中调用 Function1[_, String]？

Question

我在 定义映射中回答了有关函数映射的问题String to Function in Scala 导致 Function1[_, String] 我相信就打字问题而言是正确的，但可能没用，因为我不知道如何调用这样的函数：

scala> def f(x: Int) = x.toString
f: (x: Int)java.lang.String

scala> f(8)
res0: java.lang.String = 8

scala> val g: Function1[_, String] = f _
g: Function1[_, String] = <function1>

scala> g(8)
<console>:8: error: type mismatch;
 found   : Int(8)
 required: _$1 where type _$1
       g(8)
         ^

scala> val h: Function1[Int, String] = g
<console>:7: error: type mismatch;
 found   : (_$1) => String where type _$1
 required: (Int) => String
       val h: Function1[Int, String] = g

有没有办法使用g？

Answer 1

scala> g.asInstanceOf[Any => String](5)
res3: String = 5

它会起作用，因为所有函数都会擦除相同的内容：Function1[AnyRef, AnyRef]。当您将其指定为 Any 时，传递 AnyVal 将在调用时自动装箱（并且将在方法中自动取消装箱）。

但是，您必须传递正确的参数类型。不然的话...

scala> g.asInstanceOf[Any => String](true)
java.lang.ClassCastException: java.lang.Boolean cannot be cast to java.lang.Integer

Answer 2

我想说，如果您想使用 String 中定义的方法，就好像您已将 String 类型的对象强制转换为 Any您必须将其转换为 String。

您将该函数转换为采用存在类型参数的函数（这就是类型上下文中 _ 的含义），因此您不能将其用作采用 的函数整数。要将其用作采用 Int 的函数，您必须将其强制转换回来。

当与集合或其他泛型类进行模式匹配时，也存在同样的问题：

def firstLength(collection: Any): Int ={
  collection match {
    // this is how you would have liked to write it
    // case list: List[String] => list.head.length
    // case map: Map[String, String] => map.values.head.length
    // but this is how you have to write it because of type erasure
    case list: List[_] => list.asInstanceOf[List[String]].head.length
    case map: Map[_, _] => map.asInstanceOf[Map[String, String]].values.head.length
  }
}

类型信息不存在，因此无法在 List[String] 上进行匹配，而必须在存在性上进行匹配输入 List[_] （你的说法可能是错误的，我认为这不是存在的泛型类型），然后进行强制转换。这或多或少正是您遇到的问题，您所追求的类型已被删除，并且无法将其恢复（除非您可以使用与可使用的 ClassManifest 相同的技巧在上面的情况下绕过类型擦除[但实际上不是上面的情况，因为它有点草率]）。