写在开头:本人打算开始写一个Kotlin系列的教程,一是使自己记忆和理解的更加深刻,二是可以分享给同样想学习Kotlin的同学。系列文章的知识点会以《Kotlin实战》这本书中顺序编写,在将书中知识点展示出来同时,我也会添加对应的Java代码用于对比学习和更好的理解。
Kotlin教程(一)基础
Kotlin教程(二)函数
Kotlin教程(三)类、对象和接口
[Kotlin教程(四)Lambda]
[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 joinToString(
collection: Collection,
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 joinToString(
collection: Collection,
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中调用扩展函数和其他顶层函数一样,通过.kt文件生成Java类调用静态的扩展函数,把接收者对象传入第一个参数即可。例如上面提到的lastChar
扩展函数是定义在StringUtil.kt
中,在Java中就可以这样调用:
char c = StringUtilKt.lastChar("Java")
现在我们可以写一个joinToString
函数的终极版本了,它和你在Kotlin标准库中看到的一模一样:
@JvmOverloads
fun Collection.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中就是静态函数。
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
也可以指定泛型
,你可以尝试在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.to(that: B): Pair = 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 1
、list 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到数据库
}