Typescript 如何使用类型谓词将类型限制为不可赋值的类型

TypeScrip大多不会对任意类型的Mutations 进行建模.该语言不想让您接受V类型的值v，对于任意V和W，它的类型W只接受change.

相反，它模拟了两个基本的类型变化.第一个是widening，这(第一个近似值)是安全的.如果每个V类型的值也是W类型的值，则可以安全地将V赋给需要W的位置.为此，您不需要类型谓词或任何其他内容；只需将其赋给具有更宽类型的新变量annotated:

第二种是narrowing，一般不安全.如果类型W的每个值也是类型V的值，但如果不是类型V的每个值也是类型W的值，那么你不能在应该是W的地方分配V. 相反，为了安全起见，您应该在V上执行某种type guarding，以确保它也是W. TypeScript有很多工具可以做到这一点，包括type predicates，它可以让你编写自定义类型保护函数.

但你不能通过扩大或缩小直接从RequiredModel到OptionalModel.RequiredModel和OptionalModel都不能分配给另一个.因此，你不能立即使用扩大或缩小两种方法.

不过，这并不是不可能的.即使V和W都不是另一个的子类型，您也可以引入第三个类型并将其用作中介.例如，union type V | W是V和W的加宽.类型V的每个值都可以赋给类型V | W.并且类型W的每个值也可分配给类型V | W.因此，您可以自由地从V加宽到V | W，然后使用缩小技术将其从V | W缩小到W.

这看起来是这样的:

const array: RequiredModel[] = [];

const widenedArray:
  (RequiredModel | OptionalModel)[] = array; // okay

const filtered = widenedArray.filter(
  (value): value is OptionalModel => typeof value.otherProp !== 'undefined'
);
// const filtered: OptionalModel[] // okay

首先，我们将array从RequiredModel[]扩展到(RequiredModel | OptionalModel)[]，将其引用复制到widenedArray. 然后，我们通过类型谓词回调将widenedArray从(RequiredModel | OptionalModel)[]缩小到OptionalModel[].

Playground link to code个