TypeScript自定义类型守卫返回类型谓词为何优于返回boolean值

两者的核心差异是：parameter is Type形式的类型谓词是TypeScript为类型守卫设计的专用语法，它不止表示函数返回布尔值，还能向TS编译器传递「返回值为true时，入参属于对应类型」的明确类型关系，具体优势如下：

• 自动实现条件分支的类型收窄
  如果你把返回类型标注为普通boolean，TS只知道函数返回真/假，无法建立「返回true = 入参是Customer类型」的关联，在if (isCustomer(partner))的代码块内，TS依然会认为partner是原本的BusinessPartner联合类型，直接调用Customer专属的isCreditAllowed()方法会直接报类型错误。
  用类型谓词标注后，TS会自动做类型收窄：if块内partner被推导为Customer类型，else块内自动收窄为联合类型中排除Customer的剩余类型（也就是示例里的Supplier类型），两个分支里调用对应类型的专属方法都能通过类型检查，和示例代码的表现完全一致。
• 减少冗余且不安全的手动类型断言
  如果不用类型谓词，你要在分支内手动写类型断言才能调用对应方法：

  if (isCustomer(partner)) {
    const customer = partner as Customer; // 手动断言
    message = customer.isCreditAllowed() ? 'Sign a new contract with the customer' : 'Credit issue';
  } else {
    const supplier = partner as Supplier; // 手动断言
    message = supplier.isInShortList() ? 'Sign a new contract with the supplier' : 'Need to evaluate further';
  }
  

  这种写法不仅冗余，还存在风险：如果你手滑在else块里错写为partner as Customer，TS不会做额外校验，运行时调用方法就会报错。类型谓词的收窄逻辑由TS编译器基于类型定义自动校验，从根源上避免这类低级错误。
• 类型判断逻辑可复用
  带类型谓词的判断函数可以在任意场景复用，所有调用位置都能自动获得类型收窄能力，不需要重复写类型判断逻辑+重复做手动断言，能保证全项目类型判断逻辑的一致性。

如果把示例中isCustomer的返回类型改成普通boolean，signContract函数会直接抛出类型错误：Property 'isCreditAllowed' does not exist on type 'BusinessPartner'、Property 'isInShortList' does not exist on type 'BusinessPartner'，必须加手动断言才能通过编译。

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