循环内赋值局部变量时TypeScript类型收窄失效问题咨询

问题代码 #

function test()
{
    let test1: number | undefined = 42;

    if (test1 === undefined)
    {
        return;
    }

    for (let i = 0; i < 10; i++)
    {
        // test1: Object is possibly 'undefined'. ts(2532)
        // 'test2' implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer.ts(7022)
        const test2 = test1 + 1; 

        // 移除此行则一切正常
        test1 = test2;
    }
}

现象说明 #

这段严格模式下的代码会触发两个错误：

• test1被提示“可能为undefined”（ts(2532)）
• test2被推断为any类型（ts(7022)）

但移除test1 = test2赋值语句后，TypeScript能正确将test1的类型收窄为number，并推断test2为number。从代码逻辑上看，test1不可能是undefined，这是TypeScript的预期行为吗？

原因解释 #

这是TypeScript控制流分析的已知限制：

• 当在循环内部对变量test1进行重新赋值时，TypeScript无法跨循环迭代保留之前的类型收窄结果。虽然第一次迭代时test1确实是number，但TS的分析逻辑会认为后续迭代中变量的类型可能回到最初的联合类型（number | undefined）——因为它无法证明循环内的赋值操作绝对不会引入undefined（哪怕实际代码逻辑里不会）。
• 至于test2的any类型错误，是因为test1被认为可能是undefined，导致test1 + 1的类型无法被正确推断；再加上test2又被用来赋值给test1，形成了循环引用，TypeScript无法解析这种依赖关系，就会将test2默认推断为any。

解决方法 #

• 手动给test2指定类型：const test2: number = test1 + 1;
• 使用非空断言（需确保test1确实不会为undefined）：const test2 = test1! + 1;

内容的提问来源于stack exchange，提问作者sw1337