Kotlin教程(二)函数

4,658 阅读9分钟

写在开头:本人打算开始写一个Kotlin系列的教程,一是使自己记忆和理解的更加深刻,二是可以分享给同样想学习Kotlin的同学。系列文章的知识点会以《Kotlin实战》这本书中顺序编写,在将书中知识点展示出来同时,我也会添加对应的Java代码用于对比学习和更好的理解。

Kotlin教程(一)基础
Kotlin教程(二)函数
Kotlin教程(三)类、对象和接口
Kotlin教程(四)可空性
Kotlin教程(五)类型
Kotlin教程(六)Lambda编程
Kotlin教程(七)运算符重载及其他约定
Kotlin教程(八)高阶函数
Kotlin教程(九)泛型


在Kotlin中创建集合

上一章我们已经使用setOf 函数创建一个set了。同样的,我们也可以用类似的方法创建一个list或者map:

val set = setOf(1, 2, 3)
val list = listOf(1, 2, 3)
val map = mapOf(1 to "one", 2 to "two")

to 并不是一个特殊的结构,而是一个普通函数,在后面会继续探讨它。 有没有想过这里创建出来的set、list、map到底是什么类型的那?可以通过.javaClass 属性获取类型,相当于Java中的getClass() 方法:

println(set.javaClass)
println(list.javaClass)
println(map.javaClass)

//输出
class java.util.LinkedHashSet
class java.util.Arrays$ArrayList
class java.util.LinkedHashMap

可以看到都是标准的Java集合类,Kotlin没有自己专门的集合类,是为了更容易与Java代码交互,当从Kotlin中调用Java函数的时候,不用转换它的集合类来匹配Java的类,反之亦然。 尽管Kotlin的集合类和Java的集合类完全一致,但Kotlin还不止于此。举个例子,可以通过以下方法来获取一个列表中最后一个元素,或者得到一个数字列表的最大值:

val strings = listOf("first", "second", "fourteenth")
println(strings.last())
val numbers = setOf(1, 14, 2)
println(numbers.max())

//输出
fourteenth
14

或许你应该知道last()max() 在Java的集合类中并不存在,这应该是Kotlin自己扩展的方法,可以你要知道上面我们打印出来的类型明确是Java中的集合类,但在这里调用方法的对象就是这些集合类,又是怎么做到让一个Java中的类调用它本身没有的方法那?在后面我们讲到扩展函数的时候你就会知道了!

让函数更好调用

现在我们知道了如何创建一个集合,接下来让我们打印它的内容。Java的集合都有一个默认的toString 实现,但它的何世华的输出是固定的,而且往往不是你需要的样子:

val list = listOf(1, 2, 3)
println(list) //触发toString的调用

//输出
[1, 2, 3]

假设你需要用分号来分隔每一个元素,然后用括号括起来,而不是采用默认实现。要解决这个问题,Java项目会使用第三方库,比如Guava和Apache Commons,或者是在这个项目中重写打印函数。在Kotlin中,它的标准库中有一个专门的函数来处理这种情况。 但是这里我们先不借助Kotlin的工具,而是自己写实现函数:

fun <T> joinToString(
        collection: Collection<T>,
        separator: String,
        prefix: String,
        postfix: String
): String {
    val result = StringBuilder(prefix)
    for ((index, element) in collection.withIndex()) {
        if (index > 0) result.append(separator) //不用再第一个元素前添加分隔符
        result.append(element)
    }
    result.append(postfix)
    return result.toString()
}

这个函数是泛型,它可以支持元素为任意类型的集合。让我们来验证一下,这个函数是否可行:

val list = listOf(1, 2, 3)
println(joinToString(list, ";", "(", ")"))

//输出
(1;2;3)

看来是可行的,接下来我们要考虑的是如何修改让这个函数的调用更加简洁呢?毕竟每次调用都要传入四个参数也是挺麻烦的。

命名参数

我们关注的第一个问题就是函数的可读性。就以joinToString 来看:

joinToString(list, "", "", "")

你能看得出这些String都对应什么参数吗?可能必须要借助IDE工具或者查看函数说明或者函数本身才能知道这些参数的含义。 在Kotlin中,可以做的更优雅:

println(joinToString(list, separator = "", prefix = "", postfix = ""))

