为什么obj['NonExistentKey']不在TS中抛出一个错误？

在TypeScript中，obj['NonExistentKey'] 不会抛出错误的原因与TypeScript的类型系统和运行时行为有关。以下是详细解释：

基础概念

类型系统：TypeScript是一种静态类型语言，它在编译时进行类型检查。这意味着它会在代码运行之前检查类型错误。
索引访问类型：在TypeScript中，使用索引访问（如 obj[key]）时，编译器会根据对象的类型推断返回值的类型。如果键不存在，TypeScript不会在编译时抛出错误，而是会推断返回值为 undefined。
运行时行为：JavaScript（以及TypeScript）在运行时允许访问不存在的属性，而不会抛出错误。这种情况下，属性值会是 undefined。

优势

灵活性：允许访问不存在的属性使得代码更加灵活，可以在不知道对象具体结构的情况下进行操作。
避免运行时错误：通过返回 undefined 而不是抛出错误，可以避免程序在运行时因为意外访问不存在的属性而崩溃。

类型推断

假设我们有以下TypeScript代码：

interface MyObject {
    existingKey: string;
}

const obj: MyObject = { existingKey: "value" };

const value = obj['NonExistentKey']; // TypeScript 推断 value 的类型为 string | undefined

在这个例子中，尽管 NonExistentKey 不存在于 MyObject 接口中，TypeScript 仍然会推断 value 的类型为 string | undefined，而不是抛出编译时错误。

应用场景

动态属性访问：当你需要根据运行时的条件来访问对象的属性时，这种行为非常有用。
可选属性：在设计接口或类型时，某些属性可能是可选的，这时允许访问不存在的属性可以简化代码逻辑。

解决问题的方法

如果你希望在编译时强制检查某个键是否存在，可以使用以下几种方法：

类型守卫：使用类型守卫来确保键存在。

function hasKey<T, K extends keyof any>(obj: T, key: K): obj is T & Record<K, unknown> {
    return key in obj;
}

if (hasKey(obj, 'NonExistentKey')) {
    const value = obj['NonExistentKey']; // 现在这里 TypeScript 知道 key 存在
}

使用 keyof 和类型断言：

const keys: (keyof MyObject)[] = ['existingKey'];
const key = keys[0];

if (keys.includes(key)) {
    const value = obj[key]; // 这里 TypeScript 知道 key 是有效的
}

通过这些方法，你可以在编译时增加对属性存在的检查，从而提高代码的健壮性。

总结来说，TypeScript 不会在访问不存在的属性时抛出错误，而是通过类型推断来处理这种情况，这增加了代码的灵活性和可维护性。