kotlin - 如何让编译器说出它认为表达式是什么类型？

Question

有没有办法让Kotlin编译器确切地告诉我它认为表达式是什么类型？所以给定(1 + 2)，它将打印Int。

更好的示例:(if (args.isEmpty()) 1 else 2.0)应该显示Any，因为编译器认为这是该术语的类型，因为在编译时它可以做的最好的就是推断出Int和Double的最具体的父类(super class)型。

Answer 1

fun main() {
    println(typeName { if (true) 1 else 2.5 }) // Any
    println(typeName { 1 + 2 }) // Int
    println(typeName { f() }) // String
}


fun f(): String = TODO() // throws NotImplementedError

inline fun <reified T> typeName(block: () -> T): String? = T::class.simpleName