Kotlin - 检查参数是否为空的通用方法

Question

我正在使用Kotlin，并考虑编写通用方法来检查是否有任何传递的参数是not null。

方法可以在if 语句中使用，而不是手动检查每个参数。如果参数不为空，那么编译器应该假设在if 语句中它们仍然是not null。示例如下：

fun getFoo(): Foo? {
  //return value
}

fun getBar(): Bar? {
  //return value
}

fun execute(foo: Foo, bar: Bar) {
  //do stuff
}

这是“传统”方式：

val foo = getFoo()
val bar = getBar()
if(foo != null && bar != null) {
  execute(foo, bar)
}

这就是我想做的：

fun isNotNull(vararg params: Any?): Boolean {
  return params.filterNotNull().isNotEmpty()
}

val foo = getFoo()
val bar = getBar()
if(isNotNull(foo, bar)) {
  execute(foo, bar)
}

当然上面的代码没有编译（Type mismatch, Required: Foo, Found: Foo?）。

有什么方法可以确保编译器已经检查了foo 和bar 的null？我可以在每个参数中使用!!，但这不是很优雅的解决方案。也许使用contract 进行一些构造？

当使用手动检查foo != null && bar != null时没有问题，因为自动smart cast到Foo和Bar。

Answer 1

我不完全确定您为什么需要一个自定义函数。 kotlin null 安全性背后的想法是避免对这些方法的需求。一个简单的案例是使用let：

fun m(foo: Foo?) {
  foo?.let {
      // it is not null here
  }
}

也就是说，如果需要这种方法，有一个新的实验性功能，称为合同，可以实现智能投射。你可以写一个这样的方法（我自己没试过，阅读更多关于它here

fun String?.isNullOrEmpty(): Boolean {
  contract {
    returns(false) implies (this@isNullOrEmpty != null)
  }
  return this == null || isEmpty()
}

这是为string 准备的，但我想可以为Any 这样做。我也认为这个特定的方法已经存在于标准库中。

再一次，我觉得这有点毫无意义，但至少这是可能的。您需要启用实验性功能。