如何在 Kotlin 中编写强类型泛型扩展函数？

Question

关注strong和通用部分。

假设我有这个扩展功能：

fun <E> Collection<E>.myContains(item: E) : Boolean {
    // quite pointless, I know, but a simple example
    return item in this
}

目的是编写一个只接受集合元素类型的函数（E），但这没有经过编译器验证？！

val isItInside: Boolean = listOf(1, 2).myContains("1")

愉快地编译。我的猜测是E 被推断为Any。

如何在 Kotlin 类型系统/泛型中强制执行此限制？

（Kotlin 版本 1.3.41）

---

原始上下文

尝试编写一个小型断言框架的练习。稍微复杂一点，但试图得到上面最简单的复制。

class Asserter<T>(val value: T)

infix fun <T> T.should(block: Asserter<T>.() -> Unit) =
    Asserter(this).block()

fun <T : Collection<*>> Asserter<T>.haveSize(size: Int) {
    check(this.value.size == size) {
        "expecting ${this.value} to be of size $size"
    }
}

fun <E, T : Collection<E>> Asserter<T>.contain(item: E) {
    check(item in this.value) {
        "$item does not exist in $item"
    }
}

class ShouldTest {

    @Test fun intList() {
        listOf(1, 2) should {
            haveSize(2)
            contain(1)
            contain("2") // this shouldn't compile
        }
    }

    @Test fun stringList() {
        listOf("1", "2") should {
            haveSize(2)
            contain(1) // this shouldn't compile
            contain("2")
        }
    }
}

Answer 1

这似乎是由于Collection 接口参数的差异，该参数定义为Collection<out E>。

这意味着Collection<Any> 是Collection<E> 的超类型，因此（显然）可以在Collection<Int> 上调用Collection<Any>.myContains() 扩展。

您可以通过将其替换为不变的MutableCollection（以及将listOf() 替换为mutableListOf()）来确认这一点；然后你会得到预期的编译时“类型不匹配”错误。

不过，这让我感到惊讶。我猜编译器必须使用接收器类型和参数类型来推断E。 （谁能证实这一点？）而且，正如您所指出的，它具有阻止更严格的类型安全性的恼人效果。

Answer 2

这看起来像是一个解决方案：

class Asserter<in T>(val value: @UnsafeVariance T)