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

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值