严格验证可为空的字段

Question

我正在尝试让编译器帮助我验证通过网络接收的有效负载。所以我想做的是通过网络获取一个 JSON 有效负载，并确保编译器在所有字段未设置时发出警告。我知道这样做的方法是使用验证函数，但即使在进入验证部分之前，我也需要生成一些样板文件，将具有可为空字段的类型转换为具有严格字段的类型。因此验证函数必须具有以下签名

type Validator<T> = (i: T) => Strictify<T>;

问题是我不知道如何让 Strictify 实际工作。当我写以下内容时它不起作用

type Strictify<T> = {
  [K in keyof T]: Exclude<T[K], undefined>
};
type Test = { k?: string };
type StrictTest = Strictify<Test>;

StrictTest的类型应该是{ k: string }，但实际上还是{ k?: string }。有趣的是，如果我将 Test 的定义更改为 { k: string | undefined } 那么它就可以工作了。严格类型是我所期望的。任何人都知道如何在不将每个 k?: T 扩展到 k: T | undefined 的情况下使这一切工作？

Answer 1

如果字段类型被声明为 string|undefined，您的版本将工作。尽管在 strictNullChecks 下，可选字段显示为 string|undefined 类型，但它们不是一回事，可选性是字段的属性。

要在使用同态映射类型时从字段中删除可选修饰符，从打字稿 2.8 开始，您可以将 -? 添加到类型：

type Strictify<T> = {
  [K in keyof T]-?: Exclude<T[K], undefined>
};
type Test = { k?: string };
type StrictTest = Strictify<Test>;

严格验证可为空的字段

Strictifying nullable fields for validation

typescript

type-conversion

nullable

non-nullable

typescript-types