为什么以下代码可以工作?
看起来它被转换为
scala> List(1,2,3) map "somestring"
res0: List[Char] = List(o, m, e)
它可以在2.9和2.10版本中正常运行。 查看类型:
[master●●] % scala -Xprint:typer -e 'List(1,2,3) map "somestring"' ~/home/folone/backend
[[syntax trees at end of typer]] // scalacmd2632231162205778968.scala
package <empty> {
object Main extends scala.AnyRef {
def <init>(): Main.type = {
Main.super.<init>();
()
};
def main(argv: Array[String]): Unit = {
val args: Array[String] = argv;
{
final class $anon extends scala.AnyRef {
def <init>(): anonymous class $anon = {
$anon.super.<init>();
()
};
immutable.this.List.apply[Int](1, 2, 3).map[Char, List[Char]](scala.this.Predef.wrapString("somestring"))(immutable.this.List.canBuildFrom[Char])
};
{
new $anon();
()
}
}
}
}
}
看起来它被转换为
WrappedString
,该类具有一个apply方法。这解释了它的工作原理,但并没有解释一个WrappedString
如何被接受为类型为A => B
的参数(如在scaladoc中指定)。请问有人能解释一下这是怎么发生的吗?