Typescript 编译器因省略和索引签名上的不同属性类型而失败

Question

我正在尝试使用省略了属性的子类型，并使用通用索引签名将其分配给其父类型。我试图理解为什么它会让这种情况发生只有属性是相同的类型。

例如，这一切都很好：

interface Obj {
  foo: number
  bar: number
  baz: number
}
type Sub = Omit<Obj, "baz">

let obj: Obj = {foo: 1, bar: 1, baz: 1}

function fn <K extends keyof Sub>(key: K, val: Sub[K]) {
  obj[key] = val
}

在这个问题上，编译器抱怨“类型'Sub[K]'不可分配给类型'Obj[K]'。 “Sub”类型中缺少属性“baz”，但在“Obj”类型中是必需的”

interface Obj {
  foo: number
  bar: string
  baz: number
}

感谢您的帮助！

Answer 1

在您的示例中，keyof Sub 因此K 的类型为"foo" | "bar"。这意味着Sub[K] 是string | number 类型；键为“foo”和“bar”的条目包含的值的类型。

string | number 不是一个可以分配给任何有用的东西的类型。我确信有一个替代解决方案可以解决您想要完成的任务，但就目前的情况而言，这似乎是一个 XY 问题。

更新：我上面所说的虽然是对的，但没有抓住问题的重点。为了在 cmets 中进行对话，我将保留此内容，以防万一帮助其他人找到正确的答案。