Typescript 将布尔值视为 true |当 strictNullCheck 关闭时为 false

Question

我有以下打字稿代码：

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<false> | Promise<true>，但我希望它是boolean | Promise<boolean>。所以最后一行产生了一个错误：

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.

关于为什么 typescript 表现得像这样将 boolean 视为 true | false 的任何想法，这不应该是关闭 strictNullChecks 的情况。

如何实现PossiblePromise<T> 类型与布尔值正确配合？

https://www.typescriptlang.org/play/?strictNullChecks=false&ssl=6&ssc=1&pln=7&pc=47#code/C4TwDgpgBACg9gZwQSwEYBsIwE5wLbIIQA8AKgHxQC8UpUEAHsBAHYAmCsuBRxyLAMwjYoAVXIBYAFBQoAflpQAPmOmyAXIpU58hEhQDc00JCgAtarEQoMWbnuKo4cTAEMW5I1OkBjOCwRgKFdLACJXUN9-QKgBTQAKAEpqSgsaJJSuXSIAOmwIBBcANwh4gEIy10SDIA

Answer 1

您可以通过解除 Promise 类型来修复它。问题是boolean 是联合类型，而条件类型自动为distributed over union types。考虑以下代码：

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 被提升到条件类型之外，仅在需要时使用。

顺便说一句 - 使用 Boolean 不是您的类型定义的修复，它只是与您的实现配合良好的不同类型（布尔不是联合类型）- 考虑更多关于 Boolean 的信息。这也意味着如果您使用任何其他联合类型，它会产生相同的错误效果，请检查下面的差异

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">

Answer 2

type Z = PossiblePromise<Boolean>;