TypeScript错误推断never类型，非Stack Overflow已知重复问题求助

问题原因 #

TypeScript的控制流分析在跟踪实例属性的跨方法修改时存在局限。当调用tree.left.accept(this)后，TypeScript无法精准判断this.status的类型变化，即便后续通过if (this.status === undefined) return;排除了undefined，仍错误将其推断为never类型，导致访问content属性时报错，甚至非空断言!也无法解决。

解决方法 #

方法一：用局部变量承接实例属性 #

将this.status赋值给局部变量后再做判断，TypeScript能准确跟踪局部变量的类型收窄：

class Status { constructor(public content: string){} }

class Visitor
{
  private status: Status | undefined = undefined;

  visit(tree: Tree) {
    if (tree.value > 7) {
      this.status = new Status("good");
      return;
    }

    this.status = undefined;
    if (tree.left) { tree.left.accept(this); }

    // 用局部变量承接，帮助TypeScript识别类型
    const currentStatus = this.status;
    if (currentStatus === undefined) { return; }
    
    console.log(currentStatus.content);
  }
}

class Tree {
  constructor(public value: number, public left?: Tree, public right?: Tree){}
  accept(visitor: Visitor) {
    visitor.visit(this);
  }
}

方法二：使用类型断言强制指定类型 #

直接通过类型断言明确告诉TypeScript当前this.status的类型：

// 替换原打印行
console.log((this.status as Status).content);

方法三：改用局部变量存储状态（按需选择） #

如果状态不需要在多次visit调用间共享，把status改为方法内的局部变量，TypeScript的类型跟踪会更精准：

class Visitor
{
  visit(tree: Tree) {
    let status: Status | undefined = undefined;

    if (tree.value > 7) {
      status = new Status("good");
      return;
    }

    status = undefined;
    if (tree.left) { tree.left.accept(this); }

    if (status === undefined) { return; }
    
    console.log(status.content);
  }
}

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