如何在特定项目中重写TypeScript关联类型且不改动原文件

要在不修改原Class.ts的前提下替换Foo的类型，最简洁的方式是利用TypeScript的模块声明合并特性，在项目中添加自定义类型声明文件来覆盖原模块的类型定义。

具体步骤 #

1. 创建自定义类型声明文件
   在项目根目录（或任意TypeScript能识别的类型目录）新建一个.d.ts文件，比如custom-class-types.d.ts。

2. 重写目标模块的类型
   在这个文件里，声明原模块并重新定义Foo的类型，同时对齐Bar类的结构（保证类型兼容）：

// custom-class-types.d.ts
declare module './classes/Class' {
  // 替换成项目需要的特定字面量联合类型
  export type Foo = 'stringA' | 'stringB' | 'stringC';

  // 对齐原Bar类的类型结构，确保合并后类型正确
  export class Bar {
    foo: Foo;
    constructor(foo: Foo);
    logFoo(): void;
  }
}

注意：这里的模块路径./classes/Class必须和你在消费文件中导入Bar/Foo时的路径完全一致。

3. 确保TypeScript识别该声明文件
   检查你的tsconfig.json，确保include数组包含这个声明文件，比如：

{
  "compilerOptions": { /* 你的配置 */ },
  "include": [
    "src/**/*",
    "custom-class-types.d.ts" // 加上这行
  ]
}

验证效果 #

完成后，你的消费文件就能自动识别新的Foo类型：

file1.ts #

import { Bar } from './classes/Class';

const bar1 = new Bar('hello'); // ❌ TypeScript会抛出错误：类型"hello"不能赋值给类型"stringA"|"stringB"|"stringC"
const bar2 = new Bar('stringA'); // ✅ 完全符合类型要求，无错误

file2.ts #

import { Foo } from './classes/Class';

const obj1: { key: Foo } = {
  key: 'hello' // ❌ 同样会抛出类型错误
};
const obj2: { key: Foo } = {
  key: 'stringA' // ✅ 符合要求
};

备选方案（单文件局部替换） #

如果不想全局覆盖，也可以在单个消费文件里局部重定义类型：

// file1.ts
import { Bar as OriginalBar } from './classes/Class';

// 局部定义项目专属的Foo类型
type Foo = 'stringA' | 'stringB' | 'stringC';

// 继承原Bar类并约束构造函数参数类型
class Bar extends OriginalBar {
  constructor(foo: Foo) {
    super(foo);
  }
}

const bar1 = new Bar('hello'); // ❌ 报错
const bar2 = new Bar('stringA'); // ✅ 正常

这种方式适合只在少数文件里需要替换类型的场景，但全局声明文件的方式更高效。

内容的提问来源于stack exchange，提问作者kos