如何在TypeScript模块中同时将const用作typeof类型和运行时值？

你的核心问题在于：types.ts 里的字符串常量仅作为类型被引用时，TypeScript 不会将其编译为运行时代码（因为文件不是模块，没有导出），导致运行时找不到变量。同时你不想因为模块化而增加过多导入成本，以下是几种高效的解决方案：

方案一：将常量与类型放在同一模块导出（推荐） #

这是最清晰且符合模块化规范的做法，既保留类型提示，又保证运行时有值可用，还避免循环导入问题。

修改 types.ts，导出常量和类型：

// types.ts
export const BLUE_COLOR_TYPE = 'blue';
export const RED_COLOR_TYPE = 'red';

export type BlueColor = { type: typeof BLUE_COLOR_TYPE };
export type RedColor = { type: typeof RED_COLOR_TYPE };

然后在 helper.ts 中同时导入常量和类型：

// helper.ts
import { BLUE_COLOR_TYPE, RED_COLOR_TYPE, BlueColor, RedColor } from './types';

export function makeBlueColor(): BlueColor {
  return { type: BLUE_COLOR_TYPE };
}

export function makeRedColor(): RedColor {
  return { type: RED_COLOR_TYPE };
}

为什么可行？ #

• TypeScript 在编译时会自动移除仅用于类型的导入，不会增加运行时代码体积
• 常量被明确导出，运行时会被编译为可用的变量
• 这种结构不存在循环导入（helper 依赖 types，types 不依赖任何文件）

方案二：使用类型专属导入优化（可选） #

如果你想明确区分类型和常量的导入，可以用 TypeScript 3.8+ 支持的类型专属导入语法，让代码更清晰：

// helper.ts
import { BLUE_COLOR_TYPE, RED_COLOR_TYPE } from './types';
import type { BlueColor, RedColor } from './types';

// 或者合并成一行
import { BLUE_COLOR_TYPE, RED_COLOR_TYPE, type BlueColor, type RedColor } from './types';

这种写法会让 TypeScript 明确知道哪些是类型，编译时会完全移除类型相关的导入语句，不影响运行时。

不推荐的方案：全局变量声明 #

虽然可以通过全局声明让常量无需导入就能使用，但这种方式容易造成全局命名空间污染，仅在特殊场景下考虑：

修改 types.ts 为模块并声明全局常量：

// types.ts
declare global {
  const BLUE_COLOR_TYPE: 'blue';
  const RED_COLOR_TYPE: 'red';
  type BlueColor = { type: typeof BLUE_COLOR_TYPE };
  type RedColor = { type: typeof RED_COLOR_TYPE };
}

// 必须添加这一行让文件成为模块
export {};

然后在入口文件 index.ts 中导入 types.ts 以加载全局声明：

// index.ts
import './types';
import * as helper from './helper';

function test() {
  const blue = helper.makeBlueColor();
  const red = helper.makeRedColor();
}
test();

这种方式虽然省去了导入步骤，但代码的可维护性会下降，不建议在大型项目中使用。

内容的提问来源于stack exchange，提问作者Tomáš Hübelbauer