0

我尝试使用列表扩展功能 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 < T >，但为什么它可以接受 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 strong typed generic extension function in Kotlin?

binarySearch()功能是否与ccc()?

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

再次感谢您的帮助！

4

1 回答 1

0

因为List是协变的，所以 aList<ZZZZ>也是 a List<Z>， aList<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)

都将无法编译。

于 2019-12-08T07:51:10.517 回答