当我们觉得一个类型过长导致书写不变时,我们可以声明一个新的更短的名称替代之,从而方便使用,这就是类型别名。
Java 不支持类型别名。
Kotlin 支持类型别名。
对集合类的类型别名
typealias List = ArrayList<ReadWriteProperty<User, String>>
typealias GenericList<R, T> = ArrayList<ReadWriteProperty<in R, T>>
对方法的类型别名
typealias MyHandler = (Int, String, Any) -> Unit
typealias Predicate<T> = (T) -> Boolean
对内部类的类型别名
class Outer {
inner class Inner
}
typealias In = Outer.Inner
实现原理
类型别名其实并没有引入新的类型,而是 Kotlin 编译器在底层完成了类型替换,某种程度上跟内联类相似。Kotlin 其实内置了一些类型别名,比如 Predicate<T>
,在我们在代码中使用 Predicate<T>
时编译器会在合适的时候将其替换成 (T) -> Boolean
:
typealias Predicate<T> = (T) -> Boolean
fun foo(p: Predicate<Int>) = p(42)
fun main() {
val f: (Int) -> Boolean = { it > 0 }
println(foo(f)) // prints "true"
val p: Predicate<Int> = { it > 0 }
println(listOf(1, -2).filter(p)) // prints "[1]"
}