StackOverflow 文件 Kotlin 教程 無安全性 無安全性 聰明的型別轉換 斷言 Nullable 和 Non Nullable 型別 消除 Iterable 和陣列中的空值 Null Coalescing Elvis Operator 安全呼叫運算子 貓王運算子（） 聰明的型別轉換