让我们有以下示例类型:
interface A {
a?: number;
b: string;
}
我的目标是使用一种通用的方式来创建以下类型:
interface ExpectedA {
a: number;
}
所以我想删除所有不可为 null 的字段(那些可以包含 null
和/或 undefined
的字段)并使那些剩余的可为 null 的字段不可为 null。
这就是我想象的它应该如何工作:
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/