当你调用一个Kotlin定义的函数时,可以显示得标明一些参数的名称。如果在调用一个函数时,指明了一个参数的名称,为了避免混淆,那它之后的所有参数都需要标明名称。

ps: 当你在Kotlin中调用Java定义的函数时,不能采用命名参数。因为把参数名称存到 .class文件是Java8以及更高版本的一个可选功能,而Kotlin需要保持和Java6的兼容性。

可能到这里你只是觉得命名参数让函数便于理解,但是调用变得复杂了,我还得多写参数的名称!别急,与下面说的默认参数相结合时,你就知道命名参数的好了。

默认参数值

Java的另一个普遍存在问题是:一些类的重载函数实在太多了。这些重载大多是为了向后兼容,方便API的使用者,最终导致的结果是重复。 在Kotlin中,可以在声明函数的时候,指定参数的默认值,这样可以避免创建重载的函数。让我们尝试改进一下前面的joinToString 函数。在大多数情况下,我们可能只会改变分隔符或者改变前后缀,所以我们把这些设置为默认值:

fun <T> joinToString(
        collection: Collection<T>,
        separator: String = ",",
        prefix: String = "",
        postfix: String = ""
): String {
    val result = StringBuilder(prefix)
    for ((index, element) in collection.withIndex()) {
        if (index > 0) result.append(separator) //不用再第一个元素前添加分隔符
        result.append(element)
    }
    result.append(postfix)
    return result.toString()
}

现在在调用一下这个函数,可以省略掉有默认值的参数,效果就像在Java中声明的重载函数一样。

println(joinToString(list))
println(joinToString(list, ";"))

//输出
1,2,3
1;2;3

当你使用常规的调用语法时,必须按照函数申明中定义的参数顺序来给定参数,可以省略的只有排在末尾的参数。如果使用命名参数,可以省略中的一些参数,也可以以你想要的任意 顺序只给定你需要的参数:

//打乱了参数顺序,并且separator参数使用了默认值
println(joinToString(prefix = "{", collection = list, postfix = "}"))

//输出
{1,2,3}

注意,参数的默认值是被编译到被调用的函数中,而不是调用的地方。如果你改变了参数默认值并重新编译这个函数,没有给参数重新赋值的调用者,将会开始使用新的默认值。

Java没有参数默认值的概念,当你从Java中调用Kotlin函数的时候,必须显示得指定所有参数值。如果需要从Java代码中调用也能更简便,可以使用@JvmOverloads注解函数。这个指示编译器生成Java的重载函数,从最后一个开始省略每个函数。例如joinToString函数,编译器就会生成如下重载函数: public static final String joinToString(@NotNull Collection collection, @NotNull String separator, @NotNull String prefix) public static final String joinToString(@NotNull Collection collection, @NotNull String separator) public static final String joinToString(@NotNull Collection collection) 因此,当你项目同时存在Java和Kotlin时,对有默认参数值的函数习惯性地加上@JvmOverloads注解是个不错的做法。

消除静态工具类:顶层函数和属性

Java作为一门面对对象的语言,需要所有的代码都写作类的函数。但实际上项目中总有一些函数不属于任何一个类,最终产生了一些类不包含任何状态或者实例函数,仅仅是作为一堆静态函数的容器。在JDK中,最明显的例子应该就是Collections了,还有你的项目中是不是有很多以Util作为后缀的类? 在Kotlin中,根本不需要去创建这些无意义的类,你可以把这些函数直接放到代码文件的顶层,不用从属于任何类。事实上joinToString函数之前就是直接定义在Join.kt 文件。

package com.huburt.imagepicker

@JvmOverloads
fun <T> joinToString(...): String {...}

这会怎样运行呢?当编译这个文件的时候,会生成一些类,因为JVM只能执行类中的代码。当你在使用Kotlin的时候,知道这些就够了。但是如果你需要从Java中来调用这些函数,你就必须理解它将怎样被编译,来看下编译后的类是怎样的:

package com.huburt.imagepicker

public class JoinKt {
	public static String joinToString(...){...}
}

可以看到Kotlin编译生成的类的名称,对应于包含函数的文件名称,这个文件中的所有顶层函数编译为这个类的静态函数。因此,当从Java调用这个函数的时候,和调用任何其他静态函数一样简单:

import com.huburt.imagepicker.JoinKt

JoinKt.joinToString(...)

修改文件类名

