Typecript将布尔值视为true|false，当StrittNullCheck关闭时

Question

我有以下typescript代码：

type PossiblePromise<T> = T extends Promise<infer U>
  ? T | U
  : T | Promise<T>;
type Z = PossiblePromise<boolean>;

const a = "a"
const f: () => Z = () => Promise.resolve(!!a);

将strictNullChecks设置为false。

生成的类型Z是boolean|Promise

Type 'Promise<boolean>' is not assignable to type 'boolean | Promise<false> | Promise<true>'.
  Type 'Promise<boolean>' is not assignable to type 'Promise<false>'.
    Type 'boolean' is not assignable to type 'false'.(2322)
input.ts(7, 10): The expected type comes from the return type of this signature.

任何想法为什么typecript的行为会这样处理boolean作为true|false，这不应该是严格的NullChecks off的情况。

如何实现PossiblePromise

https://www.typescriptlang.org/play/?strictNullChecks=false




Answer 1

type Z = PossiblePromise<Boolean>;

Answer 2

您可以通过取消promise类型来修复它。问题是，布尔型是一种联合类型，条件类型自动分布在联合类型上。考虑以下代码：

type PossiblePromise<T, Y = Promise<T>> = T extends Promise<infer U>
  ? T | U
  : T | Y;
type Z = PossiblePromise<boolean>;

const a = "a"
const f: () => Z = () => Promise.resolve(!!a);

如您所见，Y是在外部条件类型下提升的，仅在需要时使用。

顺便说一句，使用布尔型并不是固定的类型定义，它只是与您的实现配合良好的不同类型（布尔型不是联合类型）-请进一步考虑布尔型。这也意味着，如果您使用任何其他联合类型，它将具有相同的错误效果，请检查下面的差异

type T = "a" | "b";
// previous result type would be:
type PreviousResult = "a" | "b" | Promise<"a"> | Promise<"b">
// after the change it will be:
type Result = "a" | "b" | Promise<"a" | "b">