TypeScript：“A 扩展 B”的打字问题

Question

[编辑 - 结束语]：事实证明，下面的问题主要是一些次优类型的结果，通常你可能没有像我在我的程序中遇到的这样的问题 => 现在有了这些知识，我的问题确实似乎不再有意义（正如其他人在下面已经提到的那样）。

---

请看下面的 TypeScript 代码 sn-p。 作为B extends A，这条c: 8 当然是允许的。 如何更改function f 的类型以禁止a 和b 旁边的其他键？

type A = { a: number, b: number }

function f<B extends A>(b: B): void {
}

f({
  a: 3,
  b: 4,
  c: 8 // <- This shall cause a compile error
})

» Demo

PS：当然function f(b: A) {} 不是我要找的。这里的这个例子只是简化了，现实世界的用例要复杂得多……重要的是function f 保持通用。

---

[编辑]：由于我上面的简化引起了一些混乱： 请在此处找到一个更复杂的示例，其中对我上面的问题的回答可能会有所帮助（一个虚构的 UI 组件 API）：

请查看 Demo-A 中的类型错误。这将在 Demo-B 中修复。

Demo-A (with type error)

Demo-B (without type error)

但正如您在 Demo-B 中看到的那样，您现在可以将无效参数添加到组件配置中 - 这不是很好……这就是我提出上述问题的原因。

[编辑 - 稍后] 不是我上面问题的答案，但至少 Demo-B 的以下修改应该可以按需要工作：Demo-C

Answer 1

行为是设计使然。 TS 是结构类型语言，其中类型兼容性基于子类型化，换句话说，每个具有所有约束的类型都将通过规则。在您的示例中，值的类型具有所需的所有字段，因此是“a”和“b”，因此一切正常。

您没有理由不允许传递此类对象，因为内部的其他字段不应使您有所作为。说你扩展意味着你被允许在像对象这样的复合方面拥有更多的字段。

如果您想要一个子类型，则附加，但不幸的是，唯一符合您需要的类型是A，因此函数签名应该是f(a: A)。

需要明确的是，即使使用f(a: A)，您也可以传递带有附加字段的值，只有对象字面量才会被严格验证。任何具有更多字段的赋值都可以使用而不会编译器抱怨。以及我已经描述的原因。