是不是觉得Kt结尾的类使用起来很别扭,Kotlin提供了方法改变生成类的类名,只需要为这个kt文件添加@JvmName的注解,将其放到这个文件的开头,位于包名的前面:

@file:JvmName("Join") //指定类名
package com.huburt.imagepicker

@JvmOverloads
fun <T> joinToString(...): String {...}

现在就可以用新的类名调用这个函数:

import com.huburt.imagepicker.Join

Join.joinToString(...)

顶层属性

和函数一样,属性也可以放到文件的顶层。从Java的角度来看就是静态属性,没啥特别的,而且由于没有了类的存在,这种属性用到的机会也不多。 需要注意的是顶层函数和其他任意属性一样,默认是通过访问器暴露给Java使用的(也就是通过getter和setter方法)。为了方便使用,如果你想要把一个常量以public static final 的属性暴露给Java,可以用const 来修饰属性:

const val TAG = "tag"

这样就等同与Java的:

public static final String TAG = "tag"

给别人的类添加方法:扩展函数和属性

Kotlin的一大特色就是可以平滑的与现有代码集成。你可以完全在原有的Java代码基础上开始使用Kotlin。对于原有的Java代码可以不修改源码的情况下扩展功能:扩展函数。这一点是我认为Kotlin最强大的地方了。 扩展函数非常简单,它就是一个类的成员函数,不过定义在类的外面。为了方便阐述,让我们添加一个方法,来计算一个字符串的最后一个字符:

package strings

	//String ->接收者类型               //this ->接收者类型
fun String.lastChar(): Char = this.get(this.length - 1)

你所要做的,就是把你要扩展的类或者接口的名称,放到即将添加的函数前面,这个类的名称被称为接收者类型;用来调用这个扩展函数的那个对象,叫做接收者对象。 接着就可以像调用类的普通成员函数一样去调用这个函数了:

println("Kotlin".lastChar())
//输出
n

在这个例子中,String就是接收者类型,而“Kotlin”就是接收者对象。 在这个扩展函数中,可以像其他成员函数一样用this,也可以像普通函数一样省略它:

package strings

fun String.lastChar(): Char = get(length - 1) //省略this调用string对象其他函数

导入扩展函数

对于你定义的扩展函数,它不会自动的在整个项目范围内生效。如果你需要使用它,需要进行导入,导入单个函数与导入类的语法相同:

import strings.lastChar

val c = "Kotlin".lastChar()

当然也可以用*表示文件下所有内容:import strings.*

另外还可以使用as 关键字来修改导入的类或则函数的名称:

import strings.lastChar as last

val c = "Kotlin".last()

在导入的时候重命名可以解决函数名重复的问题。

从Java中调用扩展函数

实际上,扩展函数是静态函数,它把调用对象作为函数的第一个参数。在Java中调用扩展函数和其他顶层函数一样,通过.kt文件生成Java类调用静态的扩展函数,把接收者对象传入第一个参数即可。例如上面提到的lastChar扩展函数是定义在StringUtil.kt中,在Java中就可以这样调用:

char c = StringUtilKt.lastChar("Java")

作为扩展函数的工具函数

现在我们可以写一个joinToString 函数的终极版本了,它和你在Kotlin标准库中看到的一模一样:

@JvmOverloads
fun <T> Collection<T>.joinToString(
        separator: String = ",",
        prefix: String = "",
        postfix: String = ""
): String {
    val result = StringBuilder(prefix)
    for ((index, element) in this.withIndex()) { //this是接收者对象,即T的集合
        if (index > 0) result.append(separator)
        result.append(element)
    }
    result.append(postfix)
    return result.toString()
}

//使用
println(list.joinToString())
println(list.joinToString(";"))
println(list.joinToString(prefix = "{", postfix = "}"))

将原来的参数Collection,提出来,作为接收者类型编写的扩展函数,使用方法也像是Collection类的成员函数一样了(当然Java调用还是静态方法,第一个参数传入Collection对象)。

不可重写的扩展函数

先来看一个重写的例子:

//Kotlin中class默认是final的,如果需要继承需要修饰open,函数也相同
open class View {
    open fun click() = println("View clicked")
}

class Button : View() { //继承
    override fun click() = println("Button clicked")
}

当你声明了类型为View的变量,那它可以被赋值为Button类型的对象,因为Button是View的一个子类。当你在调用这个变量的一般函数,比如click的时候,如果Button复写了这个函数,name这里将会调用到Button中复写的函数:

