Kotlin 中的非空類型（Non-null types）是一種確保變量不會為 null 的類型系統特性。盡管 Kotlin 提供了強大的非空類型支持，但在使用過程中仍然可能會遇到一些問題。以下是一些常見問題及其解決方法：
不正確的空值檢查： 在使用非空類型時，開發者可能會錯誤地認為只要進行了空值檢查就可以避免空指針異常。然而，如果檢查的方式不正確，仍然可能引發空指針異常。例如：
val nonNullString: String = "Hello"
if (nonNullString == null) {
println("This will never be printed")
} else {
println(nonNullString.length) // 這里不會拋出 NullPointerException
}
在這個例子中，nonNullString 永遠不會為 null，因此 if (nonNullString == null) 這個檢查是多余的。正確的做法是直接使用非空類型，并避免進行不必要的空值檢查。
隱式轉換導致的空指針異常： 在 Kotlin 中，非空類型之間的隱式轉換可能會導致空指針異常。例如：
val nullableInt: Int? = 10
val nonNullInt: Int = nullableInt // 這里會發生隱式轉換，如果 nullableInt 為 null，將拋出 NullPointerException
為了避免這種情況，可以使用 ?. 操作符來安全地訪問可能為 null 的屬性或方法，或者使用 !! 操作符來顯式地進行非空斷言。然而，!! 操作符應該謹慎使用，因為它會在運行時拋出空指針異常。
不兼容的函數參數類型： 當將一個非空類型的函數參數傳遞給另一個函數時，如果傳遞的參數為 null，將會導致編譯錯誤。例如：
fun printLength(str: String) {
println(str.length)
}
val nullableString: String? = "Hello"
printLength(nullableString) // 這里會編譯錯誤，因為 nullableString 可能為 null
為了解決這個問題，可以在調用函數之前對參數進行非空檢查，或者將函數參數聲明為非空類型。
不正確的空值推斷： Kotlin 編譯器會根據上下文推斷變量的空值。然而，在某些情況下，編譯器的推斷可能不正確，導致空指針異常。例如：
val nullableList: List<String>? = listOf("Hello")
val nonEmptyList: List<String> = nullableList ?: emptyList() // 這里不會拋出 NullPointerException
在這個例子中，nullableList 可能為 null，因此使用 ?. 操作符和空值合并運算符 ?: 是安全的。然而，如果編譯器沒有正確推斷出 nullableList 的空值，可能會導致意外的行為。
總之，雖然 Kotlin 的非空類型提供了強大的空值安全保障，但在使用時仍然需要注意避免上述常見問題。通過正確使用非空類型、安全地訪問可能為 null 的屬性或方法，以及謹慎使用空值斷言和非空類型轉換，可以有效地減少空指針異常的風險。
