在 TypeScript 中，守卫函数和类型保护是非常有用的特性，它们可以帮助我们在编写代码时更好地处理类型的不确定性。
什么是守卫函数？
守卫函数是一种用于确定类型的函数。它们通常使用条件判断的方式，根据某些条件的结果来确定一个值的类型。在 TypeScript 中，我们可以使用守卫函数来对联合类型进行类型细化。
示例代码：
interface Circle {
kind: "circle";
radius: number;
}
interface Square {
kind: "square";
sideLength: number;
}
type Shape = Circle | Square;
function getArea(shape: Shape) {
if (shape.kind === "circle") {
return Math.PI * shape.radius * shape.radius;
} else if (shape.kind === "square") {
return shape.sideLength * shape.sideLength;
}
}
在上面的例子中，getArea 函数接收一个 Shape 类型的参数，它可以是 Circle 或者 Square。通过在守卫函数中检查 shape.kind 的值，我们可以在运行时确定 shape 的真实类型并执行相应的计算。
什么是类型保护？
类型保护是一种用于确定类型的机制。当 TypeScript 发现一个值满足某种条件时，它会自动将该值的类型缩小为更具体的类型，从而在后续的代码中，我们可以获得更精确的类型信息。
示例代码：
interface Cat {
name: string;
meow(): void;
}
interface Dog {
name: string;
bark(): void;
}
function petSounds(pet: Cat | Dog) {
pet.name; // Ok，name 在 Cat 和 Dog 中都存在
if ("meow" in pet) {
pet.meow(); // Ok，pet 的类型被缩小为 Cat
} else if ("bark" in pet) {
pet.bark(); // Ok，pet 的类型被缩小为 Dog
}
}
在上述示例中，petSounds 函数接收一个 Cat 或 Dog 类型的参数 pet。通过使用 in 关键字进行类型保护，当检查到 pet 中存在 meow 属性时，TypeScript 将 pet 的类型缩小为 Cat。
守卫函数和类型保护的优势
使用守卫函数和类型保护能让我们在编写代码时更加安全和灵活。下面是它们的一些优势：
1. 避免运行时错误
通过在守卫函数中对类型进行细化，我们可以在编译时捕获一些潜在的运行时错误。这使得我们可以更早地发现和修复问题，而不是等到代码运行时才发现错误。
2. 更好的代码智能提示
通过使用守卫函数和类型保护，我们可以更准确地描述代码中的类型信息，从而让 TypeScript 编译器提供更好的代码智能提示。这样可以提高我们的编码效率和代码质量。
3. 支持复杂的类型判断
守卫函数和类型保护不仅支持简单的条件判断，还可以支持更复杂的类型判断。我们可以使用类型谓词、自定义类型守卫和类型判定表达式等方式来实现更复杂的类型判断，使我们的代码更加灵活和可读。
总结
在 TypeScript 中，守卫函数和类型保护是非常有用的特性。它们可以帮助我们在编写代码时更好地处理类型的不确定性，避免运行时错误，并提供更好的代码智能提示。了解和充分利用守卫函数和类型保护，可以让我们的代码更加健壮和可靠。
本文来自极简博客，作者：紫色风铃姬，转载请注明原文链接：TypeScript中的守卫函数
