TypeScript类型声明：基础与进阶
TypeScript是一种为JavaScript添加了静态类型的编程语言，能够提高代码的可维护性和可靠性。类型声明是TypeScript的核心功能之一，通过定义明确的类型，开发者可以更好地约束代码行为，减少运行时错误。本文将详细介绍TypeScript的基础和进阶类型声明。
一、基础类型声明
1. 基本数据类型
TypeScript提供了与JavaScript相同的基本数据类型，并在其基础上添加了类型约束。
数字（Number）
let num: number = 10;
字符串（String）
let str: string = "Hello, TypeScript!";
布尔值（Boolean）
let isActive: boolean = true;
数组（Array）
可以使用两种方式声明数组类型：
let numArray: number[] = [1, 2, 3];
let strArray: Array<string> = ["one", "two", "three"];
元组（Tuple）
元组用于表示已知数量和类型的数组：
let tuple: [number, string] = [1, "one"];
枚举（Enum）
枚举类型用于定义一组命名常量：
enum Color {
Red,
Green,
Blue
}
let color: Color = Color.Green;
任意类型（Any）
any类型用于动态内容，不进行类型检查：
let randomValue: any = 42;
randomValue = "A string";
randomValue = true;
空值（Void）
void类型通常用于没有返回值的函数：
function logMessage(message: string): void {
console.log(message);
}
Null和Undefined
可以分别使用 null和 undefined类型：
let u: undefined = undefined;
let n: null = null;
2. 接口（Interface）
接口用于定义对象的类型：
interface Person {
name: string;
age: number;
}
let john: Person = {
name: "John Doe",
age: 30
};
3. 函数类型
可以为函数定义类型，包括参数和返回值：
function add(x: number, y: number): number {
return x + y;
}
let myAdd: (a: number, b: number) => number = add;
4. 类型别名（Type Alias）
类型别名用于给类型起一个新名字：
type StringOrNumber = string | number;
let value: StringOrNumber;
value = "Hello";
value = 123;
二、进阶类型声明
1. 联合类型（Union Types）
联合类型表示一个值可以是几种类型之一：
let id: number | string;
id = 10;
id = "A123";
2. 交叉类型（Intersection Types）
交叉类型将多个类型合并为一个类型：
interface CanFly {
fly(): void;
}
interface CanSwim {
swim(): void;
}
type Amphibious = CanFly & CanSwim;
let frog: Amphibious = {
fly() { console.log("Flying"); },
swim() { console.log("Swimming"); }
};
3. 类型推断
TypeScript能够根据赋值自动推断变量的类型：
let inferredString = "Hello, World!"; // 推断为string类型
4. 类型守卫（Type Guards）
类型守卫用于细化联合类型：
function isString(value: any): value is string {
return typeof value === "string";
}
function example(value: string | number) {
if (isString(value)) {
console.log("It's a string: " + value);
} else {
console.log("It's a number: " + value);
}
}
5. 泛型（Generics）
泛型用于创建可重用的组件：
function identity<T>(arg: T): T {
return arg;
}
let output = identity<string>("Hello");
6. 高级类型
条件类型（Conditional Types）
根据条件选择类型：
type NonNullable<T> = T extends null | undefined ? never : T;
映射类型（Mapped Types）
根据旧类型创建新类型：
type Readonly<T> = {
readonly [P in keyof T]: T[P];
};
interface Person {
name: string;
age: number;
}
let readonlyPerson: Readonly<Person> = {
name: "John",
age: 30
};
索引类型（Index Types）
用于查询对象类型的属性：
function getProperty<T, K extends keyof T>(obj: T, key: K) {
return obj[key];
}
let person = { name: "Alice", age: 25 };
let name = getProperty(person, "name");