TypeScript类型收窄行为因涉及类型不同失效，求解析

我编写的TypeScript类型收窄代码出现编译错误，但只要对涉及的类型做些看似微小的修改（比如调整属性可选性、增减属性），编译就能通过。这些类型存在部分重叠且包含可选属性，想知道有没有对应的类型收窄规则能解释这个行为？

编译失败时，本该被收窄的Pet类型并没有被收窄；修改类型后编译通过时，类型会变成Pet & Dog。这个问题出现在生产代码里，我已经做了简化复现，而且在TypeScript旧版本里也能复现，不是新编译器的问题。

复现代码如下：

interface Pet {
  name: string; // 移除该属性或设为可空则编译通过
  isFriendly: boolean; // 移除该属性则编译通过
}

interface Dog {
  name: string; // 移除该属性则编译通过
  ownerName?: string; // 设为非可选则编译通过
  // isHappy: boolean; // 添加任意非可选属性则编译通过
}

function isDog(value: any): value is Dog {
  return true;
}

// 将此处类型改为Pet | Dog或Pet & Dog则编译通过
const testAnimal: Pet = {} as any;

if (isDog(testAnimal)) {
  // 编译错误时，testAnimal的类型为`Pet`，而非`Dog`或`Pet & Dog`
  console.log(testAnimal.ownerName); // <-- 编译错误：类型“Pet”上不存在属性“ownerName”
}

核心原因：类型兼容性与类型守卫的有效性 #

这个行为本质上是TypeScript结构类型系统和类型守卫逻辑共同作用的结果：

1. 子类型关系导致类型守卫失效
   TypeScript的自定义类型守卫（value is Dog）能否改变变量类型，取决于原始类型和目标类型的兼容性。在你的代码中，Pet是Dog的子类型：

   • Dog的所有必填属性（name: string），Pet都具备且类型匹配；
   • Dog的可选属性（ownerName?: string），Pet没有也不影响兼容性；
   • 结构类型系统允许子类型拥有额外属性（比如Pet的isFriendly）。

   编译器会认为：所有Pet类型的实例都已经符合Dog的类型要求，因此isDog(testAnimal)这个条件并没有提供新的类型信息，变量类型依然是Pet，自然无法访问Dog的可选属性ownerName。

2. 修改类型打破子类型关系
   你提到的那些“微小修改”本质上都是打破了Pet作为Dog子类型的关系：

   • 移除Pet的name或设为可空：Pet不再满足Dog的必填name属性，不再是Dog的子类型；
   • 将Dog的ownerName设为非可选：Dog新增了Pet没有的必填属性，Pet不再是Dog的子类型；
   • 给Dog添加非可选属性：同理，Pet缺少该必填属性，子类型关系被打破；
   • 将testAnimal改为Pet | Dog：原始类型是联合类型，isDog可以有效收窄为Dog；改为Pet & Dog则本身就包含ownerName属性。

   一旦子类型关系被打破，类型守卫就能生效，变量类型会被收窄为Pet & Dog，此时就能正常访问ownerName。

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