如何在Kotlin中实现可变Optional？需区分未设置与设为Null状态

你的需求很明确：要一个可变的Optional类，能严格区分“从未设置值”和“主动设置为null”（仅当类型参数可空时允许），同时充分利用Kotlin的空安全特性，适配可空/非空类型参数的不同行为。

先分析你现有代码的核心问题：

• 当T为非空类型时，set(value: T)无法接收null，但value字段是T?，未设置时会是null，这会导致get()方法在未设置时无法安全返回非空的T
• 缺少对可空T类型的适配：当T是可空类型（比如String?），需要允许调用set(null)，同时通过isSet标记和“未设置”状态区分开
• 错误处理不完整，比如get()方法未实现异常抛出逻辑

下面是完整的实现方案，完全满足你的需求：

class MutableOptional<T> {
    private var _value: T? = null
    private var _isSet: Boolean = false

    // 判断是否已设置值（包括设置为null，当T可空时）
    val isSet: Boolean get() = _isSet

    // 设置值：当T为非空类型时，参数不允许为null；当T为可空类型时，允许传null
    fun set(value: T) {
        _value = value
        _isSet = true
    }

    // 取消设置，回到“未设置”状态
    fun unset() {
        _isSet = false
        _value = null // 清空值，避免内存泄漏
    }

    // 获取值：仅当已设置时返回，未设置则抛出异常
    // 当T为非空类型时，返回值非空；当T为可空类型时，返回值可能为null
    fun get(): T {
        check(_isSet) { "Value is not set" }
        // 当T非空时，_value一定非空（因为set方法接收的是非空T），所以可以安全强转
        @Suppress("UNCHECKED_CAST")
        return _value as T
    }

    // 获取值，未设置时返回null
    // 当T非空时，返回值是T?（可能为null，仅当未设置时）；当T可空时，返回值是T（可能为null，包括未设置或主动设为null）
    fun getOrNull(): T? {
        return if (_isSet) _value else null
    }

    // 获取值，未设置时返回默认值
    fun getOrElse(defaultValue: () -> T): T {
        return if (_isSet) get() else defaultValue()
    }

    // 如果已设置值（包括null），则执行传入的操作
    fun ifPresent(action: (T) -> Unit) {
        if (_isSet) {
            action(get())
        }
    }

    // 如果已设置值且值不为null（仅当T可空时有意义），则执行操作
    fun ifPresentNotNull(action: (T & Any) -> Unit) {
        if (_isSet) {
            val value = _value
            if (value != null) {
                action(value)
            }
        }
    }
}

关键设计点解释： #

• 状态区分：用_isSet布尔值明确标记“是否已设置”，和_value的null值解耦：
  • 未设置：_isSet = false，_value = null
  • 已设置（T非空）：_isSet = true，_value为非空T
  • 已设置（T可空）：_isSet = true，_value可以是null或非空值
• Kotlin空安全适配：
  • 当T为非空类型（比如MutableOptional<String>）：set()方法仅接收非空String，get()返回非空String（未设置时抛异常），getOrNull()返回String?（未设置时为null）
  • 当T为可空类型（比如MutableOptional<String?>）：set()允许传入null，get()返回String?（可能为null），此时通过isSet可以区分“主动设为null”和“未设置”
• 实用方法：
  • getOrNull()和getOrElse()提供了安全的取值方式，避免直接调用get()抛出异常
  • ifPresent()和ifPresentNotNull()适配不同场景的操作逻辑，尤其是针对可空类型的非空判断

使用示例： #

fun main() {
    // 非空类型参数示例
    val nonNullOpt = MutableOptional<String>()
    println(nonNullOpt.isSet) // false
    // nonNullOpt.set(null) // 编译错误，因为T是非空String
    nonNullOpt.set("Hello")
    println(nonNullOpt.isSet) // true
    println(nonNullOpt.get()) // Hello
    println(nonNullOpt.getOrNull()) // Hello
    nonNullOpt.unset()
    println(nonNullOpt.getOrNull()) // null
    // nonNullOpt.get() // 运行时异常：Value is not set

    // 可空类型参数示例
    val nullableOpt = MutableOptional<String?>()
    println(nullableOpt.isSet) // false
    nullableOpt.set(null)
    println(nullableOpt.isSet) // true
    println(nullableOpt.get()) // null
    println(nullableOpt.getOrNull()) // null
    nullableOpt.set("World")
    println(nullableOpt.get()) // World
    nullableOpt.unset()
    println(nullableOpt.isSet) // false
}

这个实现完全解决了你的需求，既区分了“未设置”和“设为null”，又利用Kotlin的空安全特性对可空/非空类型参数做了正确的行为约束，同时保持了可变性。

内容的提问来源于stack exchange，提问作者vagran