1

我对 Kotlin 可空性有疑问,我想知道我是否能够通过合同解决它。对于这样的Java接口:interface Action<T>{ void execute(T param); }有两个扩展:

fun <T, R> Action<T>.map(mapper:(R)->T): Action<R> {
   return Action{ execute(mapper(it)) }
}

fun <T> Action<T>.ifNotNull(): Action<T> {
  return Action { if(it != null) execute(it) }
} 

还有一个带有可为空数据的通用模型:

class Model<T>(val data: T?)

现在我创建了以Action接口为参数的函数。案例是仅在 时执行动作参数param != null,因此如下所示:

fun <T> callback(model: Model<T>, action: Action<T>){
    action
    .map{ it.getData() } //compilation error: getData return T? when action require T
    .ifNotNull() //execute only when data!=null
    .execute(model)
}

那么现在,是否有任何选项可以使用 Kotlin 合约来确保编译器action不会使用 null 参数执行?

4

3 回答 3

1

ModelAction在您自己的答案中只是提供了正确的签名ifNotNull()

fun <T> Action<T>.ifNotNull(): Action<T?> {
    return Action { if(it != null) execute(it) }
} 

那么你的操作顺序错误:

fun <T> callback(model: Model<T>, action: Action<T>){
    action
    .ifNotNull() // Action<T?>
    .map { model: Model<T> -> model.data } // Action<Model<T>>
    .execute(model)
}

请注意,编译器将无法推断R这种map用法。你也可以写成

fun <T> modelAction(action: Action<T>): Action<Model<T>> {
    return action
    .ifNotNull()
    .map { it.data }
}

作为旁注,这个论点是“错误的方式” map; 此类函数更常称为contramap.

于 2018-11-29T17:27:58.767 回答
0

如果无界(换句话说,它们派生自) ,则默认情况下所有类型参数都可以为空。Any?解决此问题的简单方法是在类型参数上指定非空绑定:<T : Any>

于 2018-11-28T16:32:09.313 回答
0

我创建了Action专门用于此用途的接口实现,如下所示:

class ModelAction<T>(val action: Action<T>) : Action<T?> {
    override fun execute(param: T?) {
        param?.let {
            action.execute(it)
        }
    }
}

fun callback<T>(model: Model<T>, action: Action<T>){
    ModelAction(action)
    .map{ it.getData() } 
    .execute(model)
}

这个想法可能会帮助有类似问题的人,但它不符合我的期望,我仍然指望基于高阶函数的解决方案。

于 2018-11-29T16:23:26.690 回答