严格验证可空字段[重复]

Posted 2023-03-13

【中文标题】严格验证可空字段[重复]

【英文标题】：Strictifying nullable fields for validation [duplicate]

【发布时间】：2019-04-28 13:49:49

【问题描述】：

我正在尝试让编译器帮助我验证通过网络接收到的有效负载。所以我想做的是通过网络获取一个 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 的情况下使这一切正常工作吗？

【参考方案1】：

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

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

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

【讨论】：

哦，太好了。顺便说一句，这在任何地方都有记录吗？

@davidk01 PR 是阅读它的最佳地点：github.com/Microsoft/TypeScript/pull/21919

酷。非常感谢。