val view: View = Button()
view.click()

//输出
Button clicked

但是对于扩展函数来说,并不是这样的。扩展函数并不是类的一部分,它是声明在类之外的。尽管可以给基类和子类都分别定义一个同名的扩展函数,当这个函数被调用时,它会用到哪一个呢?这里,它是由该变量的静态类型所决定的,而不是这个变量的运行时类型。

fun View.showOff() = println("i'm a view!")

fun Button.showOff() = println("i'm a button!")

val view: View = Button()
view.click()

//输出
i'm a view!

当你在调用一个类型为View的变量的showOff函数时,对应的扩展函数会被调用,尽管实际上这个变量现在是一个Button对象。回想一下,扩展函数会在Java中编译为静态函数,同时接受值将会作为第一个参数。这样其实2个showOff扩展函数就是不同参数的静态函数,

View view = new Button();
XxKt.showOff(view);  //定义在Xx.kt文件中

参数的类型决定了调用那个静态函数,想要调用Button的扩展函数,则必须先将参数转成Button类型才行:XxKt.showOff((Button)view);

因此,扩展函数也是有局限性的,扩展函数是能扩展,即定义新的函数,而不能重写改变原有函数的实现(本质是一个静态函数)。如果定了一个类中本身存在成员函数同名的扩展函数,Kotlin种调用该方法的时候会如何呢?(Java中没有这个顾虑,调用方式不同)

open class View {
    open fun click() = println("View clicked")
}

fun View.click() = println("扩展函数")

val view = View()
view.click()

//输出
View clicked

明显了吧~ 对于有同名成员函数和扩展函数时,在Kotlin中调用始终执行成员函数的代码,扩展函数并不起作用,相当于没有定义。这一点在实际开发中需要特别注意了!

扩展属性

扩展属性提供了一种方法,用于扩展类的API,可以用来访问属性,用的是属性语法而不是函数的语法。尽管他们被称为属性,但它们可以没有任何状态,因为没有合适的地方来存储它,不可能给现有的Java对象的实例添加额外的字段。举个例子吧:

val String.lastChar: Char
    get() = get(length - 1)

同样是获取字符串的最后一个字符,这次是用扩展属性的方式定义。扩展属性也像接收者的一个普通成员属性一样,这里必须定义getter函数,因为没有支持字段,因此没有默认的getter的实现。同理,初始化也不可以:因为没有地方存储初始值。 刚刚定义是一个val的扩展属性,也可以定义var属性:

var StringBuilder.lastChar: Char
    get() = get(length - 1)
    set(value) {
        setCharAt(length - 1, value)
    }

还记得上一篇文章的自定义访问器的内容吗?这里的定义方式与自定义访问器一致,val 属性不可变,因此只需要定义getter,而var 属性可变,所以getter和setter都需要。 可能不是很好理解扩展属性,或者会和真正的属性混淆,下面列出了扩展属性转换成Java的代码,你就会比较直观的理解了。

   public static final char getLastChar(@NotNull String $receiver) {
      return $receiver.charAt($receiver.length() - 1);
   }

   public static final char getLastChar(@NotNull StringBuilder $receiver) {
      return $receiver.charAt($receiver.length() - 1);
   }

   public static final void setLastChar(@NotNull StringBuilder $receiver, char value) {
      $receiver.setCharAt($receiver.length() - 1, value);
   }

和扩展函数是相同的,仅仅是静态函数:提供获取lastChar的功能,这样的定义方式可以在Kotlin中像使用普通属性的调用方式来使用扩展属性,给你一种这是属性的感觉,但本质上在Java中就是静态函数。

处理集合:可变参数、中缀调用和库的支持

扩展Java集合的API

val strings = listOf("first", "second", "fourteenth")
println(strings.last())
val numbers = setOf(1, 14, 2)
println(numbers.max())

还记的之前我们使用上面的方式获取了list的最后一个元素,以及set中的最大值。到这里你可能已经知道了,last()max() 都是扩展函数,自己点进方法验证一下吧!

可变参数

如果你也看了listOf 函数的定义,你一定看到了这个:

public fun <T> listOf(vararg elements: T): List<T>

也就是vararg 关键字,这让函数支持任意个数的参数。在Java中同样的可变参数是在类型后面跟上... ,上面的方法在Java则是:

