Kotlin泛型的概念及使用
泛型概念
在Kotlin中，泛型（Generics）是一种允许在类、接口和方法中使用类型参数的技术。这些类型参数在实例化类、实现接口或调用方法时会被具体的类型所替代。泛型的主要目的是提高代码的复用性、类型安全性和可读性。
泛型使用
- 泛型类
定义一个泛型类，可以在类名后面加上尖括号< >，并在其中声明类型参数。
|---|----------------------------------------|
| | class Box<T>(val item: T) { |
| | fun getContent(): T { |
| | return item |
| | } |
| | } |
| | |
| | // 使用时指定类型参数 |
| | val intBox = Box<Int>(10) |
| | val stringBox = Box<String>("Hello") |
- 泛型函数
函数也可以有类型参数。
|---|-----------------------------------------|
| | fun <T> printItems(items: List<T>) { |
| | for (item in items) { |
| | print(item) |
| | print(", ") |
| | } |
| | println() |
| | } |
| | |
| | // 使用时，Kotlin会自动推断T的类型 |
| | printItems(listOf(1, 2, 3)) |
| | printItems(listOf("a", "b", "c")) |
- 泛型接口
与泛型类和泛型函数类似，接口也可以有类型参数。
|---|-------------------------------------------------|
| | interface Listener<T> { |
| | fun onItemClicked(item: T) |
| | } |
| | |
| | // 实现泛型接口 |
| | class ButtonClickListener<T> : Listener<T> { |
| | override fun onItemClicked(item: T) { |
| | // 处理点击事件 |
| | } |
| | } |
协变（Covariance）
协变是指在一个泛型类型中，如果类型参数是某个类的子类型，那么使用这个类型参数的泛型类型也应该是父类泛型类型的子类型。在Kotlin中，通过out修饰符实现协变。
|---|-----------------------------------------------------------------------------------------------------------------------|
| | interface Source<out T> { |
| | fun next(): T? |
| | } |
| | |
| | fun demo(strs: Source<String>) { |
| | // ... |
| | } |
| | |
| | val intSource: Source<Int> = ... |
| | // 因为Int是String的子类型（在Kotlin中String不是Int的子类，这里仅作示例），但Source<Int>不是Source<String>的子类型 |
| | // 所以不能直接传递intSource给demo函数，但可以通过协变实现 |
| | demo(intSource as Source<String>) // 错误：类型不匹配 |
| | |
| | // 正确的协变用法 |
| | val stringSource: Source<out String> = intSource as? Source<out String> // 这里假设intSource实际上可以转换为Source<out String> |
| | if (stringSource != null) { |
| | demo(stringSource) // 正确 |
| | } |
注意：在Kotlin中，String并不是Int的子类型，上面的例子仅用于说明协变的概念。
逆变（Contravariance）
逆变与协变相反，它指的是在一个泛型类型中，如果类型参数是某个类的父类型，那么使用这个类型参数的泛型类型也应该是子类泛型类型的父类型。在Kotlin中，通过in修饰符实现逆变。
|---|--------------------------------------------------------------------------------------------------------------|
| | interface Sink<in T> { |
| | fun put(item: T) |
| | } |
| | |
| | fun fill(sink: Sink<Number>) { |
| | // ... |
| | } |
| | |
| | val stringSink: Sink<String> = ... |
| | // 因为String是Number的子类型，但Sink<String>不是Sink<Number>的子类型 |
| | // 所以不能直接传递stringSink给fill函数，但可以通过逆变实现 |
| | fill(stringSink as Sink<Number>) // 错误：类型不匹配 |
| | |
| | // 正确的逆变用法 |
| | val numberSink: Sink<in Number> = stringSink as? Sink<in Number> // 这里假设stringSink实际上可以转换为Sink<in Number> |
| | if (numberSink != null) { |
| | fill(numberSink) // 正确 |
| | } |
同样，上面的例子仅用于说明逆变的概念，实际上String不是Number的子类型。
星号投射（Star Projection）
星号投射（*）在Kotlin中用于处理泛型类型的通配符情况。当你声明一个泛型类型但不想指定具体的类型参数时，可以使用星号投射。
使用方式：
- 协变星号投射 ：
List<out T*>通常简化为List<*>。这表示列表中的元素可以是任何类型，但当你从列表中取出元素时，它的类型会被视为Any?（因为任何类型都可以赋值给Any?）。
|---|-------------------------------------------------------|
| | val list: List<*> = ... // list可以是任何类型的List |
| | for (item in list) { |
| | if (item is String) { |
| | println(item.length) // 只有在确定item是String类型时才能调用其方法 |
| | } |
| | } |
- 逆变星号投射 ：在Kotlin中，逆变星号投射不常用，因为Kotlin的泛型系统主要基于协变和不变。但在某些高级用法中，你可能会遇到类似于
Sink<in T*>的逆变星号投射，这表示该接口或类可以接受任何类型的参数。
委托（Delegation）
概念：
委托（Delegation）是一种设计模式，它允许一个对象（委托对象）将其职责的一部分或全部委托给另一个对象（被委托对象）。委托模式可以提高代码的复用性和可维护性。
使用：
- 类委托 ：在Kotlin中，可以使用
by关键字来实现类委托。这允许一个类将某些方法的实现委托给另一个类的实例。
|---|-----------------------------------------------------|
| | class Base { |
| | fun printMessage() { |
| | println("Message from Base") |
| | } |
| | } |
| | |
| | class Derived(b: Base) : Base() by b { |
| | // Derived类将Base类的printMessage方法委托给b实例 |
| | } |
| | |
| | fun main() { |
| | val derived = Derived(Base()) |
| | derived.printMessage() // 输出 "Message from Base" |
| | } |
注意：在上面的例子中，Derived类继承了Base类，但实际上并没有重写printMessage方法。相反，它使用by关键字将该方法的调用委托给了b实例（即Base类的一个实例）。
- 属性委托 ：Kotlin还支持属性委托，允许你将属性的
get和set操作委托给另一个对象或表达式。这可以通过在属性声明中使用by关键字和相应的委托提供程序来实现。
|---|---------------------------------------------------------------------|
| | class LazyValue<T>(private val initializer: () -> T) { |
| | private var value: T? = null |
| | |
| | fun getValue(): T { |
| | if (value == null) { |
| | value = initializer() |
| | } |
| | return value!! |
| | } |
| | |
| | // 这里省略了setValue方法，因为我们只关心只读属性 |
| | } |
| | |
| | class Example { |
| | val lazyString: String by LazyValue { "Hello, World!" } |
| | } |
| | |
| | fun main() { |
| | val example = Example() |
| | println(example.lazyString) // 输出 "Hello, World!"，并且只会在第一次访问时计算值 |
| | } |
在这个例子中，lazyString属性的get操作被委托给了LazyValue类的实例。当第一次访问lazyString时，它会调用LazyValue的getValue方法来计算并缓存值。之后的访问将直接返回缓存的值。