scala – 从foreach的短路功能

我的同事和我对以下代码的行为有点困惑.

def a: String = {
  None.foreach(return "1")
  return "2"
}

def b: String = {
  None.foreach(x => return "1")
  return "2"
}

如预期的那样,调用b将返回“2”.但是,调用返回值为“1”.当执行a时是否正在评估返回“1”？

解决方法

表单的所有*函数评估

f({code})

相当于

val temp = { code }
f(temp)

所以,在第一种情况下,

val temp = return "1"
None.foreach(temp)   // Never reach this point!

而在第二,

val temp = (x: nothing) => return 1
  // Equivalent: new Function1[nothing,String]{ def apply(x: nothing) = return "1" }
None.foreach(temp)   // Never call that weird function!

所以一切都好.

但是,等等,foreach取A =>单元.如何返回“1”这样的功能？那么,Scala从最具体的类型开始(没有什么,它是任何东西的子类,因此承诺做任何你要求的东西,除非它不存在).然后,由于语句(控制通过返回转义)没有产生任何值,所以它从不会从nothing修改它.所以,确实,没有什么是Function1 [A,Unit]的子类.

为了生产这个没有什么 – 好吧,假装生产它 – 你实际上运行代码,并返回.

*实际上,如果参数通过名称传递,则将其隐藏转换为()=> {代码}并通过而不进行评估.