如何实现支持任意类型的Kotlin属性委托？

我正尝试实现一个自定义属性委托，用于将属性存储在Map中（仅作学习用途，类似Kotlin官方文档示例）。该委托需满足以下条件：

• 支持存储任意类型的属性
• 支持类型推断（与官方实现一致）

我编写了满足第一个条件的代码：

import kotlin.reflect.KProperty

fun main() {
    val e = Example(PropInMapDelegate())
    e.myProp = 1;
    println(e.myProp) // e.myProp 类型是 "Any?" :(
}

class Example(propInMapDelegate: PropInMapDelegate) {
    var myProp by propInMapDelegate
}

class PropInMapDelegate {
    private val _map: HashMap<String, Any?> = HashMap()

    operator fun getValue(thisRef: Any, property: KProperty<*>): Any? {
        return _map[property.name]
    }

    operator fun setValue(thisRef: Any, property: KProperty<*>, value: Any?) {
        _map[property.name] = value
    }
}

但存在两个明显问题：

1. 使用Any?破坏了类型推断
2. 显式指定属性类型var myProp: Int by propInMapDelegate会触发错误：

error#1

Property delegate must have a 'getValue(Example, KProperty*>)' method. None of the following functions are suitable.
getValue(Any?, KProperty<*>) defined in PropInMapDelegate

error#2

Property delegate must have a 'setValue(Example, KProperty*>, Int)' method. None of the following functions are suitable.
setValue(Any?, KProperty<*>, Any?) defined in PropInMapDelegate

我尝试使用泛型实现类型推断但失败了，修改后的PropInMapDelegate代码如下：

class PropInMapDelegate {
    private val _map: HashMap<String, Any?> = HashMap()

    operator fun <T>getValue(thisRef: Any, property: KProperty<*>): T? {
        return _map[property.name] as T // 感觉这很不安全
    }

    operator fun <T>setValue(thisRef: Any, property: KProperty<*>, value: T?) {
        _map[property.name] = value
    }
}

使用以下代码时仍报错：

class Example(propInMapDelegate: PropInMapDelegate) {
    var myProp: Int by propInMapDelegate // 报错（信息如下）
}

报错信息：
error#1

Property delegate must have a 'getValue(Example, KProperty*>)' method. None of the following functions are suitable.
getValue(Any, KProperty<*>)   where T = Int for   operator fun <T> getValue(thisRef: Any, property: KProperty<*>): T? defined in PropInMapDelegate

error#2

Property delegate must have a 'setValue(Example, KProperty*>, Int)' method. None of the following functions are suitable.
setValue(Any, KProperty<*>, Int?)   where T = Int for   operator fun <T> setValue(thisRef: Any, property: KProperty<*>, value: T?): Unit defined in PropInMapDelegate

我的问题：

1. 我遗漏了什么？
2. 为什么Kotlin期望在setValue/getValue签名中使用精确的Example类型？
3. 如何不使用不安全的as T操作符实现getValue？（编辑：发现官方实现也使用了as，可能是可行的？）

官方实现代码：

public inline operator fun <V, V1 : V> MutableMap<in String, out @Exact V>.getValue(thisRef: Any?, property: KProperty<*>): V1 =
    @Suppress("UNCHECKED_CAST") (getOrImplicitDefault(property.name) as V1)

1. 遗漏的关键点 #

你的委托类未针对委托对象类型和属性值类型做泛型约束，同时getValue/setValue的参数与返回值类型未匹配属性上下文要求：

• 需给委托类添加泛型参数，限定thisRef的类型（若要支持任意类型，可设为Any?或无约束）
• getValue返回值需与属性类型一致，setValue的参数值类型也需严格匹配

以下是正确实现：

import kotlin.reflect.KProperty

class PropInMapDelegate {
    private val _map: HashMap<String, Any?> = HashMap()

    operator fun <V> getValue(thisRef: Any?, property: KProperty<*>): V {
        return _map[property.name] as V
    }

    operator fun <V> setValue(thisRef: Any?, property: KProperty<*>, value: V) {
        _map[property.name] = value
    }
}

// 使用示例
class Example(propDelegate: PropInMapDelegate) {
    var myProp: Int by propDelegate
    var myStr: String by propDelegate
}

fun main() {
    val delegate = PropInMapDelegate()
    val e = Example(delegate)
    e.myProp = 123
    e.myStr = "hello"
    println(e.myProp) // 类型为Int，正常输出123
    println(e.myStr) // 类型为String，正常输出hello
}

2. Kotlin要求精确类型的原因 #

Kotlin委托属性机制会严格校验getValue/setValue的签名，确保其匹配属性所在类的类型和属性自身类型：

• 当在Example类中声明var myProp: Int by delegate时，Kotlin会要求delegate的getValue方法接收Example类型的thisRef、返回Int；setValue方法接收Example类型的thisRef、KProperty<*>和Int类型参数。
• 你的原代码中thisRef设为Any，虽然Example是Any子类，但Kotlin在解析委托签名时不会自动向上转型匹配——它要求方法参数类型完全兼容（用Any?即可兼容所有类实例）。

本质是Kotlin要确保委托能正确处理当前类的实例，避免类型不匹配风险。

3. 关于as T的安全性 #

官方实现确实使用了as强制类型转换，这是因为Map本身只能存储Any?类型值，必须转换为属性具体类型才能正常使用。这种转换在正确使用委托的前提下是安全的：

• 只要存入Map的值类型与属性声明类型一致，就不会出现类型转换异常。
• 若要提升安全性，可在转换前添加类型检查：

operator fun <V> getValue(thisRef: Any?, property: KProperty<*>): V {
    val value = _map[property.name]
    check(value is V) { "存储值类型${value?.javaClass}与属性类型${property.returnType}不匹配" }
    return value
}

这样如果存入值类型不匹配，会抛出明确异常，便于调试。

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