Scala中(i:T):T与T=>T方法类型签名的区别解析

问题背景 #

用户疑问：Scala中以下两种方法的类型为何不同？(i: Int): Int与Int => Int的区别是什么？函数能否拥有类似前者的类型？

对应代码示例：

// Int => Int 是 Function1[Int, Int] 的简写

// 示例1：方法类型为 (i: Int): Int
scala> :t def double(i: Int): Int = i * 2
(i: Int): Int

// 示例2：方法类型为 Int => Int
scala> :t def double: Int => Int = i => i * 2
 Int => Int

// 示例3：函数值类型为 Int => Int
scala> val double2 : Int => Int = i => i * 2
val double2: Int => Int = $Lambda$1197/0x00000008010c8400@54398386

scala> :t double2
Int => Int

核心区别：方法与函数值的本质差异 #

Scala里方法和函数值是两个完全不同的概念，这直接导致了它们的类型表示不同：

1. (i: Int): Int 是方法的原生类型签名 #

• 这是Scala方法定义特有的类型表示，描述的是一个「接收Int参数、返回Int结果」的方法。
• 方法是类或对象的成员，本身不是可直接传递的"值"——不能直接赋值给变量，也不能直接作为参数传给其他函数（需通过_语法转换为函数值，比如double _）。
• 用:t查看方法类型时，Scala会直接输出它的参数列表+返回值的签名形式，这是方法独有的类型表达方式。

2. Int => Int 是函数值的类型 #

• 这是Function1[Int, Int]的语法糖，代表一个实现了Function1特质的函数实例（本质是可被当作值传递的对象）。
• 函数值是Scala的一等公民：可以赋值给变量、作为参数传递、作为返回值返回，底层是一个带有apply方法的对象。
• 当你写def double: Int => Int = i => i * 2时，这个方法并没有直接定义参数列表，而是返回一个Int => Int类型的函数值——所以:t显示的是它的返回值类型（即函数值的类型）。而val double2: Int => Int = ...则直接定义了一个函数值变量，类型自然是Int => Int。

3. 函数能否拥有(i: Int): Int类型？ #

不能。(i: Int): Int是方法特有的类型签名，函数值本质是对象，它的类型只能是FunctionN系列特质（或其语法糖形式，比如Int => Int）。

你可以通过方法间接模拟：定义方法def f(i: Int): Int = ...后，用f _将其转换为函数值，但此时这个函数值的类型依然是Int => Int，而非方法的签名类型。

内容的提问来源于stack exchange，提问作者user17011206