反向TypeScript类型保护

Inverse TypeScript Type Guard

本文关键字：保护 类型 TypeScript 反向      更新时间：2023-09-26

我将typescript2.0.0与--strictNullChecks和以下类型的防护装置一起使用：

function isNotOk(value: any): value is null | undefined {
  if (typeof value === 'number') {
    return !isFinite(value);
  } else {
    return value === null || value === undefined;
  }
}

使null、undefined、NaN和Infinite失效。我想要一个相反的：

export function isOk(value: any): value is not null | undefined {
  return !isNotOk(value);
}

当然，这种语法不起作用。有没有已知的方法来实现这一点？

我偶然发现了答案；泛型。只是以相反的方式缩小：

function isOk<T>(value: T | null | undefined): value is T {
  return !isNotOk(value);
}
相关文章：