TypeScript作为JavaScript的超集，其类型系统是其核心特性之一。它不仅提供了基本的数据类型，还支持高级类型，如联合类型、交叉类型、泛型等，这些高级类型使得TypeScript在大型项目中更具优势。本文将通过代码示例，带你深入了解TypeScript的类型系统和高级类型的应用。
首先，我们来看一个简单的联合类型的应用。联合类型（Union Types）允许我们表示一个值可以是几种类型之一。例如，我们可以定义一个函数，它接受一个参数，这个参数可以是字符串或数字：
function printId(id: string | number) {
console.log("Your ID is:", id);
}
printId(101); // 正确
printId("202"); // 正确
接下来是交叉类型（Intersection Types），它允许我们合并多个类型到一个类型中。这对于需要同时满足多个类型要求的场景非常有用：
interface Person {
name: string;
}
interface Loggable {
log(): void;
}
class ConcretePerson implements Person, Loggable {
name: string = "John Doe";
log() {
console.log(this.name);
}
}
const person = new ConcretePerson();
person.log(); // 正确
泛型（Generics）是TypeScript中一个强大的特性，它允许我们为函数、接口和类创建可重用的组件，这些组件可以支持多种类型的操作：
function identity<T>(arg: T): T {
return arg;
}
const output = identity<string>("myString"); // 类型为 "string"
const output2 = identity<number>(100); // 类型为 "number"
我们还可以使用泛型来创建泛型接口，这样可以在不同的上下文中重用相同的结构：
interface GenericIdentityFn<T> {
(arg: T): T;
}
const identityFn: GenericIdentityFn<number> = identity; // 正确
TypeScript还支持条件类型（Conditional Types），它允许我们基于类型表达式的结果来创建新的类型：
type IsNumber<T> = T extends number ? "Yes" : "No";
type A = IsNumber<4>; // "Yes"
type B = IsNumber<"hello">; // "No"
最后，我们来看一个更复杂的示例，结合了泛型和条件类型，来实现一个类型安全的函数：
type Append<T extends string | number, U extends string | number> =
T extends string ? U extends string ? `${
T}${
U}` : T
: U;
const result: Append<"Hello", "World">; // 类型为 "HelloWorld"
通过这些示例，我们可以看到TypeScript的类型系统和高级类型的强大之处。它们不仅提高了代码的可读性和可维护性，还帮助我们构建更健壮的应用程序。掌握这些高级类型，将使你在TypeScript开发中游刃有余。
