对比Java学Kotlin类型别名

Posted 2022-12-23 陈蒙_

当我们觉得一个类型过长导致书写不变时，我们可以声明一个新的更短的名称替代之，从而方便使用，这就是类型别名。

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]"