TypeScript

TypeScript 是 Microsoft 开发的开源编程语言，是 JavaScript 的超集，主要提供静态类型检查和编译时错误报告，增强了代码的可维护性和可读性。

基本类型

TypeScript 提供了 JavaScript 所有的基本类型，同时也增加了一些新的类型。

• Boolean: let isDone: boolean = false;
• Number: let decimal: number = 6;
• String: let color: string = "blue";
• Array: let list: number[] = [1, 2, 3]; 或 let list: Array<number> = [1, 2, 3];
• Tuple: let x: [string, number]; x = ["hello", 10];
• Enum: enum Color {Red, Green, Blue}; let c: Color = Color.Green;
• Any: let notSure: any = 4;
• Void: function warnUser(): void { console.log("This is my warning message"); }
• Null 和 Undefined: let u: undefined = undefined; let n: null = null;
• Never: function error(message: string): never { throw new Error(message); }
• Object: let obj: object = { name: "Tom" };

接口

接口用于定义对象的类型。可以定义属性、方法和可选属性。

interface Person {
  firstName: string;
  lastName: string;
  age?: number; // 可选属性
  sayHi(): string; // 方法
}

类

TypeScript 支持面向对象编程的特性，包括类、继承、修饰符等。

class Animal {
  private name: string;
  constructor(name: string) {
    this.name = name;
  }
  public move(distance: number): void {
    console.log(`${this.name} moved ${distance}m.`);
  }
}
class Dog extends Animal {
  bark() {
    console.log("Woof! Woof!");
  }
}

泛型

泛型使得函数和类可以适应多种类型，提高代码的重用性。

function identity<T>(arg: T): T {
  return arg;
}
let output = identity<string>("myString");

类型推断

TypeScript 会根据变量的初始值推断出它的类型，减少显式类型注释的必要。

let x = 3; // x 被推断为 number 类型

类型断言

类型断言可以告诉编译器某个值的具体类型。

let someValue: any = "this is a string";
let strLength: number = (someValue as string).length;

联合类型和交叉类型

联合类型表示一个值可以是几种类型之一，交叉类型则表示将多个类型合并为一个类型。

let value: number | string;
value = 42;
value = "hello";

interface A {
  a: number;
}
interface B {
  b: number;
}
let ab: A & B = { a: 1, b: 2 };

高级类型

• 映射类型: 可以根据一个旧类型创建一个新类型。

type Readonly<T> = {
  readonly [P in keyof T]: T[P];
};

• 条件类型: 根据条件来选择类型。

type TypeName<T> = T extends string ? "string" : T extends number ? "number" : "object";

模块和命名空间

模块用于将代码组织成独立的文件和逻辑单元，命名空间用于将全局作用域划分为更小的作用域。

// 模块
export class MyClass {
  /* ... */
}
import { MyClass } from "./MyModule";

// 命名空间
namespace MyNamespace {
  export class MyClass {
    /* ... */
  }
}

装饰器

装饰器是一种特殊的类型声明，它能被附加到类声明、方法、访问符、属性或参数上，可以修改类的行为。

function sealed(constructor: Function) {
  Object.seal(constructor);
  Object.seal(constructor.prototype);
}
@sealed
class Greeter {
  greeting: string;
  constructor(message: string) {
    this.greeting = message;
  }
  greet() {
    return "Hello, " + this.greeting;
  }
}

类型检查机制

TypeScript 提供了丰富的类型检查机制，确保类型安全。

• 严格模式: 启用严格类型检查。
• 类型守卫: 用于确保代码在运行时的类型安全。

function isNumber(x: any): x is number {
  return typeof x === "number";
}
if (isNumber(value)) {
  console.log(value.toFixed(2)); // 现在 value 被认为是 number
}

兼容性和配置

TypeScript 提供了多种配置选项来控制编译行为和兼容性。

• tsconfig.json: 配置 TypeScript 编译器的行为。
• lib: 指定包含哪些库的声明文件。
• target: 指定编译目标 JavaScript 版本。

工具和生态系统

TypeScript 拥有丰富的工具和生态系统支持，包括编辑器插件（如 VSCode）、构建工具（如 Webpack）、框架（如 Angular）等。