StackOverflow 文件 Kotlin 教程 輸入別名 輸入別名 Created: November-22, 2018 型別別名是編譯器的一個特性。在生成的 JVM 程式碼中沒有新增任何內容。所有別名都將被真實型別替換。 功能型別