回答。

问题的历史

Kotlin最初被设计为Java的安全和简洁的替代品。它的一大优势是发达的类型推断机制，使得代码更加简洁而不失去类型安全。类型推断受到了功能性语言（例如Scala和Haskell）以及现代静态类型语言设计趋势的启发。

问题

在Java和其他静态语言中，必须明确指定类型，这导致代码冗余。但是，缺乏明确类型可能会使代码的理解变得困难，并导致在类型推断失败时出现不明显的错误。

解决方案

在Kotlin中，编译器通常能够根据上下文自行确定变量或表达式的类型。这适用于变量、函数的返回值以及包含lambda表达式的表达式。然而，有些情况下，编译器要求明确指定类型，例如在类中声明没有返回值的函数时（'fun doSomething()'）或在表达式模糊时。

代码示例：

val a = 42           // Int
val s = "hello"      // String
fun sum(x: Int, y: Int) = x + y // 返回类型Int自动推断

val list = listOf(1, 2, 3) // List<Int>

// 如果值无法推断，需要明确指定类型
val emptyList: List<String> = emptyList() // 否则将是List<Nothing>

关键特点：

类型针对局部变量、属性和函数返回值进行推断
在缺乏上下文或模糊性时需要明确指定类型
lambda表达式的类型可以通过接受lambda的函数签名进行推断

陷阱问题。

为什么不可以总是省略冒号后的类型，例如，对于类的属性？

对于在声明位置未初始化的属性（例如，通过getter或在init块中），编译器无法自动推断类型，因为看不到初始化器。

class User {
    val fullName: String // 必须明确指定类型，否则会有错误
        get() = "name"
}

如果不明确指定类型，使用emptyList()变量的类型将是什么？

将被推断为List<Nothing>，这使得结果几乎没有用处。

val list = emptyList() // List<Nothing>

什么情况下在函数参数中类型推断不起作用？

在函数签名中总是需要明确指定参数的类型，否则编译器会报错。

// 错误：
// fun foo(x) = x * 2
// 正确：
fun foo(x: Int) = x * 2

类型错误和反模式

对于空集合（emptyList, emptyMap）缺乏明确类型
对于继承和泛型类型的类型推断理解不足
过度依赖类型推断，会使代码可读性降低

生活中的例子

负面案例

开发者使用emptyList()作为API返回值而不明确指定类型，结果得到了List<Nothing>，这在与该API交互时造成了问题。

优点：

代码更少，更简洁 缺点：
类型安全丧失，可能出现意外的编译时错误

正面案例

开发者在处理空集合和增强可读性的地方总是明确指定类型，而在其他情况下依赖编译器的类型推断。