附录 C：术语表

本附录列出了 TypeScript 中常用的术语及其定义，帮助读者快速理解和掌握 TypeScript 的核心概念。术语按字母顺序排列。

A

  • 抽象类 (Abstract Class)
    定义：一种不能直接实例化的类，通常用作其他类的基类，包含抽象方法（需要子类实现）和具体实现。
    示例：abstract class Animal { abstract makeSound(): void; }

  • 类型别名 (Type Alias)
    定义：使用 type 关键字为类型定义一个新名称，可用于基本类型、联合类型等。
    示例：type Point = { x: number; y: number };

  • 类型断言 (Type Assertion)
    定义：手动指定一个值的类型，告诉编译器“相信我，这个值是这个类型”。
    示例：let value = "hello" as string;

  • any 类型 (Any Type)
    定义：TypeScript 中的“万能类型”，表示可以是任意类型，关闭类型检查。
    示例：let anything: any = 42; anything = "hello";

B

  • 布尔类型 (Boolean Type)
    定义：表示真或假的基本类型。
    示例：let isDone: boolean = false;

C

  • 类 (Class)
    定义：面向对象编程的基础，用于定义对象的结构和行为，支持继承和封装。
    示例：class Person { name: string; constructor(name: string) { this.name = name; } }

  • 编译器 (Compiler)
    定义：将 TypeScript 代码转换为 JavaScript 代码的工具，通常指 tsc。
    示例：运行 tsc app.ts 生成 app.js。

  • 条件类型 (Conditional Types)
    定义：基于条件表达式动态推导类型的机制，常用于泛型。
    示例：T extends U ? X : Y

D

  • 声明文件 (Declaration File)
    定义：以 .d.ts 结尾的文件，用于为 JavaScript 库提供类型定义。
    示例：declare module "my-lib" { export function doSomething(): void; }

  • 默认参数 (Default Parameter)
    定义：函数参数的默认值，当调用时未提供参数则使用该值。
    示例：function greet(name: string = "Guest") { return "Hello, " + name; }

E

  • 枚举 (Enum)
    定义：一组命名的常量值，用于表示固定的选项集合。
    示例：enum Color { Red, Green, Blue }

  • ES6 模块 (ES6 Module)
    定义：使用 import 和 export 语法定义的模块系统，TypeScript 支持其类型检查。
    示例：export const x = 10; import { x } from "./module";

F

  • 函数重载 (Function Overloading)
    定义：为同一函数提供多个类型签名，以支持不同的参数类型或数量。
    示例：
    function add(a: number, b: number): number;
function add(a: string, b: string): string;
function add(a: any, b: any): any { return a + b; }

G

  • 泛型 (Generics)
    定义：允许在定义函数、类或接口时使用类型参数，以提高代码复用性和类型安全性。
    示例：function identity<T>(arg: T): T { return arg; }

I

  • 接口 (Interface)
    定义：定义对象结构的契约，可用于类型检查和继承。
    示例：interface User { name: string; age: number; }

J

  • JSX
    定义：一种嵌入式语法，用于在 TypeScript 中编写类似 HTML 的代码，常用于 React。
    示例：const element = <div>Hello</div>;

L

  • 字面量类型 (Literal Type)
    定义：表示具体值的类型，如字符串字面量、数字字面量等。
    示例：let direction: "up" | "down" = "up";

M

  • 模块 (Module)
    定义：组织代码的单元，TypeScript 支持 ES6 模块和 CommonJS 模块。
    示例：export default class MyClass {}

  • 映射类型 (Mapped Types)
    定义：基于现有类型创建新类型，通常使用键名映射。
    示例：type Readonly<T> = { readonly [P in keyof T]: T[P]; }

N

  • 命名空间 (Namespace)
    定义：用于组织代码的逻辑分组，避免全局命名冲突（现多被模块替代）。
    示例：namespace Utils { export function log() {} }

  • never 类型 (Never Type)
    定义：表示永远不会发生的值的类型，如抛出错误或无限循环的返回值。
    示例：function fail(): never { throw new Error("Failed"); }

  • null
    定义：表示空值，与 undefined 不同，需显式赋值。
    示例：let value: null = null;

O

  • 可选参数 (Optional Parameter)
    定义：函数中标记为可选的参数，使用 ? 表示。
    示例：function log(message?: string) { console.log(message); }

  • 对象类型 (Object Type)
    定义：描述对象的结构，可以通过接口或类型别名定义。
    示例：let obj: { x: number; y: number } = { x: 1, y: 2 };

R

  • 只读属性 (Readonly Property)
    定义：标记为 readonly 的属性，初始化后不可修改。
    示例：interface Point { readonly x: number; }

  • 剩余参数 (Rest Parameter)
    定义：使用 ... 收集函数中的剩余参数为数组。
    示例：function sum(...numbers: number[]): number { return numbers.reduce((a, b) => a + b); }

S

  • 严格模式 (Strict Mode)
    定义：通过 strict 选项启用的一组类型检查规则，提升代码安全性。
    示例："strict": true（在 tsconfig.json 中）。

  • 字符串类型 (String Type)
    定义：表示文本数据的基本类型。
    示例：let name: string = "Alice";

T

  • 类型推断 (Type Inference)
    定义：编译器根据上下文自动推导变量的类型。
    示例：let num = 42; // 推断为 number

  • 类型保护 (Type Guard)
    定义：通过条件判断缩小变量类型的机制。
    示例：if (typeof x === "string") { x.toLowerCase(); }

U

  • 联合类型 (Union Type)
    定义：表示一个值可以是多种类型之一，使用 | 分隔。
    示例：let value: string | number = "hello";

  • unknown 类型 (Unknown Type)
    定义：表示未知类型，比 any 更安全，需类型检查后使用。
    示例：let data: unknown; if (typeof data === "string") { data.toLowerCase(); }

V

  • void 类型 (Void Type)
    定义：表示函数没有返回值。
    示例：function log(): void { console.log("Hello"); }

通过掌握这些术语，您将能够更轻松地理解 TypeScript 的文档、错误信息以及社区讨论。

Last Updated::