我怎么能有正确的类型？

Question

对不起标题，真的不知道这个问题适合什么名字。

我想创建一个 setItem 函数，它将对象中的键设置为值：

const setItem = <T, U extends keyof T>(obj: T) => (key: U, value): void => {
    obj[key] = value
}

const person = {
    name: 'James',
    age: 13,
}

const setPerson = setItem(person)
setPerson('name', 125)

即使我们将 name 属性设置为数字，也不会出现编译时错误。 （因为现在的值是 typeof any）。

那我怎么能对 TS 说 obj[key] 作为 typeof 的值呢？

Answer 1

打开--strict 编译器模式，以便value 为您提供“隐式any”警告。 value 的类型应该是T[U]，一个lookup type。

注意，如果你想让一个柯里化的泛型函数正常工作，你需要把你的类型参数放在正确的地方：

const setItem = <T>(obj: T) => <U extends keyof T>(key: U, value: T[U]): void => {
    obj[key] = value;
}

您希望setItem(obj) 返回一个通用函数，该函数可以接受任何U extends keyof T 的key，因此U 参数应该在该返回的函数上。如果您将<T, U> 放在第一个函数上，那么编译器将尝试从传递给setIem() 的值中推断出U，但它无法做到。它最终会扩大U 一直到keyof T，这将无法防止错误。

让我们确保这里的版本有效：

const person = {
    name: 'James',
    age: 13,
}
const setPerson = setItem(person)
setPerson('name', 10); // error
setPerson('name', 'Jill'); // okay
setPerson('age', 10); // okay
setPerson('age', 'Jill'); // error

Playground link to code

希望有所帮助；祝你好运！