BFE.devAI解答 - TypeScript 类型谜题
57. implement ObjectPaths<O>

以下是代码实现：

type ObjectPaths<O, P extends string = ''> = {
  [K in keyof O]: O[K] extends object
    ? ObjectPaths<O[K], `${P}${K extends string ? `.${K}` : ''}`>
    : `${P}${K extends string ? `.${K}` : ''}`;
}[keyof O];

首先，我们定义了一个泛型 ObjectPaths，它接收两个参数： O 表示要遍历的对象类型，P 则用来保存当前遍历到的路径。

我们使用 keyof 获取对象 O 的所有键，并在每个键上进行遍历。对于每个键，我们检查它指向的值是否为对象类型。如果是，则我们递归调用 ObjectPaths，同时将当前遍历到的路径作为子路径添加到 P 中。如果不是，则我们将当前遍历到的键添加到 P 中。最后，我们使用索引访问类型 keyof O 将所有路径合并为一个联合类型并返回。

例如，对于输入对象 { a: { b: { c: 1, d: 2 }, e: 1 }, f: 3 }，我们首先遍历 a 属性。因为它是一个对象类型，我们递归调用 ObjectPaths 并将路径 a 传递给它，这会返回 'a.b.c' | 'a.b.d' | 'a.e'。接下来，我们遍历 f 属性，将路径 f 添加到路径中，这样最终的结果就是 'a.b.c' | 'a.b.d' | 'a.e' | 'f'。