Typescript - 可选参数验证不足以在将其作为参数传递给另一个函数时确定类型？

Question

乍一看这似乎是一个奇怪的问题，但我会尽力解释它。

让我们看看下面这个(非现实的)例子:

const foo = (x: number) => {
    return x * x;
}

const isXUndefined = (x?: number) => x === undefined;

const boo = (x?: number) => {
    if (isXUndefined(x)) {
        return 0;
    }

    return foo(x);
}

正如预期的那样，此代码编译失败，因为 x 可以是 number 和 undefined。我在这里很难看到的是为什么调用 isXUndefined 不足以让类型推断器确保 x 是一个实际数字？

另一方面，一个可行的例子是:

const foo = (x: number) => {
    return x * x;
}

const isXUndefined = (x?: number) => x === undefined;

const boo = (x?: number) => {
    if (x === undefined) {
        return 0;
    }

    return foo(x);
}

为什么这种验证只在“表面上”起作用而不是在另一个函数中起作用？

这是一个 playground两个例子

Answer 1

您可以通过执行以下操作来解决此问题

const foo = (x: number) => {
    console.log("foo")
    return x * x;
}

const isXUndefined = (x?: number) => x === undefined;

const boo = (x?: number) => {
    if (isXUndefined(x)) {
        return 0;
    }

    return foo(x!);
}

通过添加 !，您告诉编译器 x 在这里不会为 null 或 undefined，它也不会报错。

JSFiddle:https://jsfiddle.net/nrd7hmkp/