Kotlin

Kotlin函数

2021-04-02  本文已影响0人  漆先生

一、函数声明

函数使用 fun 关键字声明：

二、函数用法

1.参数

函数参数使用 Pascal 表示法定义，即 name: type。参数用逗号隔开。每个参数必须有显式类型。

2.默认参数

覆盖方法总是使用与基类型方法相同的默认参数值。当覆盖⼀个带有默认参数值的方法时，必须从签名中省略默认参数值：

open class A {
    open fun foo(i: Int = 10) { /*……*/
    }
}

class B : A() {
    override fun foo(i: Int) { // 不能有默认值
        /*……*/
    }
}

如果⼀个默认参数在⼀个无默认值的参数之前，那么只能通过使用具名参数调用该函数来使用。
在默认参数之后的最后⼀个参数是 lambda 表达式，那么它既可以作为具名参数在括号内传入，也可以在括号外传入：

fun foo(bar: Int = 0, baz: Int = 1, qux: () -> Unit) { /*……*/ }

foo(1) { println("hello") }     // 使⽤默认值 baz = 1
foo(qux = { println("hello") })     // 使⽤两个默认值 bar = 0 与 baz = 1
foo { println("hello") }            // 使⽤两个默认值 bar = 0 与 baz = 1

3.具名参数

调用函数时，指定参数的名称。在调用Java 函数时不能使用具名参数语法，因为 Java 字节码并不总是保留函数参数的名称。

4.返回 Unit 的函数

如果⼀个函数不返回任何有用的值，它的返回类型是 Unit 。Unit 是⼀种只有⼀个值—— Unit 的类型。这个值不需要显式返回。 return Unit 或者 return 是可选的，Unit修饰符也是可选的。

5.单表达式函数

当函数返回单个表达式时，可以省略花括号并且在 = 符号之后指定代码体即可。当返回值类型可由编译器推断时，显式声明返回类型是可选的：

fun double(x: Int) = x * 2

6.显式返回类型

具有块代码体的函数必须始终显式指定返回类型，除非他们旨在返回 Unit，在这种情况下它是可选的。Kotlin 不推断具有块代码体的函数的返回类型，因为这样的函数在代码体中可能有复杂的控制流，并且返回类型对于读者（有时甚至对于编译器）是不明显的。

7.可变数量的参数（Varargs）

函数的参数（通常是最后⼀个）可以用 vararg 修饰符标记。只有⼀个参数可以标注为 vararg 。
如果 vararg 参数不是列表中的最后⼀个参数，可以使⽤具名参数语法 传递其后的参数的值，或者，如果参数具有函数类型，则通过在括号外部传⼀个 lambda。
如果我们已经有 ⼀个数组并希望将其内容传给该函数，我们使⽤伸展（spread）操作符（在数组前⾯加 * ）：

fun <T> asList(vararg ts: T): List<T> {
    val result = ArrayList<T>()
    for (t in ts) // ts is an Array
        result.add(t)
    return result
}
val a = arrayOf(1, 2, 3)
val list:List<Number> = asList(-1, 0, *a, 4)

8.中缀表示法

标有 infix 关键字的函数也可以使用中缀表示法（忽略该调⽤的点与圆括号）调用。中缀函数必须满足以下要求：

infix fun Int.shl(x: Int): Int {
    return x + 1
}

fun main() {
    //用中缀表式法调用该函数
    1 shl 2
    //等同于这样
    1.shl(2)
}

中缀函数总是要求指定接收者与参数。当使用中缀表⽰法在当前接收者上调用方法时，需要显式使用this ；不能像常规方法调用那样省略。这是确保非模糊解析所必需的。

三、函数作用域
在 Kotlin 中函数可以在文件顶层声明，这意味着你不需要像⼀些语言如 Java、C# 或 Scala 那样需要创建⼀个类来保存⼀个函数。此外除了顶层函数，Kotlin 中函数也可以声明在局部作用域、作为成员函数以及扩展函数。

1.局部函数

Kotlin 支持局部函数，即⼀个函数在另⼀个函数内部，并且局部函数可以访问外部函数（即闭包）的局部变量：

fun dfs(graph: Graph) {
    val visited = HashSet<Vertex>()
    fun dfs(current: Vertex) {
        if (!visited.add(current))
            return
        for (v in current.neighbors)
            dfs(v)
    }
    dfs(graph.vertices[0])
}

2.成员函数

成员函数是在类或对象内部定义的函数：

四、尾递归函数

Kotlin ⽀持⼀种称为尾递归的函数式编程风格。这允许⼀些通常用循环写的算法改用递归函数来写，而无堆栈溢出的风险。当⼀个函数用tailrec 修饰符标记并满⾜所需的形式时，编译器会优化该递归，留下⼀个快速而高效的基于循环的版本：

val eps = 1E-10 // "good enough", could be 10^-15
tailrec fun findFixPoint(x: Double = 1.0): Double =
    if (Math.abs(x - Math.cos(x)) < eps) x else findFixPoint(Math.cos(x))

//
private fun findFixPoint(): Double {
    var x = 1.0
    while (true) {
        val y = Math.cos(x)
        if (Math.abs(x - y) < eps) return x
        x = Math.cos(x)
    }
}

要符合 tailrec 修饰符的条件的话，函数必须将其⾃⾝调⽤作为它执⾏的最后⼀个操作。在递归调⽤后有更 多代码时，不能使⽤尾递归，并且不能⽤在 try/catch/Mnally 块中。⽬前在 Kotlin for JVM 与 Kotlin/Native 中⽀ 持尾递归

上一篇下一篇

猜你喜欢

热点阅读