打字稿不使用条件语句推断类型

Question

declare const lucky: boolean;
declare const str: string;
declare const nil: null;

const random = lucky ? str : nil;
// random: string | null

if (lucky) {
  // random: string | null
  // should be string
}

是否有任何解决方法可以达到类似的效果？

Answer 1

这不是 TS 中类型推断的工作方式。

类型检查适用于检查变量，而不适用于可能与检查变量相关的其他变量。

类型推断不适用于变量别名，这是一个更简单的情况。

const lucky: boolean | null =  Math.random() < 0.5 ? null : true;

const random = lucky;

if (lucky) {
  lucky //this is true
  random // this is true | null
}

你可以在这里的操场上看到这个