标签: 泛型

本文详细介绍了编程中泛型类型参数的逆变与协变概念。协变允许子类型容器向上转型为父类型容器（返回值场景），逆变允许父类型容器向下转型为子类型容器（参数场景）。文章对比了协变、逆变与不变，并解释了引入逆变与协变以兼顾灵活性和类型安全的原因。

本文深入解析了 TypeScript 类型系统，对比 interface 与 type 的差异和应用场景，强调类型注解的工程价值，并探讨类型谓词、泛型约束、条件类型等进阶实践。同时，分析了编译性能优化策略和未来演进方向。

TypeScript 中 `never` 类型表示永不存在的值，常见于抛出异常或无限循环函数。它可用于排除不需要的类型，如 `NonNullable`。`never` 还可用于 `switch` 或 `if` 语句中，通过类型检查避免遗漏条件分支，确保代码的完备性。