Typescript 编译器从不出错：Type 'string | number' 不可分配给类型 'never'。类型“字符串”不可分配给类型“从不”

Question

这是我得到的一段代码：

interface Obj {
  a: number
  b: string
}

const obj: Obj = {
  a: 1,
  b: 'hi'
}

function fn(key: keyof Obj, value: Obj[keyof Obj]) {
  let foo = obj[key]
  obj[key] = value
}

fn("a", 2)

所以我想做的是，我希望函数fn() 能够更新对象obj 属性，该函数的第一个参数是obj 具有的任何键（在Obj 中定义接口），第二个参数是你要赋予该键的值。

但是，在obj[key] = value这一行出现错误的typescript弹窗，即：

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

这是截图：

这里发生了一件奇怪的事情，如果你将鼠标悬停在变量foo（即图片中的第13行）上，它会说：

let foo: string | number

这意味着，obj[key] 的类型是 string | number，但错误提示 obj[key] 类型是 never。

所以我的第一个问题是：string | number 类型为什么会神奇地变成 never 类型？有没有办法解决这个问题？

然后我得到了另一个解决这个问题的代码：

interface Obj {
  a: number
  b: string
}

const obj: Obj = {
  a: 1,
  b: 'hi'
}

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

fn("a", 2)

因此我的第二个问题是：为什么使用Generics 来解决问题？这里的关键字extends 是什么？

顺便说一句，所有代码都在 typescript 3.7.5 版本中测试。

我不是以英语为母语的人，希望我能清楚地解释我的困惑。

Answer 1

错误是什么，这是因为keyof Obj 可能是"a" 或"b"，它们的类型为number 或string。在表达式obj[key] 中，编译器不知道属性类型，它也可能是number 或string，所以它不允许这样的赋值。 Here 是同一个问题。您可以找到解释 here，请参阅修复对索引访问类型的不正确写入。

在泛型函数K extends keyof Obj 的情况下，K 类型也可以是"a" 或"b"，但是当您调用函数fn("a", 2) 时，您将隐式设置K 为"a"，编译器从第一个参数推断K 类型。所以现在，在调用上下文中key 有"a" 类型并且Obj[K] 是number，因此分配变得正确。

---

我只是试图向我不是程序员的妻子解释其中的区别 :) 我认为这也可能会有所帮助：

通常的功能： 假设你正在吃蛋糕，但你的眼睛是闭着的。你知道它可能是樱桃蛋糕或香蕉蛋糕。你喜欢它的味道，但你不能说“多么美味的香蕉蛋糕！”因为你不确定它是不是香蕉蛋糕。

通用函数： 在这种情况下，你的眼睛是睁开的，你可以选择你想吃的蛋糕，但你仍然有两个选择：樱桃或香蕉。现在，如果您选择了香蕉蛋糕并品尝了它，您可以说“香蕉蛋糕真好吃！”。