20、TypeScript 中的类型健全性、类型覆盖追踪与泛型编程

TypeScript 中的类型健全性、类型覆盖追踪与泛型编程

1. TypeScript 中的类型不健全问题

在 TypeScript 编程中，类型不健全（Unsoundness）是一个常见且需要关注的问题。当一个符号在运行时的值与其静态类型不一致时，就会出现类型不健全的情况，这可能会导致程序崩溃或出现其他不良行为，而且不会产生类型错误。

以下是一些常见的导致类型不健全的情况：
- 属性名冲突 ：过于通用的属性名可能会导致名称冲突。例如，使用像 type 这样的通用属性名，可能会引发问题。建议选择更具体的属性名，如 ageInYears 和 ageFormatted ，以避免此类错误。
- 可选属性 ：可选属性也是类型不健全的一个来源。在添加可选属性之前，需要仔细考虑，因为它们可能会导致类型不准确。
- 其他来源 ： any 类型、类型断言（ as 、 is ）、对象和数组查找以及不准确的类型定义，都可能导致类型不健全。同时，避免修改函数参数，因为这可能会导致类型不健全。如果不打算修改参数，可以将它们标记为只读。另外，要确保子类与父类的方法声明相匹配。

2. 追踪类型覆盖以防止类型安全倒退

即使启用了 noImplicitAny 并为所有隐式 any 类型的值添加了类型注解， <