Kotlin 如何使用表达式体推断函数的返回类型答案

【问题标题】：How Kotlin inferencing return type of function with expression bodyKotlin 如何使用表达式体推断函数的返回类型
【发布时间】：2021-07-17 13:43:36
【问题描述】：

如果函数只包含一个表达式，则可以从该表达式推断出它的返回类型。听起来很简单：

fun max(a: Int, b: Int) = if (a > b) a else b

在这种情况下，函数的返回类型将是 Int。

但是下一个例子中会是什么类型呢？

fun max(a: Int, b: Int) = if (a > b) a else true

【问题讨论】：

【解决方案1】：

推断只是给出表达式可能值类型的最接近的祖先。

在这里，您的表达式可以生成 Boolean 或 Int。在这种情况下，最近的祖先是 Comparable<*>，所以这是您的函数的返回类型。

如果类型完全不相关，则共同祖先将是Any，在 Kotlin 中，它是所有不可为空类型的共同祖先。如果其中一个值也可以为 null，那么您最终可能会得到一个返回类型 Any?，它是 Kotlin 中所有类型的最终父级（类似于 Java 的 Object）。

【讨论】：