是的，Kotlin 泛型可以實現類型安全。泛型是 Kotlin 中的一種編程特性，它允許你在編譯時定義和檢查類型參數化的類、接口和方法。這有助于確保類型安全，因為它在編譯時捕獲了許多類型錯誤，而不是在運行時。
以下是一個簡單的 Kotlin 泛型示例，說明了如何使用泛型實現類型安全：
fun <T> printList(list: List<T>) {
for (item in list) {
println(item)
}
}
fun main() {
val intList = listOf(1, 2, 3, 4, 5)
val stringList = listOf("Hello", "World", "Kotlin")
printList(intList) // 輸出: 1, 2, 3, 4, 5
printList(stringList) // 輸出: Hello, World, Kotlin
}
在這個例子中，我們定義了一個名為 printList 的泛型函數，它接受一個類型為 List<T> 的參數。這意味著 T 可以是任何類型，但是在調用函數時，我們必須指定具體的類型。這樣，我們就可以確保類型安全，因為編譯器會在編譯時檢查類型參數是否正確。
當我們調用 printList 函數時，我們分別為 intList 和 stringList 指定了 Int 和 String 類型。編譯器會根據這些類型信息生成相應的代碼，從而確保類型安全。如果在運行時嘗試將錯誤的類型傳遞給 printList 函數，編譯器將報錯，從而避免運行時類型錯誤。
