TypeScript局部函数类型推断失败问题求助

问题场景 #

在switch语句的case 'A'分支中，直接访问item.aaa编译正常，但在分支内定义的内部函数f中访问同一个属性时，编译器报错，提示aaa不存在于类型C（即类型B没有该属性）。

代码示例 #

type A = {
    kind: 'A',
    aaa : string,
}

type B = {
    kind: 'B',
}

type C = A | B;

export function test(items: Array<C>) {
    for (let item of items) {
        switch (item.kind) {
        case 'A':
            console.log(item.aaa); // 此处编译正常
            let f = () => {
                console.log(item.aaa); // 报错：error TS2339: Property 'aaa' does not exist on type 'C'. Property 'aaa' does not exist on type 'B'.
            };
            f();
        }
    }
}

依赖版本 #

...
    "ts-node": "^10.9.1",
    "ts-patch": "^3.0.2",
    "typescript": "^5.2.2",
    ...

原因解析 #

TypeScript的**类型窄化（Type Narrowing）**仅作用于当前直接作用域，不会延伸到嵌套函数内部：

• 在case 'A'的直接作用域中，编译器通过item.kind的判断，将item的类型窄化为A，所以直接访问item.aaa没问题。
• 但内部函数f是独立作用域，它捕获的是循环中用let声明的item变量——let声明的变量在循环迭代中会被重新赋值，编译器无法保证当f执行时，item的类型仍然是A（即使这里f是立即调用的，编译器也不会做这种运行时流分析）。因此在f的作用域内，item的类型退回到了联合类型C。

解决办法 #

方法1：将item赋值给const变量 #

把窄化后的item赋值给一个const变量，编译器能确定该变量类型不会改变，嵌套函数捕获这个变量即可正确推断类型：

case 'A':
    const aItem = item; // 类型被推断为A
    console.log(aItem.aaa);
    let f = () => {
        console.log(aItem.aaa); // 编译正常
    };
    f();

方法2：在嵌套函数中重新做类型守卫 #

在函数f内部手动添加类型判断，重新窄化item的类型：

case 'A':
    console.log(item.aaa);
    let f = () => {
        if (item.kind === 'A') {
            console.log(item.aaa); // 编译正常
        }
    };
    f();

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