泛型是一种让代码更灵活和可复用的强大工具，它使我们能够在编译时候就能进行类型检查，避免了在运行时出现类型错误的可能性。而在 Kotlin 中，我们可以使用泛型边界来对泛型参数进行限定，进一步增加代码的健壮性和可读性。在本文中，我们将讨论 Kotlin 中的泛型上界和下界的使用技巧。
1. 泛型上界
泛型上界用于限制一个类型参数的类型范围。在 Kotlin 中，我们使用 T : Upper 的语法来表示泛型 T 的上界是 Upper 类型。这意味着，当我们使用泛型 T 时，T 必须是 Upper 类型或者其子类。
// 定义一个泛型函数，接受一个上界为 Number 的泛型参数
fun <T : Number> printNumber(num: T) {
println(num)
}
// 使用泛型函数
printNumber(10) // 输出: 10
printNumber(3.14) // 输出: 3.14
在上面的例子中，我们定义了一个泛型函数 printNumber，它接受一个上界为 Number 的泛型参数 num。这意味着我们可以传入任何 Number 类型的参数，包括 Int、Double 等。因此，我们可以在函数体内直接打印 num 的值。
2. 泛型下界
泛型下界用于限制一个类型参数的类型范围，与上界相反，下界要求泛型参数的类型必须是指定类型的超类或者自身。在 Kotlin 中，我们使用 T : Lower 的语法来表示泛型 T 的下界是 Lower 类型。
// 定义一个泛型函数，接受一个下界为 Comparable<T> 的泛型参数
fun <T> max(first: Comparable<T>, second: T): T
where T : Comparable<T> {
return if (first > second) first else second
}
// 使用泛型函数
println(max("hello", "world")) // 输出: world
println(max(5, 10)) // 输出: 10
在上面的例子中，我们定义了一个泛型函数 max，它接受一个下界为 Comparable
3. 使用泛型上下界进行灵活约束
泛型上界和下界在某些情况下可以一起使用，从而进行更灵活的约束。下面是一个示例，演示了如何使用泛型上界和下界来约束泛型的使用范围。
// 定义一个泛型函数，接受一个上界为 CharSequence 的泛型参数和一个下界为 Number 的泛型参数
fun <T> printTextWithLength(text: T, length: Number)
where T : CharSequence, T : Comparable<T> {
if (text.length > length.toInt()) {
println("Text is longer than $length characters")
} else {
println("Text is shorter than $length characters")
}
}
// 使用泛型函数
printTextWithLength("Hello, World!", 5) // 输出: Text is longer than 5 characters
printTextWithLength("Hello", 10) // 输出: Text is shorter than 10 characters
在上面的例子中，我们定义了一个泛型函数 printTextWithLength，它接受一个上界为 CharSequence 的泛型参数 text 和一个下界为 Number 的泛型参数 length。泛型参数 text 必须是 CharSequence 接口的实现类，并且实现了 Comparable
通过使用泛型上界和下界，我们可以对泛型参数进行更精确的类型约束，从而提高代码可读性和健壮性。
结论
泛型是 Kotlin 强大的特性之一，在适当的场景下可以大大提高代码的可复用性和可维护性。使用泛型上下界可以进一步增加代码的灵活性和安全性，避免了在运行时出现类型错误的可能性。在实际开发中，我们应该灵活运用泛型上下界，以便更好地在编译期间定位和解决类型问题。
本文来自极简博客，作者：时光旅者，转载请注明原文链接：Kotlin中的泛型下界与上界使用技巧
