如何在TypeScript类中封装关联类型，实现Complex.Input式引用？

现有代码结构如下：

// complex.ts
export type ComplexInput = { real: number, imag: number }

export class Complex {
  constructor(value: ComplexInput) {
    // …
  }
}

// index.ts
import { Complex, type ComplexInput } from './complex.ts'

const input: ComplexInput = {
  real: 3,
  imag: -2,
}

const complex = new Complex(input)

这段代码可以正常运行，但希望将 ComplexInput 类型的作用域隶属于 Complex 类，能通过 Complex.Input 的形式引用，理想效果如下：

// complex.ts
export class Complex {
  type Input = { real: number, imag: number } // 假设语法（TypeScript 不支持）
  constructor(value: Complex.Input) {
    // …
  }
}

// index.ts
import { Complex } from './complex.ts'

const input: Complex.Input = {
  real: 3,
  imag: -2,
}

const complex = new Complex(input)

由于 TypeScript 不允许在类内部直接声明 type，请问如何实现上述行为，同时保持类型与类紧密关联？TypeScript 是否有推荐的类内封装此类类型的方法？

实现方案 #

TypeScript 虽然不支持在类内部直接定义类型，但可以通过以下几种方式实现类型与类的紧密关联，达到 Complex.Input 的引用效果：

1. 使用同名命名空间嵌套类型（推荐方案） #

这是 TypeScript 官方推荐的方式，通过与类同名的命名空间封装关联类型，外部可直接通过 类名.类型名 访问：

// complex.ts
export class Complex {
  constructor(value: Complex.Input) {
    this.real = value.real;
    this.imag = value.imag;
  }

  private real: number;
  private imag: number;
}

// 定义与类同名的命名空间，封装关联类型
export namespace Complex {
  export type Input = { real: number, imag: number };
}

使用时只需导入 Complex 即可，无需单独导入类型：

// index.ts
import { Complex } from './complex.ts'

const input: Complex.Input = {
  real: 3,
  imag: -2,
}

const complex = new Complex(input)

这种方式的优势：

• 类型与类的命名空间完全绑定，逻辑上属于类的一部分
• 外部引用简洁，无需额外导入类型
• 符合 TypeScript 惯用写法

2. 利用类的静态属性关联类型 #

如果不想使用命名空间，可以通过声明类的静态属性关联类型，虽需额外类型声明，但能实现相同引用效果：

// complex.ts
// 先定义类型
type Input = { real: number, imag: number };

export class Complex {
  // 声明静态属性作为类型占位（运行时无实际值，仅用于类型关联）
  static Input: never;

  constructor(value: typeof Complex.Input) {
    this.real = value.real;
    this.imag = value.imag;
  }

  private real: number;
  private imag: number;
}

// 扩展类的静态类型，将Input类型关联到静态属性上
declare module './complex.ts' {
  interface Complex {
    static Input: Input;
  }
}

使用方式与第一种完全一致，外部依然通过 Complex.Input 引用类型。

3. TypeScript 5.2+ 静态初始化块（可选） #

若使用 TypeScript 5.2 及以上版本，可利用静态初始化块进一步封装，本质仍基于命名空间或静态属性思路，适合需在静态层面做额外逻辑的场景：

// complex.ts
export class Complex {
  static Input: typeof Complex.Input;

  constructor(value: Complex.Input) {
    this.real = value.real;
    this.imag = value.imag;
  }

  private real: number;
  private imag: number;

  static {
    // 静态初始化块，可添加逻辑
    type Input = { real: number, imag: number };
    // 仅做类型关联，运行时无实际赋值
  }
}

// 补充类型声明
export namespace Complex {
  export type Input = { real: number, imag: number };
}

总结 #

最推荐同名命名空间嵌套类型的方案，它既符合 TypeScript 设计理念，又能清晰绑定类型与类，同时保持代码简洁可读。

内容的提问来源于stack exchange，提问作者Yukulélél