public <T> List<T> listOf(T... elements)

但是Kotlin的可变参数相较于Java还是有点区别:当需要传递的参数已经包装在数组中时,调用该函数的语法,在Java中可以按原样传递数组,而Kotlin则要求你显示地解包数组,以便每个数组元素在函数中能作为单独的参数来调用。从技术的角度来讲,这个功能被称为展开运算符,而使用的时候,不过是在对应的参数前面放一个*

val array = arrayOf("a", "b")
val list = listOf("c", array)
println(list)
val list2 = listOf<String>("c", *array)
println(list2)

//输出
[c, [Ljava.lang.String;@5305068a]
[c, a, b]

通过对照可以看到,如果不加* ,其实是把数组对象当做了集合的元素。加上* 才是将数组中所有元素添加到集合中。listOf 也可以指定泛型<String> ,你可以尝试在listOf("c", array) 这里加泛型,第二个参数array就会提示类型不正确。

Java中没有展开,我们也可以调用Kotlin的listOf函数,该函数声明在Collections.kt文件下:

List<String> strings = CollectionsKt.listOf(array);
System.out.println(strings);
//List<String> strings = CollectionsKt.listOf("c", array);//无法编译

//输出
[a, b]

Java中可以直接传入数组,但是不能同时传入单个元素和数组。

键值对的处理:中缀调用和解构声明

还记得创建map的方式吗?

val map = mapOf(1 to "one", 7 to "seven", 52 to "fifty-five")

之前说过to 并不是一个内置的结构,而是一种特殊的函数调用,被称为中缀调用。 在中缀调用中,没有添加额外的分隔符,函数名称是直接放在目标对象名称和参数之间的,以下两种调用方式是等价的:

1.to("one")//普通调用
1 to "one" //中缀调用

中缀调用可以与只有一个参数的函数一起使用,换句话说就是只要函数只有一个参数,都可以支持在Kotlin中的中缀调用,无论是普通的函数还是扩展函数。要允许使用中缀符号调用函数,需要使用infix 修饰符来标记它。例如to 函数的声明:

public infix fun <A, B> A.to(that: B): Pair<A, B> = Pair(this, that)

to函数会返回一个Pair类型的对象,Pair是Kotlin标准库中的类,它是用来表示一对元素。我们也可以直接用Pair的内容来初始化两个变量:

val (number, name) = 1 to "one"

这个功能称之为解构声明,1 to "one" 会返回一个Pair对象,Pair包含一对元素,也就是1和one,接着又定义了变量(number, name) 分别指向Pair中的1和one。 解构声明特征不止用于Pair。还可以使用map的key和value内容来初始化两个变量。并且还适用于循环,正如你在使用的withIndex 函数的joinToString 实现中看到的:

for ((index, element) in collection.withIndex()) {
    println("$index, $element")
}

to 函数是一个扩展函数,可以创建一对任何元素,这意味着它是泛型接受者的扩展:可以使用1 to "one""one" to 1list to list.size()等写法。我们来看看mapOf 函数的声明:

public fun <K, V> mapOf(vararg pairs: Pair<K, V>): Map<K, V>

listOf 一样,mapOf 接受可变数量的参数,但这次他们应该是键值对。尽管在Kotlin中创建map可能看起来像特殊的解构,而它不过是一个具有简明语法的常规函数。

字符串和正则表达式的处理

Kotlin定义了一系列扩展函数,使标准Java字符串使用起来更加方便。

分割字符串

Java中我们会使用String的split方法分割字符串。但有时候会产生一些意外的情况,例如当我们这样写"12.345-6.A".split(".") 的时候,我们期待的结果是得到一个[12, 345-6, A]数组。但是Java的split方法竟然返回一个空数组!这是应为它将一个正则表达式作为参数,并根据表达式将字符串分割成多个字符串。这里的点(.)是表示任何字符的正则表达式。 在Kotlin中不会出现这种令人费解的情况,因为正则表达式需要一个Regex类型承载,而不是String。这样确保了字符串不会被当做正则表达式。

println("12.345-6.A".split("\\.|-".toRegex())) //显示地创建一个正则表达式
//输出
[12, 345, 6, A ]

这里正则表达式语法与Java的完全相同,我们匹配一个点(对它转义表示我们指的时字面量)或者破折号。 对于一些简单的情况,就不需要正则表达式了,Kotlin中的spilt扩展函数的其他重载支持任意数量的纯文本字符串分隔符:

println("12.345-6.A".split(".", "-")) //指定多个分隔符

等同于上面正则的分割。

正则表达式和三重引号的字符串

现在有这样一个需求:解析文件的完整路径名称/Users/hubert/kotlin/chapter.adoc 到对应的组件:目录、文件名、扩展名。Kotlin标准库中包含了一些可以用来获取在给定分隔符第一次(或最后一次)出现之前(或之后)的子字符串的函数。

 val path = "/Users/hubert/kotlin/chapter.adoc"
val directory = path.substringBeforeLast("/")
val fullName = path.substringAfterLast("/")
val fileName = fullName.substringBeforeLast(".")
val extension = fullName.substringAfterLast(".")
println("Dir: $directory, name: $fileName, ext: $extension")

//输出
Dir: /Users/hubert/kotlin, name: chapter, ext: adoc

解析字符串在Kotlin中变得更加容易,但如果你仍然想使用正则表达式,也是没有问题的:

val regex = """(.+)/(.+)\.(.+)""".toRegex()
val matchResult = regex.matchEntire(path)
if (matchResult != null) {
    val (directory, fileName, extension) = matchResult.destructured
    println("Dir: $directory, name: $fileName, ext: $extension")
}

这里正则表达式写在一个三重引号的字符串中。在这样的字符串中,不需要对任何字符进行转义,包括反斜线,所以可以用\. 而不是\\. 来表示点,正如写一个普通字符串的字面值。在这个正则表达式中:第一段(.+) 表示目录,/ 表示最后一个斜线,第二段(.+) 表示文件名,\. 表示最后一个点,第三段(.+) 表示扩展名。

多行三重引号的字符串

三重引号字符串的目的,不仅在于避免转义字符,而且使它可以包含任何字符,包括换行符。它提供了一种更简单的方法,从而可以简单的把包含换行符的文本嵌入到程序中:

val kotlinLogo = """|//
        .|//
        .|/ \
    """.trimMargin(".")
print(kotlinLogo)

//输出
|//
|//
|/ \

多行字符串包含三重引号之间的所有字符,包括用于格式化代码的缩进。如果要更好的表示这样的字符串,可以去掉缩进(左边距)。为此,可以向字符串内容添加前缀,标记边距的结尾,然后调用trimMargin 来删除每行中的前缀和前面的空格。在这个例子中使用了. 来作为前缀。

让你的代码更整洁:局部函数和扩展

许多开发人员认为,好代码的重要标准之一就是减少重复代码。Kotlin提供了局部函数来解决常见的代码重复问题。下面的例子中是在将user的信息保存到数据库前,对数据进行校验的代码:

class User(val id: Int, val name: String, val address: String)

fun saveUser(user: User) {
    if (user.name.isEmpty()) {
        throw IllegalArgumentException("Can't save user ${user.id}:empty Name")
    }
    if (user.address.isEmpty()) {
        throw IllegalArgumentException("Can't save user ${user.id}:empty Name")
    }
    //保存user到数据库
}

分别对每个属性校验的代码就是重复的代码,特别当属性多的时候就重复的更多。这种时候将验证的代码放到局部函数中,可以摆脱重复同时保持清晰的代码结构。局部函数,顾名思义就是定义在函数中的函数。我们使用局部函数来改造上面这个例子:

class User(val id: Int, val name: String, val address: String)

fun saveUser(user: User) {
    //声明一个局部函数
    fun validate(value: String, fieldName: String) {
        if (value.isEmpty()) {
            //局部函数可以直接访问外部函数的参数:user
            throw IllegalArgumentException("Can't save user ${user.id}:empty $fieldName")
        }
    }
    validate(user.name,"Name")
    validate(user.address,"Address")
    //保存user到数据库
}

我们还可以继续改进,将逻辑提取到扩展函数中:

class User(val id: Int, val name: String, val address: String)

fun User.validateBeforeSave() {
    fun validate(value: String, fieldName: String) {
        if (value.isEmpty()) {
            throw IllegalArgumentException("Can't save user $id:empty $fieldName")
        }
    }
    validate(name, "Name")//扩展函数直接访问接收者对象user的属性
    validate(address, "Address")
}

fun saveUser(user: User) {
    user.validateBeforeSave()
    //保存user到数据库
}