欢迎来到 TypeScript 学习！本章将为您介绍 TypeScript 的基础知识。 TypeScript 是 JavaScript 的一个超集，它提供了静态类型检查、类、接口等特性，使得编写大型应用程序变得更加容易和可维护。TypeScript 编写的代码可以被编译成 JavaScript，可以在任何支持 JavaScript 的环境中运行。
在本章中，我们将深入了解 TypeScript 的基础知识，包括类型注解、类和接口、函数、基本类型、高级类型和类型推断等。
类型注解
TypeScript 可以指定变量、函数、类等的类型，以便在编译时进行类型检查。
变量类型注解
以下是一个声明字符串类型的变量的示例：
let name: string = "TypeScript";
在这个示例中，我们使用 : 操作符指定了变量 name 的类型为 string。
函数类型注解
以下是一个接受两个数字并返回它们之和的函数的示例：
function add(x: number, y: number): number {
return x + y;
}
在这个示例中，我们使用 : 操作符指定了函数的参数类型和返回值类型。
类型注解的好处
使用类型注解可以帮助我们更早地发现代码中的错误，提高代码的可读性和可维护性。例如，以下是一个未使用类型注解的示例：
function add(x, y) {
return x + y;
}
let result = add(1, '2');
console.log(result);
在这个示例中，我们没有使用类型注解指定 add 函数的参数类型和返回值类型。当我们调用 add(1, '2') 时，代码不会报错，但是会返回一个错误的结果。如果我们使用类型注解，就可以更早地发现这个错误：
function add(x: number, y: number): number {
return x + y;
}
let result = add(1, '2'); // Error: Argument of type '"2"' is not assignable to parameter of type 'number'.
console.log(result);
在这个示例中，TypeScript 报告了一个类型错误，提示我们传递给 add 函数的第二个参数类型不匹配。
类和接口
TypeScript 支持类和接口，它们可以帮助我们组织代码和定义对象的结构。
类
以下是一个简单的类声明：
class Person {
name: string;
age: number;
constructor(name: string, age: number) {
this.name = name;
this.age = age;
}
sayHello() {
console.log(`Hello, my name is ${this.name} and I am ${this.age} years old.`);
}
}
在这个示例中，我们声明了一个 Person 类，它有一个 name 属性和一个 age 属性，以及一个 sayHello 方法。在构造函数中，我们使用 this 关键字来引用类的实例。
接口
以下是一个接口声明：
interface Person {
name: string;
age: number;
}
function greet(person: Person) {
console.log(`Hello, ${person.name}!`);
}
在这个示例中，我们声明了一个 Person 接口，它有一个 name 属性和一个 age 属性。在 greet 函数中，我们使用 Person 接口来指定参数 person 的类型。
类和接口的好处
使用类和接口可以帮助我们更好地组织代码和定义对象的结构，提高代码的可读性和可维护性。例如，以下是一个使用类和接口的示例：
interface Animal {
name: string;
eat(food: string): void;
}
class Cat implements Animal {
name: string;
constructor(name: string) {
this.name = name;
}
eat(food: string) {
console.log(`${this.name} is eating ${food}`);
}
}
let cat = new Cat('Tom');
cat.eat('fish');
在这个示例中，我们声明了一个 Animal 接口，它有一个 name 属性和一个 eat 方法。然后，我们声明了一个 Cat 类，它实现了 Animal 接口，并定义了自己的 name 属性和 eat 方法。最后，我们创建了一个 Cat 类的实例 cat，并调用了它的 eat 方法。
函数
TypeScript 支持函数，可以指定函数的参数类型和返回值类型。
函数参数类型
以下是一个接受两个数字并返回它们之和的函数：
function add(x: number, y: number): number {
return x + y;
}
在这个示例中，我们使用 : 操作符指定了函数的参数类型和返回值类型。
可选参数和默认参数
以下是一个接受两个数字并返回它们之和的函数，其中第二个参数为可选参数，第三个参数为默认参数：
function add(x: number, y?: number, z = 0): number {
return x + (y ?? 0) + z;
}
在这个示例中，我们使用 ? 操作符指定第二个参数 y 为可选参数，使用 = 操作符指定第三个参数 z 的默认值为 0。
剩余参数
以下是一个接受任意数量数字并返回它们之和的函数，其中使用了剩余参数：
function sum(...numbers: number[]): number {
return numbers.reduce((total, num) => total + num, 0);
}
在这个示例中，我们使用 ... 操作符指定剩余参数 numbers，它可以接受任意数量的数字参数。
基本类型
TypeScript 支持 JavaScript 的基本类型，包括布尔值、数字、字符串、数组、元组、枚举和任意值等。
布尔值
以下是一个布尔类型的变量声明：
let isDone: boolean = false;
在这个示例中，我们使用 boolean 类型指定变量 isDone 的类型为布尔值。
数字
以下是一个数字类型的变量声明：
let count: number = 10;
在这个示例中，我们使用 number 类型指定变量 count 的类型为数字。
字符串
以下是一个字符串类型的变量声明：
let message: string = "Hello, TypeScript!";
在这个示例中，我们使用 string 类型指定变量 message 的类型为字符串。
数组
以下是一个数字类型的数组声明：
let numbers: number[] = [1, 2, 3, 4, 5];
在这个示例中，我们使用 number[] 类型指定变量 numbers 的类型为数字类型的数组。
元组
以下是一个元组类型的变量声明：
let tuple: [string, number] = ["TypeScript", 2021];
在这个示例中，我们使用 [string, number] 类型指定变量 tuple 的类型为包含一个字符串类型和一个数字类型的元组。
枚举
以下是一个枚举类型的声明：
enum Color {
Red,
Green,
Blue,
}
let color: Color = Color.Red;
在这个示例中，我们声明了一个 Color 枚举类型，并将变量 color 的值设置为 Color.Red。
任意值
以下是一个任意值类型的变量声明：
let value: any = "hello";
value = 10;
在这个示例中，我们使用 any 类型指定变量 value 的类型为任意值，它可以被赋值为任何类型的值。
以上是 TypeScript 的类型系统的一些基础知识。在接下来的学习中，我们将深入了解这些概念，并学习更多高级特性。
