面试题：TypeScript基于映射类型和条件类型的复杂类型推导

Question

有一个类型`Info`，它可能包含属性`id: number`、`name: string`、`isActive: boolean`。请编写一个类型`OptionalKeysToUndefined`，使用映射类型和条件类型，将`Info`中可选属性的值类型变为`undefined`。例如，如果`Info`中的`name`是可选的，那么在`OptionalKeysToUndefined<Info>`中，`name`的类型就变为`string | undefined`。

Answer 1

type OptionalKeysToUndefined<T> = {
    [P in keyof T]: T extends { [K in P]: T[P] }
      ? P extends RequiredKeys<T>
          ? T[P]
           : T[P] | undefined
        : never;
};

type RequiredKeys<T> = {
    [P in keyof T]-?: {} extends { [K in P]: T[P] } ? never : P;
}[keyof T];