scala函数的定义

函数名后不跟=

这种情形下，不做返回类型推断，返回类型只能是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