如何消除TypeScript中“Property does not exist on type never”错误

问题概述 #

该问题涉及TypeScript编译器的类型推断缺陷，社区曾针对此展开修复讨论，但目前尚无官方解决方案。

核心问题：

• 当直接给Foo | null | undefined类型的变量赋值为null或undefined时，变量类型会被错误收窄为never
• 在if代码块内赋值可触发类型拓宽，但回调函数中无法自动完成类型拓宽，导致后续使用变量时出现类型错误

当前临时方案 #

你目前通过一个恒成立的条件赋值绕过类型收窄，但这种方案不够优雅：

class Quz {
    foreach(func: ((x: number) => boolean)){
        for(var i = 0; i != 10;i++ ){
            var isDone = func(i);
            if(isDone) break;
        }
    }
}

interface Foo {
    getValue(): string;
}

var bar: Foo | null | undefined;

// 临时方案：用恒成立的条件避免类型被收窄为never
if(Math.random() < 2) {
    bar = null;
}

var quz = new Quz();

console.warn("Starting foreach")

quz.foreach(v => {
    if(v === 6){
        bar = {getValue() { return "z"}};
        return true;
    }
    return false;
})

var baz = (bar ? bar.getValue() : "?")

console.warn(baz);

更优雅的解决方案 #

以下几种方案可以更合理地解决这个问题：

1. 改用let声明变量 #

var的函数作用域特性会干扰TypeScript的类型推断逻辑，换成块级作用域的let后，类型推断会更准确：

let bar: Foo | null | undefined = null; // 直接赋值null也不会被收窄为never

var quz = new Quz();
quz.foreach(v => {
    if(v === 6){
        bar = {getValue() { return "z"}};
        return true;
    }
    return false;
})

const baz = bar ? bar.getValue() : "?";

2. 手动添加类型断言 #

在回调赋值或变量使用时，通过类型断言明确指定变量的联合类型：

// 回调中赋值时断言
quz.foreach(v => {
    if(v === 6){
        bar = {getValue() { return "z"}} as Foo;
        return true;
    }
    return false;
})

// 或使用变量时断言
const baz = (bar as Foo | null | undefined) ? bar.getValue() : "?";

3. 使用自定义类型守卫 #

通过类型守卫明确变量的类型状态，让编译器正确识别：

function isFoo(value: Foo | null | undefined): value is Foo {
    return value !== null && value !== undefined;
}

// 使用类型守卫
const baz = isFoo(bar) ? bar.getValue() : "?";

4. 非空断言（谨慎使用） #

如果能确保代码执行到使用bar时，它一定已经被赋值为Foo类型，可以使用非空断言!跳过空值检查：

const baz = bar!.getValue() ?? "?";

注意：非空断言会关闭TypeScript的空值校验，若运行时bar为空会抛出错误，仅在逻辑绝对安全时使用。

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