打字稿泛型-“扩展对象”毫无意义吗？最佳做法是什么？

Question

我注意到<P extends object> 泛型通常毫无意义，因为基本上javascript 中的所有内容都是一个对象。大多数文字是具有 .toString 方法的对象。字符串是具有 .length 属性等的对象。我开始更喜欢 <P> 但很好奇其他人注意到了什么。

我现在没有很好的例子，我只是想听听其他人的经验。

Answer 1

更多信息请参见"The object Type in TypeScript"。

TypeScript 中的 object type 专门用于排除 primitive 七种类型，string、number、boolean、bigint、symbol、undefined 和 null。 （是的，typeof null === "object" 在运行时，但它在 JS 和 TS 中仍然被认为是原始的）。确实，string、number、boolean、bigint 和 symbol 值将自动包装在 String、Number、Boolean、BigInt 和 @987654@3 中对象（分别）当您访问它们上的成员时，就好像它们是对象一样。但它们可与真实物体区分开来，有时这会有所不同。 TypeScript 手册中给出的示例是 Object.create()，如果传递原始类型的参数（null 除外），则会导致运行时错误。因此，TypeScript 对Object.create() 的键入指定其参数的类型为object | null。如果您希望您的通用参数排除原语，<P extends object> 将是正确的方法......所以它不是毫无意义的。

请注意，TypeScript 中还有一个Object 接口，以大写的O 开头。该接口包含存在于 JS 中的所有内容上的（明显的）成员，例如 valueOf() 和 toString()。当你说“一切都是对象”时，它可能更接近你的想法；只有null 和undefined 不能分配给Object。不过一般来说，you probably don't want to use the Object type in TypeScript;这种包装器类型几乎不是人们想要使用的。

如果你真的想捕捉“任何可以像对象一样被索引的东西”，你可能应该使用所谓的“空对象”类型，{}。这是一个没有已知属性的对象类型，其行为类似于Object。同样，只有null 和undefined 不能分配给{}。事实上，过去不受约束的泛型类型参数（如<P> 而不是<P extends Q>）被隐式约束为{}。所以过去写<P extends {}> 是毫无用处的。

然而，从 TypeScript 3.5 开始，unconstrained generics are now given an implicit constraint of unknown instead of {}。 unknown 类型确实是 TypeScript 中的“一切”。您可以为unknown 类型的变量分配任何值（反之亦然）。写<P extends unknown>真的没意义。

我们不妨以any 结尾，这是终极的“无所不能”类型。您不仅可以将任何内容分配给any（例如unknown），还可以将any 分配给任何内容（例如never）。使用any就像举手放弃；它更多的是禁用类型检查，而不是实际类型。 Since TypeScript 3.9，写<P extends any> 与写<P extends unknown> 相同，因此同样没有意义。 （过去，<P extends any> 允许您在 P 未解决时将 P 视为 any，就像在通用函数实现中一样，但这被认为是愚蠢的并已更改。）

Playground link to code