李刚的学习专栏

类型断言是一种编译时的机制，它不会在运行时检查类型，而是告诉编译器按照指定的类型处理变量。类型守卫是一种运行时的机制，它通过检查来确保变量的类型，并根据检查结果改变类型信息。类型确认是一种更加灵活的机制，它指定一个对象必须满足某种类型的结构，但不会改变该对象的类型。在编写 TypeScript 代码时，推荐尽可能使用类型守卫，因为它们提供了运行时的安全性。类型断言应该谨慎使用，只在你完全确定变量类型的情况下使用，以避免运行时错误。

本文将详细介绍keyof和typeof运算符的基本概念、应用场景以及如何结合使用它们来提高代码的类型安全性。keyof运算符用于获取一个类型的所有键名（属性名）。typeof运算符用于获取一个变量的类型。

泛型（Generics）本质上是一种参数化类型。在定义时不指定具体数据类型，用一个或多个占位符（通常用字母「如TUV」）来表示类型参数；而在使用时指定具体的数据类型。return arg;上述函数返回值的类型与参数类型相关；可以接收任何类型的参数，并返回相同类型的值。指类型参数，可以将其理解为类型声明需要的变量，在调用时传入具体的参数类型。调用时提供具体类型string省略不写，TypeScript 通常可以在泛型调用中推断出预期的类型参数。

在 TypeScript 中，对象类型用于定义对象的形状（shape），即对象包含哪些属性以及这些属性的类型。对象类型可以是具体的，也可以是抽象的，用于类型检查和类型推断。或。🚎 接口interface：适合定义对象的形状，并且可以被扩展和实现，这使得它在面向对象编程中非常有用。🚃 类型别名type：更灵活，可以定义更复杂的类型，包括联合类型、交叉类型、字面量类型和映射类型。

TypeScript 是 JavaScript 的一个超集，添加了类型系统和编译期错误检查等功能 => 静态类型检查。类型指的是一组具有相同特征的值。静态类型系统描述了运行程序时的值的形状和行为。TypeScript 支持块级类型声明，即类型可以声明在代码块（用大括号表示）里面，只在当前代码块有效。