Kotlin：Upcast和密封课程

Question

我正在使用FunKTionale库来执行模式匹配。然后，当我按如下方式初始化变量时：

private lateinit var socket = Option.None 

以下转换是不可能的：

socket = socket.map {
    selectedDevice.createRfcommSocketToServiceRecord(MY_UUID).apply {
    connect()
    }
}

因为套接字的类型是

Option.None

但是如果我将套接字变量初始化为

private lateinit var socket: Option<BluetoothSocket> = Option.None    

地图功能有效。 Option.None对象扩展

Option<Nothing>

并且被铸造（在这种情况下）到

Option<BluetoothSocket>

那么，这怎么可能？

Answer 1

原因是当您省略字段类型时，将从初始值类型推断出最具体的类型。要声明具有较少特定类型的字段，应明确指定它。

假设在您的情况下层次结构如下：

Any -> ... -> Option -> Option.None

因此，当初始值具有类型Option.None时，也会推断字段类型，并且该字段将无法存储更通用类型Option的值。

要使字段类型Option或更通用的内容达到Any，您必须明确指定。

为了更清楚，这也适用于您的情况：

var socket = Option.None as Option<Socket>

此处，Option.None as Option<Socket>的类型不是Option.None，而是Option。 但是，在复杂层次结构案例中指定字段类型时，代码更易读。