Darren Yuen
0%

Kotlin泛型的上界和下界，与Any类型的区别

Posted on

Kotlin 的泛型和 Any 都是 Kotlin 语言中的重要概念，它们在处理类型和数据时有不同的用法和作用。下面详细说明它们的联系和区别：

联系

  1. 类型参数的上界： 每个 Kotlin 的泛型类型参数都有一个默认的上界，即 Any?。这意味着如果你没有指定泛型类型参数的上界，默认情况下它可以是任何类型，包括 null。

    1
    class Box<T>(val value: T)  // T 的默认上界是 Any?

  2. 兼容性： 泛型类型参数可以指定上界为 Any，这意味着它只能接受非空类型。

    1
    class Box<T : Any>(val value: T)  // T 的上界是 Any，所以 T 不能是 null

区别

  1. 基本概念：

  • 泛型（Generics）：提供了类型参数化能力，使得类和函数可以处理多个不同的类型，而不需要在定义时指定具体的类型。

    1
    class Box<T>(val value: T)  // T 是一个泛型类型参数

  • Any：Any 是所有非空类型的根类型，相当于 Java 的 Object。Any? 是所有类型（包括 null）的根类型。

  1. 类型安全和约束：
  • 泛型类型可以指定上界来约束它可以接受的类型。没有指定上界的泛型类型参数的上界默认是 Any?，即允许任何类型，包括 null。
1
class Box<T : Number>(val value: T)  // T 的上界是 Number，所以只能接受数字类型
  • Any 只能接受非空类型，如果需要允许空值，应该使用 Any?。
1
2
3
4
5
6
7
fun printValue(value: Any) {  // 只接受非空的任何值
	println(value)
}

fun printValue(value: Any?) {  // 可以接受任何值，包括 null
    println(value)
}
  1. 类型擦除： Kotlin 的泛型在运行时类型信息会被擦除，类型参数信息只在编译期间有效。而 Any 是具体的类型，不会被类型擦除。
1
2
3
4
5
6
7
fun <T> isString(value: T): Boolean {
   return value is String  // 会出现类型擦除的问题，此处 is String 仍然会编译通过但有警告
}
 
fun isString(value: Any): Boolean {
   return value is String  // 不会被类型擦除，运行时仍然有效
}
  1. 类型参数的使用： 泛型类型参数可以在类、接口和函数中使用，使得代码更加通用和灵活。
1
2
3
4
5
6
7
class Container<T>(val content: T) {
	fun getContent(): T = content
}

fun <T> createContainer(item: T): Container<T> {
	return Container(item)
}

总结来说，Kotlin 的泛型提供了类型参数化的能力，使代码更灵活和可重用，而 Any 是所有非空类型的根类型，提供了对象类型的基本功能。泛型在编译期间处理，而 Any 在运行时也有效，两者在处理类型时有不同的侧重点和用法。