类型守卫实现方式

  // 类型谓词函数结构
function isType(value: any): value is TargetType {
  // 返回布尔值的类型判断逻辑
}
  

  interface Cat {
  meow: () => void;
  whiskers: number; // 鉴别属性
}

interface Dog {
  bark: () => void;
  breed: string; // 鉴别属性
}

// 自定义类型守卫
function isCat(pet: Cat | Dog): pet is Cat {
  return (pet as Cat).whiskers !== undefined;
}

function handlePet(pet: Cat | Dog) {
  // 方式1：使用自定义守卫
  if (isCat(pet)) {
    console.log(pet.whiskers); // 类型收窄为Cat
  } else {
    console.log(pet.breed); // 类型收窄为Dog
  }

  // 方式2：直接使用in操作符
  if ('whiskers' in pet) {
    pet.meow(); // TS自动推断为Cat类型
  } else {
    pet.bark(); // 自动推断为Dog
  }
}
  

  // 优化后的类型守卫（包含null检查）
function isCat(pet: Cat | Dog): pet is Cat {
  return pet !== null && 
         typeof pet === 'object' && 
         'whiskers' in pet;
}

// 支持扩展的动物类型
interface Rabbit {
  hop: () => void;
  earLength: number;
}

// 扩展守卫函数
function isRabbit(pet: Cat | Dog | Rabbit): pet is Rabbit {
  return 'earLength' in pet && 
         !('whiskers' in pet) &&
         !('breed' in pet);
}