Typescript 3.7 引入了nullish 合并运算符。对于像这样的情况，它似乎是完美的类型保护
const fs = (s: string) => s
const fn = (n: number) => n
let a: string | null | undefined
let b: number | null | undefined
const x = (a ?? null) && fs(a)
const y = (b ?? null) && fn(b)
但是，如果您将该代码放入typescript playground，它会提醒您传递给 fs / fn 函数的 a 和 b 参数，例如：
我进行了进一步的实验，发现这不仅是一个孤立于无效合并运算符的问题，而且当 typescript 能够使用 soemthing 作为 typeguard 时，我无法改变主意（在下面你可以找到一些示例）
最后两行最让我困惑。在我看来，分配给 x7 和 x8 的两个表达式都是完全等价的，但是在分配给 x8 的表达式中，类型保护工作，对于 x7 表达式中的打字稿来说似乎并不合适：
const fs = (str: string) => str
const create = (s: string) => s === 's' ? 'string' : s === 'n' ? null : undefined
const a: string | null | undefined = create('s')
const b: string | null | undefined = 's'
let x
if (a !== null && a !== undefined) {
x = a
} else {
x = fs(a)
}
const x1 = a !== null && a !== undefined && fs(a)
const x2 = a !== null && a !== void 0 && fs(a)
const x3 = (a ?? null) && fs(a)
const x4 = (b ?? null) && fs(b)
const x5 = a !== null && a !== undefined ? a : fs(a)
const something = a !== null && a !== undefined
const x6 = something ? a : fs(a)
const x7 = something && fs(a)
const x8 = (a !== null && a !== undefined) && fs(a)
我不确定，如果打字稿由于某种原因无法应用类型保护，或者它实际上是打字稿中的错误。那么，当 typescript 可以应用 typeguard 时，是否有规则手册？或者它可能是一个错误？还是有其他原因我没有编译这些示例？
顺便提一句。当使用用户定义的类型保护时，当然可以完美地工作，但最好不必添加一些运行时代码来使类型保护工作。