组成的布尔值用于检查未定义或无效

Question

我有一个可能的计算不确定或 null 值的布尔值。即使检查组成的布尔值是否为真，Typescript也不明白该值不能再 null null 。

在下面的示例中， externativetoanothermaybenulluldullunderfined的类型||在IF分支中，将另一个maybenullorundefined 评估为可能未定义，这导致错误类型'undefined'的参数不能分配给类型'string'''''String''的参数，但是我已经检查了在非卢洛德定义。

const maybeNullOrUndefined: string | undefined | null = undefined;
const anotherMaybeNullOrUndefined: string | undefined | null = undefined;
const alternativeToAnotherMaybeNullOrUndefined: string | undefined | null = undefined;

const anyFun = (str: string) => { }

const noNullOrUndefined = (anotherMaybeNullOrUndefined || alternativeToAnotherMaybeNullOrUndefined) && maybeNullOrUndefined;

if (noNullOrUndefined) {
    anyFun(maybeNullOrUndefined);
    anyFun(alternativeToAnotherMaybeNullOrUndefined || anotherMaybeNullOrUndefined); // Argument of type 'undefined' is not assignable to parameter of type 'string'
}

这只是一个构造的示例，但就我而言，即使我以前我在布尔值中检查了，即使是 Maybenullorundefined 也可能是未定义的类型。为什么那是这样，我该如何克服？

• TS：v4.7.4
• TS游乐场： https://www.typescriptlang.org/play？ knohmyafglcq2+lxhhcogaf4efgntibuafchisbgbbbqafmkibzzomx4ipcjppmw7ibzmcyqkxgls7sxcugweokweokweokweokdraiunqabmgakiaagiaagiaaguagupao VQOMKIM0VAWUKXGHNY2-LKOOI455VIKSUBEAKGAYRWUABQSARLSAJQSAHWWWAN4WAL6LNRDQRGQKKKXMSDWOA2NOGICZJBOKCC3D55+HAFBORHR M3HZI8NLZG0AZGFWH0LLUFSKCTSUMHXDN6Z3P90KML-EYNVEHVEAKJRDIII1FH9-OOCWFNFP5AIFWLERN4OZ3UMVMS3UMVMSVMS0QDQVITPCFP0GA

Answer 1

TS不会根据这样的条件缩小类型。

您需要定义一个新变量并使用分支来调用您的功能。您在这里有2个选项：

const finalVal = alternativeToAnotherMaybeNullOrUndefined || anotherMaybeNullOrUndefined

if (finalVal) {
 anyFun(finalVal);
}

或者

const finalVal = alternativeToAnotherMaybeNullOrUndefined || anotherMaybeNullOrUndefined

finalVal && anyFun(finalVal)

您可以在行动中看到此选项在这里