如何限制泛型扩展函数参数类型？

Question

我尝试使用列表扩展函数binarySearch

public fun <T> List<T>.binarySearch(element: T, comparator: Comparator<in T>,
fromIndex: Int = 0, toIndex: Int = size): Int

这是我的定义：

open class Z
open class ZZ : Z()
open class ZZZ : ZZ()
open class ZZZZ : ZZZ()

val list: List<ZZZZ> = listOf()
val a0 = list.binarySearch("text", stringComparator) <-- error
val a1 = list.binarySearch("text", anyComparator)
val a2 = list.binarySearch(Z(), zComparator)
val a3 = list.binarySearch(ZZ(), zzComparator)
val a4 = list.binarySearch(ZZZ(), zzzComparator)

val stringComparator = Comparator<String> { o1, o2 -> o1.length.compareTo(o2.length) }
val anyComparator = Comparator<Any> { o1, o2 -> o1.hashCode().compareTo(o2.hashCode()) }
val zComparator = Comparator<Z> { o1, o2 -> o1.hashCode().compareTo(o2.hashCode()) }
val zzComparator = Comparator<ZZ> { o1, o2 -> o1.hashCode().compareTo(o2.hashCode()) }
val zzzComparator = Comparator<ZZZ> { o1, o2 -> o1.hashCode().compareTo(o2.hashCode()) }

函数 binarySearch 不能接​​受 String 类型，但可以接受 ZZZZ 的超类型。我认为第一个参数只接受 ZZZZ 类型，因为定义了 List，但为什么它可以接受 ZZZZ 的所有超类型？

更新：

我创建了一个这样的列表扩展函数：

fun <T> List<T>.ccc(t: T): Boolean {
    return contains(t)
} 

val list = listOf<ZZZZ>()
list.ccc("Q")
list.ccc(0)
list.ccc(mutableListOf<String>())
list.ccc(Z())
list.ccc(ZZ())
list.ccc(ZZZ())

我发现它可以接受多种类型，相关问题如下： How to write strongly typed generic extension function in Kotlin?

binarySearch()的功能和ccc()一样吗？

为什么ccc()不仅可以接受ZZZZ的超类型，还可以接受其他的？

再次感谢您的帮助！

Answer 1

因为List 是协变的，所以List<ZZZZ> 也是List<Z>、List<Any> 等。所以在a1 到a4 的情况下，可以推断出合适的T他们编译。

如果你真的想避免它，你可以创建一个不变的包装器

class InvariantList<T>(val x: List<T>)

public fun <T> InvariantList<T>.binarySearch(element: T, comparator: Comparator<in T>, fromIndex: Int = 0, toIndex: Int = size): Int = x.binarySearch(element, comparator, fromIndex, toIndex)

val list: InvariantList<ZZZZ> = InvariantList(listOf())

现在

val a0 = list.binarySearch("text", stringComparator)
val a1 = list.binarySearch("text", anyComparator)
val a2 = list.binarySearch(Z(), zComparator)
val a3 = list.binarySearch(ZZ(), zzComparator)
val a4 = list.binarySearch(ZZZ(), zzzComparator)

所有将无法编译。