scala函数的定义

来源:互联网 发布:sql sever外键约束 编辑:程序博客网 时间:2024/05/17 02:50

函数名后不跟=

这种情形下,不做返回类型推断,返回类型只能是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 = 1def g() = 1

两种写法有所区别,第一种写法的类型是:
f: Int
注意,这不是一个函数类型,而是Int型!也就是说f变成了一个变量。既然是变量,就不能用带括号的调用方法,我们写f()就会报错:
Int does not take parameters

第二种写法的类型是:
g: ()Int
这才是一个真正的函数类型,返回类型为Int,参数列表为空。所以我们可以用带括号的调用方法:
g()
当然,也可以省掉括号来调用:
g

原创粉丝点击