typescript - 选择可为空的属性并使它们不可为空的一般方法

下面是一个示例类型：

interface A {
    a?: number;
    b: string;
}

我的目标是有一种创建以下类型的通用方法：

interface ExpectedA {
    a: number;
}

因此，我想删除所有不可为空的字段（那些可以包含null和/或undefined）并使那些剩余的可为空字段不可为空。
这就是我的想象：

const expA1: ExpectedA = {}; // should NOT pass
const expA2: ExpectedA = {a: 1}; // should pass
const expA3: ExpectedA = {b: ''}; // should NOT pass
const expA4: ExpectedA = {c: 0}; // should NOT pass
const expA5: ExpectedA = {a: 1, b: ''}; // should NOT pass

这是我的非工作尝试（在注释中注明它做什么和应该做什么）：

export type ExtractNullable<T> = {
    [K in keyof T]: T[K] extends undefined | null ? NonNullable<T[K]> : never;
};

const a1: ExtractNullable<A> = {}; // should NOT pass, wrong error "prop. b is missing"
const a2: ExtractNullable<A> = {a: 1}; // should pass, wrong - "number not undefined"
const a3: ExtractNullable<A> = {b: ''}; // should NOT pass, wrong - "string not never"
const a4: ExtractNullable<A> = {c: 0}; // should NOT pass, ok - "c not on ..."
const a5: ExtractNullable<A> = {a: 1, b: ''}; // should NOT pass, wrong error "number not undefined, string not never"

我认为问题出在条件类型上，但是看看文档，我不知道要更改什么。

最佳答案

首先只需要选择可为空的键，然后映射它们。

interface A {
    a?: number;
    b: string;
}

export type NullableKeys<T> = {
    [P in keyof T]-? :  Extract<T[P], null | undefined> extends never ? never: P
}[keyof T]
export type ExtractNullable<T> = {
    [P in NullableKeys<T>]: NonNullable<T[P]>
}

const a1: ExtractNullable<A> = {}; // err
const a2: ExtractNullable<A> = {a: 1}; //ok
const a3: ExtractNullable<A> = {b: ''}; // err
const a4: ExtractNullable<A> = {c: 0}; // err
const a5: ExtractNullable<A> = {a: 1, b: ''}; //err

上述方法适用于strictNullChecks，因为可选属性的类型已更改为包含undefined。选择可选属性并在没有此编译器选项的情况下工作的版本是：

export type NullableKeys<T> = {
    [P in keyof T]-?:  Pick<T,P> extends Required<Pick<T, P>> ? never: P
}[keyof T]

关于typescript - 选择可为空的属性并使它们不可为空的一般方法，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/53102994/