TypeScript联合类型循环问题：为何无法识别Menu类型属性？

看起来你遇到的核心问题是：TypeScript没办法自动把hasSubList的布尔值和list的类型关联起来——虽然你清楚当hasSubList为true时，list肯定是Menu[]，但TypeScript没有这个上下文认知，所以它依然认定item.list[j]是string | Menu类型，自然不让你直接访问list属性。

下面给你几个实用的解决方案，按安全度和优雅度排序：

方案1：重构为区分联合类型（最推荐的长期方案） #

修改你的类型定义，让hasSubList和list的类型强绑定，用区分联合类型让TypeScript自动完成类型推断：

// 基础菜单结构
type BaseMenu = {
  name: string;
};

// 无二级菜单的类型：hasSubList固定为false，list是字符串数组
type SimpleMenu = BaseMenu & {
  hasSubList: false;
  list: string[];
};

// 有二级菜单的类型：hasSubList固定为true，list是Menu数组
type SubMenu = BaseMenu & {
  hasSubList: true;
  list: Menu[];
};

// 最终Menu类型是两种结构的联合
type Menu = SimpleMenu | SubMenu;

现在当你判断item.hasSubList为true时，TypeScript会自动推断出item.list是Menu[]，item.list[j]就是Menu类型，不需要额外处理就能直接访问list属性。而且类型系统还会强制你在数据中保持hasSubList和list类型的一致性，从根源避免数据错误。

方案2：自定义类型守卫（更安全的运行时检查） #

写一个类型守卫函数，让TypeScript能在运行时判断某个值是否为Menu类型，从而完成正确的类型推断：

// 定义类型守卫函数，返回值"item is Menu"是关键
function isMenu(item: string | Menu): item is Menu {
  // 这里可以根据实际需求添加更多校验逻辑
  return typeof item !== 'string' && 'list' in item && 'name' in item;
}

print(): void {
  for(let i=0; i<this.menu.length;i++){
    let item = this.menu[i];
    console.log(item.name);
    for(let j=0; j<item.list.length; j++){
      let list = item.list[j];
      // 同时判断hasSubList和是否为Menu类型
      if(item.hasSubList && isMenu(list)) { 
        for(let k=0; k< list.list.length; k++){
          console.log(list.list[k]);
        }
      } else {
        console.log(list);
      }
    }
  }
}

这种方法既保留了类型安全，又能在运行时做校验，避免因数据不符合预期导致的报错。

方案3：使用类型断言（快速但需谨慎） #

如果你能100%保证数据结构的正确性，可以直接用类型断言告诉TypeScript当前值的类型：

print(): void {
  for(let i=0; i<this.menu.length;i++){
    let item = this.menu[i];
    console.log(item.name);
    for(let j=0; j<item.list.length; j++){
      let list = item.list[j];
      if(item.hasSubList) { 
        // 强制断言为Menu类型
        const subMenu = list as Menu;
        for(let k=0; k< subMenu.list.length; k++){
          console.log(subMenu.list[k]);
        }
      } else {
        console.log(list);
      }
    }
  }
}

⚠️ 注意：这种方法没有运行时检查，如果实际数据中hasSubList为true但list是字符串，会直接导致运行时错误，只适合快速验证或数据结构绝对可控的场景。

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