将泛型Java回调转换为静态编程语言时为空

Question

我正在尝试在Spring的TransactionTemplate上编写Kotlin包装器。关键代码如下所示：

import org.springframework.stereotype.Component
import org.springframework.transaction.PlatformTransactionManager
import org.springframework.transaction.support.TransactionCallback
import org.springframework.transaction.support.TransactionTemplate

@Component
class MyTransactionHelper(
    platformTransactionManager: PlatformTransactionManager
) {
    private val transactionTemplate = TransactionTemplate(platformTransactionManager);

    fun <T> inTransaction(block: () -> T): T {
        return transactionTemplate.execute(TransactionCallback<T> { block() })
    }
}

代码无法编译。这是因为Java类TransactionCallback在Java中定义为：

@FunctionalInterface
public interface TransactionCallback<T> {
    @Nullable
    T doInTransaction(TransactionStatus status);
}

在静态编程语言中解释为返回可空的T-T？，但我的inTransaction方法返回T。

如何更改此代码以使其可编译，同时允许调用方使用可为null的类型作为泛型类型？

我可以做这样的事情：

fun <T: Any> inTransaction(block: () -> T): T = transactionTemplate.execute { block() }!!

但是我的调用者将无法传递块类型为（）-

下面是我要编译和运行的示例代码：

    val helper: MyTransactionHelper = TODO()

    helper.inTransaction {
        if (TODO("some irrelevant condition")) 42 else null
    }




Answer 1

fun <T : Any> inTransaction(block: () -> T?): T? {
    return transactionTemplate.execute(TransactionCallback<T> { block() })
}

（：任意绑定可选）。请注意，由于差异，（）-

然而

代码无法编译。这是因为Java类TransactionCallback在Java中定义为。。。

在静态编程语言中被解释为返回可为空的T-T？，但我的inTransaction方法返回T。

不正确；问题是TransactionTemplate.execute返回T？，而不是TransactionCallback.doInTransaction。如果执行实际上保证不会返回null，而block没有（我认为从留档来看是真的，但不确定），那么只需在原始代码中添加一个强制转换：

@Suppress("UNCHECKED_CAST")
fun <T> inTransaction(block: () -> T): T {
    return transactionTemplate.execute(TransactionCallback<T> { block() }) as T
}