What is “ in ” operator and why it is used in TypeScript?

什么是“in”运算符？

in 运算符是用于检查对象是否拥有某个特定属性的运算符。它会返回一个布尔值，即 true 或 false。在JavaScript及其超集TypeScript中，in 运算符的基本用法是这样的：

javascript
const car = {
  make: 'Toyota',
  model: 'Corolla'
};

console.log('make' in car);  // 输出：true
console.log('year' in car);  // 输出：false

在这个例子中，'make' in car 检查对象 car 中是否存在属性 'make'，因为存在，所以返回 true。相反，'year' in car 检查 'year' 是否为 car 的一个属性，因为不存在，所以返回 false。

为什么在TypeScript中使用它？

在 TypeScript 中，in 运算符不仅用于检查属性是否存在，它还与类型保护（Type Guards）机制紧密结合，这是 TypeScript 特有的一种功能。类型保护允许你在条件代码块中更具体地指定变量的类型。

例子：

假设我们有一个类型为 Car | Truck 的变量，其中 Car 和 Truck 是两个不同的接口，但有一些共同的属性。我们可以使用 in 运算符来确定具体的接口类型，然后针对性地访问某些属性：

typescript
interface Car {
  make: string;
  model: string;
}

interface Truck {
  make: string;
  payloadCapacity: number;
}

function getVehicleInfo(vehicle: Car | Truck) {
  if ('payloadCapacity' in vehicle) {
    console.log(`载重量: ${vehicle.payloadCapacity}`);
  } else {
    console.log(`型号: ${vehicle.model}`);
  }
}

const myTruck: Truck = { make: 'Ford', payloadCapacity: 1000 };
getVehicleInfo(myTruck);  // 输出：载重量: 1000

在这个例子中，'payloadCapacity' in vehicle 检查 vehicle 是否为 Truck 类型，因为只有 Truck 接口具有 payloadCapacity 属性。这允许 TypeScript 在条件语句的不同分支中安全地使用 vehicle.payloadCapacity 和 vehicle.model。

总结来说，in 运算符在 TypeScript 中的使用可以帮助开发者在运行时检查属性的存在，以及在编译时获得类型安全，这样可以编写更加健壮和易于维护的代码。