TypeScript 是一种面向对象的编程语言，它是 JavaScript 的一个超集，意味着它包含了 JavaScript 语言的所有元素，同时还有一些额外的特性和语法，最重要的是它引入了类型系统。TypeScript 中的类型约束和类型注释是其类型系统的核心。
类型约束
类型约束指的是我们在编写代码时，通过定义变量的类型，限制了这个变量可以接受的值的类型。在 TypeScript 中，我们可以使用以下几种类型约束：
布尔类型
布尔类型表示一个逻辑值，只可以取 true 或 false。在 TypeScript 中，我们可以使用 boolean 来表示布尔类型。例如，下面定义了一个布尔类型的变量：
let isDone: boolean = false;
数字类型
数字类型表示一个数值，可以是整数或小数。在 TypeScript 中，我们可以使用 number 来表示数字类型。例如，下面定义了一个数字类型的变量：
let decimal: number = 6;
字符串类型
字符串类型表示一个字符序列，可以包含任意 Unicode 字符。在 TypeScript 中，我们可以使用 string 来表示字符串类型。例如，下面定义了一个字符串类型的变量：
let name: string = "Tom";
数组类型
数组类型表示一个元素集合，可以是同一类型或不同类型的元素。在 TypeScript 中，我们可以使用 type[] 或 Array<type> 来表示数组类型。例如，下面定义了一个数字类型的数组变量：
let arr: number[] = [1, 2, 3]; let arr2: Array<number> = [1, 2, 3];
元组类型
元组类型表示一个固定长度的数组，它可以包含不同类型的元素。在 TypeScript 中，我们可以使用 [type1, type2, ...] 来表示元组类型。例如，下面定义了一个元组类型的变量：
let tuple: [string, number] = ["Tom", 18];
枚举类型
枚举类型表示一个有限集合的值，它们是在编译时确定的。在 TypeScript 中，我们可以使用 enum 来表示枚举类型。例如，下面定义了一个颜色枚举类型的变量：
enum Color {Red, Green, Blue}
let color: Color = Color.Green;任意类型
任意类型可以表示任何类型的值，它没有类型约束。在 TypeScript 中，我们可以使用 any 来表示任意类型。例如，下面定义了一个任意类型的变量：
let value: any = "Hello World!";
空值类型
空值类型表示没有值，常用于函数的返回值。在 TypeScript 中，我们可以使用 void 来表示空值类型。例如，下面定义了一个空值类型的函数：
function printMessage(): void {
console.log("Hello World!");
}Null 和 Undefined 类型
Null 和 Undefined 类型表示 null 和 undefined 值。在 TypeScript 中，我们可以使用 null 和 undefined 来表示 Null 和 Undefined 类型。例如，下面定义了两个变量，分别为 Null 和 Undefined 类型：
let nullValue: null = null; let undefinedValue: undefined = undefined;
Object 类型
Object 类型表示任何非原始类型的值，除了以上的类型以外，都可以使用 Object 类型。在 TypeScript 中，我们可以使用 Object 类型来表示 Object 类型的变量。例如，下面定义了一个 Object 类型的变量：
let obj: Object = {name: "Tom", age: 18};类型注释
通过类型注释，我们可以为变量、函数、参数等添加类型信息，从而增加代码的可读性和可维护性。在 TypeScript 中，我们可以使用以下方式进行类型注释：
变量类型注释
变量类型注释可以帮助我们准确地知道变量的类型和类型信息。在 TypeScript 中，我们可以使用冒号和类型名称的方式进行变量类型注释。例如，下面定义了一个数字类型的变量，并添加了类型注释：
let num: number; // 变量 num 的类型为数字类型
函数类型注释
函数类型注释可以帮助我们准确地知道函数的参数和返回值的类型和类型信息。在 TypeScript 中，我们可以使用箭头符号和类型名称的方式进行函数类型注释。例如，下面定义了一个函数类型注释：
function add(a: number, b: number): number { // 函数 add 的参数 a 和 b 的类型为数字类型，返回值类型为数字类型
return a + b;
}接口类型注释
接口类型注释可以帮助我们准确地知道对象的属性和类型信息。在 TypeScript 中，我们可以使用 interface 关键字定义接口，并使用接口来注释对象类型。例如，下面定义了一个接口类型注释：
interface Person { // 定义 Person 接口
name: string; // name 属性类型为字符串类型
age: number; // age 属性类型为数字类型
}
let tom: Person = {name: "Tom", age: 18}; // 用 Person 接口来注释变量 tom 的类型总结
在 TypeScript 中，类型约束和类型注释是其类型系统的核心，通过使用它们，我们可以更准确地表达代码的意图，避免出现一些类型错误。在实际使用中，我们应该尽可能地使用类型约束和类型注释，从而提升代码的可维护性和可读性。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/64cf3f6db5eee0b5256a39ea