TypeScript类型谓词示例中类型断言是否属于“欺骗”TS？

首先，你的理解有部分合理性，但“欺骗”TypeScript这个说法并不准确，我们来拆解这段代码的逻辑：

为什么需要pet as Fish？ #

先明确前提，假设我们的类型定义如下：

interface Fish { swim: () => void; }
interface Bird { fly: () => void; }

函数isFish的参数pet是Fish | Bird联合类型，编译阶段TypeScript只知道这个参数可能是两种类型中的一种。如果直接写pet.swim，TS会报错——因为Bird类型并没有swim属性，TS不允许访问联合类型中不存在的属性。

这里的pet as Fish是类型断言，它的作用是告诉TS：“我现在明确知道这个值可以当作Fish类型处理，暂时跳过类型检查”。这不是“欺骗”，而是为了写出运行时的检查逻辑——毕竟TypeScript的类型信息在运行时不存在，我们必须通过实际的属性存在性判断来区分类型。

类型谓词和运行时检查的关系 #

你提到的“返回谓词告知TS这是Fish类型”，顺序其实是反过来的：

1. 我们先通过(pet as Fish).swim !== undefined在运行时检查这个值是否拥有swim属性；
2. 当判断返回true时，类型谓词pet is Fish才会告诉TS：“现在可以确定这个pet是Fish类型了”；
3. 如果返回false，TS就会推断pet是Bird类型。

换句话说，类型谓词是把运行时检查的结果同步给TypeScript，让TS能在后续代码中正确做类型推断，而不是为了避免TypeError——这段代码的逻辑恰恰是通过检查来避免后续可能的运行时错误。

总结 #

• pet as Fish是为了绕过TS的编译阶段检查，让我们能执行必要的运行时属性判断，并非欺骗；
• 类型谓词pet is Fish是运行时检查的“翻译器”，把JS层面的检查结果转化为TS能理解的类型信息；
• 整个逻辑的核心是：用运行时的属性存在性判断区分类型，再通过类型谓词让TS感知到这个类型结果。

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