如何让Kotlin函数同时接受可空与非可空泛型Container参数

问题核心原因 #

1. 泛型不变性：Kotlin泛型默认是不变的，Container<Boolean>和Container<Boolean?>是完全独立的类型，不存在子类型关系。编译器禁止将Container<Boolean>传入期望Container<Boolean?>的函数，因为这会带来类型安全风险——如果函数内部尝试给container.value赋值null，会直接违反ContainerA中value的非空约束。
2. JVM泛型擦除：两个同名的test函数在JVM层面会被擦除为相同的签名（test(LContainer;)V），因此会出现平台声明冲突。

解决方案 #

方案1：使用泛型函数统一处理 #

编写带泛型参数的函数，通过上界限定兼容非空和可空类型，同时保证类型安全：

interface Container<V> {
    var value: V
}

class ContainerA(override var value: Boolean) : Container<Boolean>
class ContainerB(override var value: Boolean?) : Container<Boolean?>

fun <T : Boolean?> test(container: Container<T>) {
    val currentValue = container.value
    if (currentValue != null) {
        processValue(currentValue)
    } else {
        print("not set")
    }
}

fun processValue(b: Boolean) {
    print(b)
}

fun main() {
    test(ContainerB(null)) // 正常运行
    test(ContainerA(false)) // 正常运行
}

这里通过<T : Boolean?>限定泛型参数T可以是Boolean或Boolean?，既兼容两种容器类型，又避免了类型安全问题——当T为Boolean时，编译器会阻止你给container.value赋值null。

方案2：处理重载冲突（需分开实现逻辑时） #

如果必须为两种类型编写不同的逻辑，可以通过@JvmName注解为其中一个函数指定独特的JVM名称，避免签名冲突：

interface Container<V> {
    var value: V
}

class A(override var value: Boolean?) : Container<Boolean?>
class B(override var value: Boolean) : Container<Boolean>

// 为可空版本指定JVM层面的唯一名称
@JvmName("testNullableContainer")
fun test(container: Container<Boolean?>) {
    println(container.value)
    container.value = null
}

fun test(container: Container<Boolean>) {
    println(container.value)
    container.value = false
}

fun main() {
    test(A(true)) // 自动匹配testNullableContainer
    test(B(false)) // 自动匹配test
}

方案3：星号投影（只读场景适用） #

如果仅需读取容器值、不需要写入操作，可以使用星号投影Container<*>，但这种方式会丢失部分类型信息，仅适合只读逻辑：

fun test(container: Container<*>) {
    val currentValue = container.value
    if (currentValue is Boolean) {
        processValue(currentValue)
    } else {
        print("not set or invalid type")
    }
}

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