scala类型推断与_占位符

发布时间：2020-12-16 19:19:39 所属栏目：安全来源：网络整理

导读：List("This","is","Scala").foreach(a = print(a+" ")) 编译好,但是 List("This","Scala").foreach(print(_+" ")) 没有抱怨缺少参数类型.我无法弄清楚它失败的原因. 编辑：我的意思是打印不打印 – 不是它有逻辑的区别. 解决方法问题是这个 List("This","Sc

List("This","is","Scala").foreach(a => print(a+" "))

编译好,但是

List("This","Scala").foreach(print(_+" "))

没有抱怨缺少参数类型.我无法弄清楚它失败的原因.

编辑：我的意思是打印不打印 – 不是它有逻辑的区别.

解决方法

问题是这个

List("This","Scala").foreach(print(_+" "))

不等于

List("This","Scala").foreach(a => print(a+" "))

但是

List("This","Scala").foreach(print(a => a+" "))

现在,让我们看看foreach的类型签名：

def foreach [B] (f: (A) ? B) : Unit

其中A是List本身的类型参数.由于我们有一个List [String],编译器知道必须传递给一个函数[String,B].

在a =>中print(a“”)a的类型是已知的：String.

在打印(a => a“”)中存在问题,因为print不是Function.但是,编译器还没有考虑过 – 它仍在尝试编译a =>一个 ” ”.那么让我们看一下Predef.print的类型：

def print (x: Any) : Unit

所以a => a“”必须是Any类型,当然,这意味着它可以是任何东西.它无法帮助编译器断言a的类型.这并不重要,因为您不想首先打印功能.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!