递归条件类型

假设您有一个 for in 循环，突然意识到您的变量类型是字符串而不是字符串文字联合类型。因此，当您使用 tsc 编译应用程序时，您会遇到这个丑陋的错误，并且令人烦恼的是您最喜欢的 ide 很可能会在其冲刺的顶部尖叫：

element implicitly has an 'any' type because expression of type 'string' can't be used to index type '{ user: number; nice: number; sys: number; idle: number; irq: number; }'.
  no index signature with a parameter of type 'string' was found on type '{ user: number; nice: number; sys: number; idle: number; irq: number; }'.ts(7053)

[！注意] 只是为了向您展示它是如何完成的，我正在使用 os.cpus。在那里我尝试循环 cpu.times 这是一个对象。您可以在这里找到更多信息。 所以这是有问题的代码： import { cpus } from 'os'; const logicalcoresinfo = cpus(); for (const logicalcoreinfo of logicalcoresinfo) { let total = 0; for (const type in logicalcoreinfo.times) { total += logicalcoreinfo.times[type]; // darn it, ts is upset! } }

使固定

1. 我们需要提取逻辑coreinfo.times 中的键并从中创建一个新类型。
2. 然后我们可以利用类型断言来让 ts 相信一切都很酷，我们知道这里发生了什么。

所以让我们开始吧，对于第一部分，我们需要为自己创建一个自定义实用程序类型，这是我们最终的实用程序类型的样子：

type nestedkeysof = t extends object
  ? {
      [tkey in keyof t]-?:
        | (tkey extends k ? keyof t[tkey] : never)
        | nestedkeysof;
    }[keyof t]
  : never;

让我们来分解一下：

1. t 扩展对象 ? ...：never 告诉 ts 递归遍历嵌套对象类型 t 并提取 t 内特定键的键（如果 t 是对象）。

2. [t 键中的 t 键]-？是一个“映射类型”，它在这里特别有用，因为我们不知道传递给该实用程序类型的对象内的键的名称。在这里，您将逻辑核心信息传递给它或任何其他对象，然后它迭代键以从中创建一个新类型。

   还有-？是否可以删除可选性，以便我们拥有所有键的字符串文字联合类型。换句话说， { keyname?: string } 将被视为 { keyname: string }.

   

   培训招生教育类网站模板(响应式)1.4.2

   培训招生教育类网站模板(响应式)安装即用，自带人人站CMS内核，支持响应式，前端banner轮播图文本均已进行可视化配置，伪静态页面生成，支持内容模型、多语言、自定义表单、筛选、多条件搜索等功能，支持多种URL模式及模型。模板特点：1、安装即用，自带人人站CMS内核及企业站展示功能（产品，新闻，案例展示等），并可根据需要增加表单 搜索等功能（自带模板） 2、支持响应式 3、前端banner轮播图文

   下载

3. (tkey extends k ? keyof t[tkey] : never) 检查迭代中的当前键是否与传递的键 (k) 匹配，如果是，则将其中的所有键提取为字符串文字联合类型并归还它。否则它什么也不返回。

4. 然后，如果步骤 3 没有结果，它将递归地在 t[tkey] 上应用此实用程序类型，这样我们的实用程序函数也适用于嵌套对象。这通常称为“递归条件类型”。

5. 最后我们要求它取映射类型生成的所有类型的并集。简而言之，我们正在展平嵌套结构。

现在是时候使用它了：

interface Person {
  name: string;
  address: {
    street: string;
    city: string;
  };
}

type KeysOfAddress = NestedKeysOf; // "street" | "city"

// Or in our original example:
type CpuTimesKeys = NestedKeysOf;
// ...
total += logicalCoreInfo.times[type as CpuTimesKeys];
// ...

参考号

• 嵌套对象类型的 typescript keyof。