Question

以下代码效果很好

List("ios","android","wm").exists(x =>"ios ok".contains(x))

但是，如果我在这样的匿名函数中添加参数类型，它会抱怨type mismatch：

scala> List("ios","android","wm").exists(x: String => "ios ok".contains(x))
<console>:1: error: identifier expected but string literal found.
       List("ios","android","wm").exists(x: String => "ios ok".contains(x))
                                                      ^

如果我使用_代替x，则不会编译：

scala>List("ios","android","wm").exists(_ =>"ios ok".contains(_))
<console>:8: error: missing parameter type for expanded function ((x$2) => "ios ok".<contains: error>(x$2))

有没有人有这方面的想法？这些代码中是否发生了隐式类型转换？我怎么能在这里明确地使用参数类型？

Answer 1

我在思考编译器何时看到:String => ...它可能正在寻找完成像String => A这样的函数类型。这是由括号触发的，因为你通常在大括号内有一个类型化的匿名函数。

这些工作：

List("ios","android","wm").exists((x: String) => x.contains(x))

List("ios","android","wm").exists { x: String => x.contains(x) }

最后一点没有任何意义：

List("ios","android","wm").exists(_ =>"ios ok".contains(_))

第一个_意味着你不关心元素是什么，显然不是这样。因此编译器希望应用一个带有两个参数的函数，参数列表为一个。

你想要这个：

List("ios","android","wm").exists("ios ok".contains(_))

在Scala中，为什么我不能在这里明确使用参数类型？

1 个答案: