TypeScript校验成员非空后传入函数仍报类型不匹配如何解决

你采用的交叉类型方案不生效的核心原因是：TypeScript 的控制流类型收窄目前只会细化单个属性的类型，不会修改父对象的整体类型。你通过if (!data.player) return判断之后，data.player的类型确实已经被收窄为Player，但data本身的类型还是原始的Data，所以无法匹配logPlayer要求的参数类型。

以下是几种合法的解决方案：

• 传参时构造新对象，直接复用已收窄的属性
  这是无侵入的轻量方案，不需要修改原有类型定义：

  function checkFunction(data: Data) {
      if (!data.player) return;
      console.log(`You are on level ${data.level}`);
      // 构造新对象，player已经是收窄后的非空类型，完全符合参数要求
      logPlayer({...data, player: data.player});
  }
  

• 编写自定义类型守卫，收窄整个对象的类型
  如果你需要在多个场景下判断Data是否包含非空player，可以封装类型守卫复用逻辑：

  // 自定义类型守卫，返回值会告诉TS当前入参是否符合目标类型
  function isDataWithValidPlayer(data: Data): data is Data & {player: Player} {
      return data.player !== null;
  }
  
  function checkFunction(data: Data) {
      if (!isDataWithValidPlayer(data)) return;
      console.log(`You are on level ${data.level}`);
      logPlayer(data); // 此时TS已经自动将data收窄为符合要求的类型，无报错
  }
  

• 调整函数参数，直接传递收窄后的属性
  如果logPlayer不需要用到Data的其他属性，直接改参数结构是最简洁的方案：

  // 直接接收Player类型参数，不需要关心父对象结构
  function logPlayer(player: Player) {
      console.log(`Health: ${player.health}`);
      console.log(`X: ${player.position[0]}, Y: ${player.position[1]}`);
  }
  
  function checkFunction(data: Data) {
      if (!data.player) return;
      console.log(`You are on level ${data.level}`);
      logPlayer(data.player); // 直接传已经非空的player即可
  }
  

• 安全的类型断言
  如果以上方案都不匹配你的业务场景，也可以用类型断言代替@ts-ignore和any，类型安全性更高：

  logPlayer(data as Data & {player: Player});
  

优化建议 #

可以提前定义非空版本的类型，避免重复写交叉类型代码，可读性和可维护性更高：

type DataWithPlayer = Data & { player: Player };

// 后续直接使用这个类型即可
function logPlayer(data2: DataWithPlayer) {
    // ...
}

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