kotlin - 创建自定义扩展时保留智能广播

我目前必须写

val myList: List<Int>? = listOf()
if(!myList.isNullOrEmpty()){
    // myList manipulations
}

哪个智能广播myList不能为非null。以下不提供任何智能广播:

if(!myList.orEmpty().isNotEmpty()){
    // Compiler thinks myList can be null here
    // But this is not what I want either, I want the extension fun below
}

if(myList.isNotEmptyExtension()){
    // Compiler thinks myList can be null here
}

private fun <T> Collection<T>?.isNotEmptyExtension() : Boolean {
    return !this.isNullOrEmpty()
}

有没有办法为自定义扩展获取smartCast？

最佳答案

这是通过contracts中引入的Kotlin 1.3解决的。

契约(Contract)是一种通知编译器您函数的某些属性的方法，以便它可以执行一些静态分析，在这种情况下，启用智能转换。

import kotlin.contracts.ExperimentalContracts
import kotlin.contracts.contract

@ExperimentalContracts
private fun <T> Collection<T>?.isNotEmptyExtension() : Boolean {
    contract {
       returns(true) implies (this@isNotEmptyExtension != null)
    }
    return !this.isNullOrEmpty()
}

您可以引用isNullOrEmpty的来源，并查看类似的契约(Contract)。

contract {
    returns(false) implies (this@isNullOrEmpty != null)
}

关于kotlin - 创建自定义扩展时保留智能广播，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/57670014/