如何在TypeScript中创建包含运行时新增字符串的联合类型？

问题核心 #

当你把编译时已知的字符串字面量数组和运行时动态获取的字符串（比如从数据库读取）合并后，TypeScript会把联合类型拓宽成string，而不是保留「已知字面量 + 动态值」的联合类型。这是因为动态字符串的类型是宽泛的string，TypeScript会自动将字面量类型收窄到它的超类型string。

可行解决方案 #

方案1：品牌类型（Brand Type）区分动态字符串 #

通过自定义品牌类型，把动态字符串标记为特定的子类型，既保留已知字面量的类型提示，又能接受运行时动态值，同时避免类型被完全拓宽成string。

// 定义品牌类型，标记这是运行时动态获取的字符串
type DynamicString = string & { __brand: 'DynamicString' };

// 已知固定字符串列表
const fixedItems = ['a', 'b', 'c'] as const;
type FixedItem = typeof fixedItems[number];

// 模拟从数据库获取动态字符串的函数
function getDynamicItems(): DynamicString[] {
  // 实际场景中这里是数据库查询逻辑
  return ['custom1', 'custom2'] as DynamicString[];
}

// 合并固定列表与动态列表
const combinedItems = [...fixedItems, ...getDynamicItems()];
// 最终联合类型：已知字面量 | 动态品牌字符串
type CombinedItem = FixedItem | DynamicString;

// 使用示例
const validFixed: CombinedItem = 'a'; // ✅ 正常通过类型检查
const validDynamic: CombinedItem = 'custom3'; // ✅ 正常通过（只要是DynamicString类型）
const invalid: CombinedItem = 'x'; // ❌ 报错：'x'不属于FixedItem也不是DynamicString

方案2：泛型捕获编译时可知的动态字面量 #

如果动态字符串在编译时就能确定（比如来自配置文件、静态枚举），可以用泛型来捕获它们的字面量类型，生成精确的联合类型。

// 已知固定字符串列表
const fixedItems = ['a', 'b', 'c'] as const;
type FixedItem = typeof fixedItems[number];

// 泛型函数合并固定列表与动态列表
function combineLists<T extends string>(dynamicItems: readonly T[]) {
  return [...fixedItems, ...dynamicItems] as const;
}

// 编译时已知的动态列表（比如从配置导入）
const dynamicItems = ['custom1', 'custom2'] as const;
const combinedItems = combineLists(dynamicItems);

// 最终联合类型："a" | "b" | "c" | "custom1" | "custom2"
type CombinedItem = typeof combinedItems[number];

为什么直接添加变量会导致类型变成string？ #

当你写const s: string = 'd'时，s的类型被显式声明为宽泛的string，而不是字面量类型'd'。和固定字面量数组扩展后，数组的类型会被推断为string[]（因为string是所有字符串字面量的超类型），所以typeof list2[number]自然就成了string。

如果是单个编译时已知的变量，可以用as const保留字面量类型：const s = 'd' as const;，但这不适用于运行时动态获取的值。

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