答案。

问题的背景：

随着 TypeScript 的发展，可靠地在逻辑分支中确定变量的更窄类型的需求变得迫切。经典的类型检查（通过 typeof 或 instanceof）并不总是足够，尤其是在对象结构复杂或层次分明时。为了提高数据的安全性和便利性，TypeScript 实现了类型谓词（type predicates）机制，以便创建自定义类型保护（type guard）。

问题：

常规的类型检查无法向编译器提供后续代码中变量类型的信息，如果仅使用 true/false 的返回值。编译器“无法理解”检查的具体内容。这会导致在运行时出现隐式错误，当我们错误地访问不存在的属性时。

解决方案：

类型谓词（type predicates）通过 'param is Type' 的类型替代让编译器理解，在调用检查后可以将该参数视为特定类型。这类函数提高了类型安全性，并扩展了对复杂任务的类型缩小系统。

代码示例：

interface Bird {
  fly(): void;
  feathers: boolean;
}
interface Fish {
  swim(): void;
  fins: number;
}
function isBird(animal: Bird | Fish): animal is Bird {
  return (animal as Bird).fly !== undefined;
}
const pet: Bird | Fish = ...;
if (isBird(pet)) {
  pet.fly(); // OK: pet 现在是 Bird
} else {
  pet.swim(); // OK: pet 现在是 Fish
}

主要特点：

• 用户定义的谓词函数扩展了超出标准类型保护操作符的类型缩小机制；
• 谓词强制明确描述函数对类型的操作，提高了代码的透明度和安全性；
• 正确实现的用户自定义类型保护可以防止在处理联合类型时出现错误。

有陷阱的问题。

如果未在签名中明确指定返回类型 'param is Type'，类型保护函数是否仍能正常工作？

不能，如果在签名中未明确指定 'param is Type'，TypeScript 将无法缩小代码分支中的类型，尽管返回值可以是 true/false。编译器将无法理解该参数可以作为特定类型使用。

代码示例：

function isFish(animal: Fish | Bird): boolean {
  return (animal as Fish).swim !== undefined;
}
// 会工作吗？
if (isFish(pet)) {
  pet.swim(); // 错误：Property 'swim' does not exist
}

可以使用类型谓词检查原始值，例如字符串或数字吗？

可以，但通常更倾向于使用 typeof，这种类型保护会变得多余。不过，依然没有理由不实现用户自定义的保护：

function isString(x: unknown): x is string {
  return typeof x === "string";
}

类型保护函数是否提供对编译时类型错误的严格保护？

不完全。TypeScript 依赖于函数本身的实现，无法检查其内部逻辑的正确性。如果您错误地实现了检查，编译器将无法发现错误，这将在执行阶段出现问题。

function isFish(animal: Fish | Bird): animal is Fish {
  // 错误：总是返回 true
  return true;
}

常见错误与反模式

• 类型谓词中的逻辑错误：谓词中的错误或拼写错误会损害类型安全；
• 在类型保护中进行多余的类型断言；
• 在可以使用标准的 typeof/instanceof 的地方使用类型谓词。

实际案例

消极案例 开发者实现了一个谓词函数，但在结构检查中出错，导致该函数始终返回 true。代码通过了编译，但在运行时调用了不存在的方法。

优点：

• 代码可以处理不同类型而不出现编译错误。

缺点：

• 早期错误没有被捕获，仅在执行时暴露。

积极案例 类型谓词函数正确实现，并在边界值和错误数据上进行了单元测试。

优点：

• 最大的类型安全，易于扩展以适应新类型；
• 减少与联合类型和判别联合类型相关的问题。

缺点：

• 如果结构变化迅速，支持可能稍微复杂；类型保护函数可能过于详细。