这个 DeepPartial 类型如何在 Typescript 中工作？

Question

我在这里查看这个问题：

最上面的答案的 DeepPartial 类型定义如下：

type DeepPartial<T> = {
    [P in keyof T]?: DeepPartial<T[P]>;
};

我测试过，这种类型按预期工作，但我无法完全理解它的内部工作原理。

让我们以同一问题的界面为例：

interface Foobar {
  foo: number;
  bar: {
    baz: boolean;
    qux: string;
  };
}

当P=bar时，很容易理解，递归地会进入

DeepPartial<{
    baz: boolean;
    qux: string;
  }>

并使“baz”和“qux”键可选。

但我不明白的是，递归如何适用于原始类型？就像fookey 一样，如何与DeepPartial<number>相同number？当T=数字时，

[P in keyof number]?: DeepPartial<number[P]>;

对我来说没有意义。

在我看来，DeepPartial 的实现应该是这样的：

type DeepPartial<T> = {
    [P in keyof T]?: isPrimitive(T[P]) ? T[P] : DeepPartial<T[P]>;
};

但最初的实现也有效，但我不明白如何。

我希望我能很好地解释我的问题。这是游乐场示例：

编辑： 我进一步调查发现

type DeepPartial<T> = {
    [P in keyof T]?: any;
};

type DeepPartialTest<T> = {
        [P in keyof number]?: any;
    };

nowDeepPartial<number>将返回数字类型，但DeepPartialTest<number>不会。这让我觉得更奇怪了。

编辑2添加截图：

这按预期工作：

这不会：

实际上两者应该相同吗？

Answer 1

这实际上是 TypeScript 中类型参数的内部机制，其中指出：

当一个基本类型替换同构映射类型中的 T 时，我们只需生成该基本类型。

您可以在此拉取请求中阅读更多相关信息。