scal中的val和def [重复]

Question

这个问题已经在这里有了答案：

• 定义函数的“ def”和“ val”有什么区别 8回答

在Scala中，当我们喜欢时：

val fIncr: (x: int) => x+1

我的理解是，这里我们定义了一个函数文字。 Scala编译器会将其编译为扩展特性Function1的类，并在运行时对其进行实例化并将函数值分配给fIncr。

如果我将类似的函数定义为方法会发生什么：

def mIncr(x: Int) = x+1

这也是编译成类吗？

编辑：

scala> val double = (i: Int) => {
 |     println("I am here")
 |     i * 2
 |   }
 double: Int => Int = $$Lambda$1090/773348080@6ae9b2f0

 scala> double(4)
 I am here
 res22: Int = 8

 scala> val evenFunc: (Int => Boolean) = {
 |                   println("I am here");
 |                    (x => x % 2 == 0)
 |              }
 I am here
 evenFunc: Int => Boolean = $$Lambda$1091/373581540@a7c489a

 scala> double
 res23: Int => Int = $$Lambda$1090/773348080@6ae9b2f0

 scala> evenFunc
 res24: Int => Boolean = $$Lambda$1091/373581540@a7c489a

 scala> evenFunc(10)
 res25: Boolean = true

 scala> def incr(x:Int) = x+1
 incr: (x: Int)Int

 scala> incr
 <console>:13: error: missing argument list for method incr
 Unapplied methods are only converted to functions when a function type is 
 expected.
 You can make this conversion explicit by writing `incr _` or `incr(_)` 
  instead of `incr`.
   incr
   ^

double和evenFunc是函数变量，我们已经为它们分配了函数文字。但是如输出所示，当我们调用double时，还会执行println语句。但是evenFunc不会执行println语句，除非已定义。 incr是用关键字def定义的，因此其行为符合预期。

Answer 1

使用def进行操作时，

def mIncr(x: Int) = x+1

是Scala中的方法。 方法没有自己的身份。 它总是属于一个类。 但是当您使用val进行操作时，

val mIncr = (x: Int) => x + 1

它是Scala中的功能。 函数是Scala中的完整对象。 它有自己的身份。 函数是Scala中的值。 但是方法不是价值。

例如，如果您写下价值，它将为您提供信息。

scala> def mIncr(x: Int) = x + 1
mIncr: (x: Int)Int

scala> val x = 4
x: Int = 4

scala> x
res0: Int = 4

scala> val inc = (x: Int) => x + 1
inc: Int => Int = <function1>

scala> inc
res1: Int => Int = <function1>

scala> mIncr
<console>:9: error: missing arguments for method mIncr;
follow this method with `_' if you want to treat it as a partially applied function
              mIncr

请注意，当我编写mIncr时，编译器将引发错误，因为它不是值。 在Scala 2.12版之前但在2.12版发布之后，用于扩展FunctionN特性的函数值。 他们不创建匿名类。 在此处阅读有关功能可以像函数的参数一样传递。 您不能使用方法。 当您传递方法时，Scala编译器会在后台进行eta扩展。 Eta扩展意味着它将您的方法转换为函数值。