scala中`=> String`的类型是什么？

Question

在 scala 中，有一些按名称调用的参数：

def hello(who: => String) = println("hello, " + who)

参数who的类型是什么？

它将scala REPL上的函数显示为：

hello: (who: => String)Unit

类型还是=> String吗？它有什么名字吗？或者一些描述类型的文档？

answer 提出的其他问题

问题 1

（阅读§3.3.1（MethodTypes）的规范时）

方法类型是方法的类型，比如说我定义了一个方法hello：

def hello: String = "abc"

它的类型可以写成：=> String，对吧？虽然你可以看到 REPL 的响应是：

scala> def hello:String = "abc"
hello: String

如果我定义一个有参数的方法：

def goodname(name: String): String = name + "!"

方法的类型是什么？它应该类似于String => String，但不是。因为是方法类型，而String => String是函数类型。

问题 2

（阅读§3.3.1（MethodTypes）的规范时）

我可以这样理解：

def goodname(name: String): String = name + "!"
def print(f: String => String) = println(f("abc"))
print(goodname)

当我调用print(goodname)时，goodname的类型会转换为函数类型String => String，对吧？

但是对于无参数方法：

def hello: String = "abc"

可以转换什么函数类型？我试过了：

def print(f: () => String) = println(f())

但这不能编译：

print(hello)

错误是：

错误：类型不匹配； 发现：字符串 必需：() => 字符串

你能给我一个有效的例子吗？

问题 3

（在阅读 §6.26.2 (MethodConversions) 的规范时）

这种求值转换仅在类型未应用于参数时发生。所以，对于代码：

def myname:String = "abc"
def print(name: => String) = println(name)
print(myname)

我的问题是，当我打电话给print(myname) 时，是否发生了转换（我的意思是Evaluation conversion）？我猜，因为myname的类型只是=> String，所以可以直接传给print。

如果print 方法发生了变化：

def myname:String = "abc"
def print(name: String) = println(name)
print(myname)

这里Evaluation conversion肯定发生了，对吧？（从=> String到String）

Answer 1

引用§4.6.1 of the spec:

那么这种参数的类型就是无参数方法类型=> T。

因此，按名称调用参数的类型（大约）是() => T（或Function0[T]，如果您愿意）。如果你:javap 一个方法接受一个按名称调用的参数，你会看到编译后的代码接受一个scala.Function0<java.lang.Object> 类型的参数。

一个近似的例子

翻译：

def callByName[T](f: => T) = f

callByName { /* magic */
    1 + 1
/* ends here */ }

有效：

def callByName[T](f: Function0[T]) = f.apply()

callByName(new Function0[Int] {
  def apply() = { /* magic */
    1 + 1
  /* ends here */ }
})

对近似值的怀疑

您可能很想尝试将() => T 传递给您的方法。试试callByName(() => 12)；为什么它不编译？ （提示，考虑调用站点的扩展）。 （悬停在以下空白处查看答案）：

callByName(() => 12) 无法编译的原因是因为扩展被视为： callByName(new Function0[() => Int] { 定义应用（）=（）=> 12 }) 也就是说，不是传入一个返回Int的Function0，而是传入一个返回Function0的Function0，它返回一个Int。

=> T 实际上是什么

=> T 实际上是一个方法类型，而不是一个对象。因此，之前的所有内容都是编译器所做工作的近似值，并且可以随时更改。引用§3.3:

下面解释的类型并不表示值的集合，它们也没有明确地出现在程序中。它们在本报告中作为已定义标识符的内部类型进行介绍。

那么什么是方法类型？引用§3.3.1 (MethodTypes):

一种特殊情况是没有任何参数的方法类型。它们写在这里=> T。每次引用无参数方法名称时重新计算的无参数方法名称表达式。

方法类型不作为值类型存在。如果将方法名用作值，则其类型会隐式转换为相应的函数类型（§6.26）。

而§6.26.3 (MethodConversions) 表示：

以下四种隐式转换可以应用于未应用于某些参数列表的方法。

求值。=> T 类型的无参数方法m 总是通过计算m 绑定到的表达式转换为T 类型。

所以=> T 类型的正确翻译总是：

def random$name$here: T

示例

这是一个可以玩的示例类：

class TestParamless {
  def paramless: Int = 1
  def callByName(f: => Int) = f
  def example: Int = callByName(paramless)
}

试试 new TestParamless().example 和 :javap TestParamless（在 scala REPL 中）。