小编Ban*_*non的帖子

我有一个通用接口interface ListList<E> extends List<List<E>>。由于某些原因，我无法转换ListList<? super T>为List<List<? super T>>。有什么办法可以做到，为什么不起作用？

至此，我已经尝试了以下方法：

1. 简单分配，通过这种方式，我设法分配ListList<? super T>给List<? extends List<? super T>>（1），但是当我尝试分配ListList<? super T>给List<List<? super T>>我Incompatible types时，出现编译时错误（1.1）。
2. 显式类型转换，由于相同的Incompatible types编译时错误（2），它不起作用。
3. 强制转换为原始类型ListList，它可以正常工作（3），但我不喜欢原始类型。
4. 将所有元素从添加ListList<? super T>到中List<? extends List<? super T>>，它可以正常工作（4），但是我需要一个更通用的解决方案，该解决方案不仅适用于ListList<E>，而且适用于任何通用类型。

这是我的代码：

ListList<? super T> var = new ArrayListList<>();
List<? extends List<? super T>> work = var; // (1)
List<List<? super T>> notWork = …

据说在2019年的JetBrains开放日，Kotlin团队研究了合同并试图实现上下文合同，该合同仅允许在某些情况下调用函数，例如，build仅在setName方法调用前被调用了一次的情况下才允许调用函数。这是一段谈话录音。

我尝试使用当前可用的Kotlin功能模拟此类合同，以为创建null安全构建器data class Person(val name: String, val age: Int)。

注意：当然，在这种情况下，使用命名参数而不是生成器模式要容易得多，但是命名参数不允许将未完全构建的对象解析为其他函数，并且在创建时很难使用它们由其他复杂对象等组成的复杂对象。

所以这是我的null安全构建器实现：

基于通用标志的构建器

sealed class Flag {
    object ON : Flag()
    object OFF : Flag()
}

class PersonBuilder<NAME : Flag, AGE : Flag> private constructor() {
    var _name: String? = null
    var _age: Int? = null

    companion object {
        operator fun invoke() = PersonBuilder<OFF, OFF>()
    }
}

val PersonBuilder<ON, *>.name get() = _name!!
val PersonBuilder<*, ON>.age get() = _age!!

fun <AGE …