创建通用 TypeScript 函数，为对象属性赋值

我想创建一个简单的函数key特定对象的和value为相应的键并将新值分配给对象。像这样的东西：

interface MyObject {
    key1: string
    key2: number
}

const object: MyObject = {
    key1: 'abc',
    key2: 100
}

const updateObjectProperty = (key: keyof MyObject, value: MyObject[keyof MyObject]) => {
    object[key] = value
}

但在这种情况下 - 它不起作用。 TypeScript 编译器显示错误：

Type 'string | number' is not assignable to type 'never'.

我觉得也许一些仿制药可以解决这里的问题，但我正在努力弄清楚如何解决。

如果使用泛型类型参数将参数绑定在一起，它将编译：

const updateObjectProperty = <K extends  keyof MyObject>(key: K, value: MyObject[K]) => {
    object[key] = value
}

updateObjectProperty("key1", "") //ok
updateObjectProperty("key2", "") // err
updateObjectProperty("key2", 2) // ok

游乐场链接

您的版本不起作用的原因是您可以传递不相关的键和值：

updateObjectProperty("key2", "") // key2 now has a string

游乐场链接

现在我们的新版本也不是100%安全，你可以这样调用它keyunion，但这种情况不太常见：

let k: keyof MyObject = Math.random() > 0.5 ? "key1" : "key2"
let v: MyObject[keyof MyObject] = Math.random() > 0.5 ? 0 : "key2"

updateObjectProperty(k, v); // fails when key and value are mssmatched

游乐场链接

您可以执行与 TS 相同的操作，并将 value 作为可能的属性值的交集键入，这也将捕获此漏洞，但这将需要在实现中再次断言：

type ValueIntersectionByKeyUnion<T,  TKey extends keyof T> = {
  [P in TKey]: (k: T[P])=>void
} [TKey] extends ((k: infer I)=>void) ? I : never

const updateObjectProperty = <K extends  keyof MyObject>(key: K, value: ValueIntersectionByKeyUnion<MyObject, K>) => {
    object[key] = value as MyObject[K];
}

let k: keyof MyObject = Math.random() > 0.5 ? "key1" : "key2"
let v: MyObject[keyof MyObject] = Math.random() > 0.5 ? 0 : "key2"

updateObjectProperty(k, v); //err

updateObjectProperty("key1", "") //ok
updateObjectProperty("key2", "") // err
updateObjectProperty("key2", 2) // ok

游乐场链接