函数名后不跟=
这种情形下,不做返回类型推断,返回类型只能是Unit,例如:
def testRet {
println("just a test")
1
}
虽然最后出现表达式1,但并不意味着返回类型是Int,从字节码可以看出:
public void testRet();
descriptor: ()V
flags: ACC_PUBLIC
Code:
stack=2, locals=1, args_size=1
0: getstatic #21 // Field scala/Predef$.MODULE$:Lscala/Predef$;
3: ldc #23 // String just a test
5: invokevirtual #27 // Method scala/Predef$.println:(Ljava/lang/Object;)V
8: iconst_1
9: pop
10: return
testRet就是一个void函数。
函数名后跟=
这种情形会有返回类型的推断,可以不写返回类型,例如
def f = 1
会被推断为:
f: Int
比较自然,似乎也没啥可说,不过要注意两种复杂的写法。
一是函数curry化,比如:
def sum(x:Int)(y:Int, z:Int) = x+y+z
会推断为:
sum: (x: Int)(y: Int, z: Int)Int
返回类型是Int。
二是函数返回函数,比如:
def sum1(x:Int) = (y:Int, z:Int) => x+y+z
推断为:
sum1: (x: Int)(Int, Int) => Int
返回类型是(Int, Int) => Int。
函数返回函数还有一种变体,像这样:
def sum1(x:Int) = {(y:Int, z:Int) => x+y+z}
原因是,当scala的函数体只有一行时,大括号可写可不写。
两种写法的调用方式是一样的,就像这样:
sum(1)(2,3)
sum1(1)(2,3)
但实现上则绝不相同,观察字节码可发现,curry化的写法会翻译为:
public int sum(int,int,int)
相当于没做任何curry化的普通函数。
第二种写法则翻译成:
public scala.Function2 sum1(int)
确实返回的是一个Function实例。
无参函数的括号问题
无参函数有两种写法:
def f = 1
def g() = 1
两种写法有所区别,第一种写法的类型是:
f: Int
注意,这不是一个函数类型,而是Int型!也就是说f变成了一个变量。既然是变量,就不能用带括号的调用方法,我们写f()就会报错:
Int does not take parameters
第二种写法的类型是:
g: ()Int
这才是一个真正的函数类型,返回类型为Int,参数列表为空。所以我们可以用带括号的调用方法:
g()
当然,也可以省掉括号来调用:
g