类型别名为现有类型提供替代名称。 如果类型名称太长,你可以另外引入较短的名称,并使用新的名称替代原类型名。

    它有助于缩短较长的泛型类型。 例如,通常缩减集合类型是很有吸引力的:

    1. typealias NodeSet = Set<Network.Node>
    2. typealias FileTable<K> = MutableMap<K, MutableList<File>>

    你可以为函数类型提供另外的别名:

    1. typealias MyHandler = (Int, String, Any) -> Unit
    2. typealias Predicate<T> = (T) -> Boolean

    你可以为内部类和嵌套类创建新名称:

    1. class A {
    2. inner class Inner
    3. }
    4. class B {
    5. inner class Inner
    6. }
    7. typealias AInner = A.Inner
    8. typealias BInner = B.Inner

    类型别名不会引入新类型。 它们等效于相应的底层类型。 当你在代码中添加 typealias Predicate 并使用 Predicate 时,Kotlin 编译器总是把它扩展为 (Int) -> Boolean。 因此,当你需要泛型函数类型时,你可以传递该类型的变量,反之亦然:

    1. typealias Predicate<T> = (T) -> Boolean
    2. typealias Assert<T> = (T) -> Boolean
    3. fun foo(p: Assert<Int>):Boolean = p(42)
    4. fun main() {
    5. val f: Assert<Int> = { it > 0 }
    6. println(foo(f)) // 输出 "true"
    7. println(listOf(-1, 0, 1, 2, 3, 4).filter(f)) // 输出 [1, 2, 3, 4]
    8. }