Kotlin泛型能实现类型安全吗

是的，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 函数，编译器将报错，从而避免运行时类型错误。