为什么键入 Record 有时会抱怨缺少键，有时不会？

Question

考虑以下代码：

const testOne: Record<"foo"|"bar", string> = {
    "foo": "xyz"
};
const testTwo: Record<string, string> = {
    "foo": "xyz"
};

第一个示例导致缺少属性“bar”的错误。第二个示例不会导致错误。这让我感到困惑，因为我试图了解 Record 是否是一种暗示其键类型的所有可能值的现有属性的类型。

如果 Record 是一种不要求所有可能的键实际存在于该类型的值中的类型，那么第一个示例不应导致错误。

如果 Record is 是一种要求所有可能的键实际存在于该类型的值中的类型，那么第二个示例也应该导致错误。在这种情况下，不可能构造该类型的值，因为可能的键集是无限的。

如果有第三种选择——这似乎是根据我尝试编译示例时实际发生的情况——它是什么？我可以看到这两种键类型之间的主要区别是一种具有有限的值集，另一种具有无限的值集。这是用来区分的吗？

除此之外，我能找到的唯一解释是 Record 不仅根据其键类型的值集进行区分，而且还根据其键类型的一些其他属性进行区分。如果是这样，键类型的什么属性会有所不同？还是 Record 做了相当于“绕过接口，转换为实现类型并做一些你不应该做的事情”的类型系统？

Record的实现是

type Record<K extends keyof any, T> = {
    [P in K]: T;
};

我可以在这里发现两件事。第一个是将 K 绑定到“任意键”，但据我所知，这限制了可用于 K 的类型，而不是对结果类型有效的值。其次，我们有一个正常的索引签名，所以我的猜测是，我在 Record 中感到困惑的实际上是索引签名的行为——但由于其他问题，如果没有 Record，我无法轻松重现这种行为，所以我没有不想妄下结论。

Answer 1

让我们从实现开始：

type Record<K extends keyof any, T> = {
    [P in K]: T;
};

keyof any - 仅表示可以用作任何对象的键的所有允许类型。 现在，为此您可以使用 PropertyKey 内置类型。

{[P in K]: T;} 这只是一个常规的for..in 循环。

因此，当您将联合类型 "foo"|"bar" 作为第一个参数传递给 Record 时，TS 编译器只会遍历每个联合并像这样创建：

type Result = {
    foo:string,
    bar: string,
}

这意味着您的最终对象应具有最少的属性集：foo 和 bar。

但是，当您只是将 string 作为第一个参数传递时，情况就不同了。

type Result = Record<string, string>

type Result2 = {
    [P in string]: string
}

您可能已经注意到，Result 和 Result2 是相同的类型。

现在，您可能认为Record<string, string> 等于索引接口：

interface Indexed {
    [prop: string]: string
}

type Result = Record<string, string>

type Check = Result extends Indexed ? true : false // true
type Check2 =  Indexed extends Result  ? true : false // true

但是这些类型的行为有点不同。 见this答案

更新

问题似乎仍然是 Record 是否要求所有可能的属性都实际存在。如果 Record 不要求所有可能的属性实际存在，为什么结果是具有必需字段而不是可选字段的对象类型？

请看Mapped Types docs

来自文档：

映射类型建立在索引签名的语法之上，用于声明未提前声明的属性类型：

因此，键入Record<string, string>，意味着您不确切知道将使用哪些键进行记录，但您100% 确定它将是string。这是设计使然。

为什么Partial<Record<string, string>>和Record<string, string>不一样，因为Partial表示值也可以是undefined。

换句话说，Partial<Record<string, string>> 等于 Record<string,string | undefined>

它对于诸如字符串之类的“无限”类型是如何工作的

表示如果key为string类型，可以使用任意字符串来完成这个要求。没有任何无穷大的字符串集。