TypeScript字符串字面量类型的编译时转换实现问询

可行的替代方案 #

TypeScript 4.1及以上版本提供了内置的模板字面量类型工具，可以直接实现字符串字面量的大小写转换，结合映射类型就能达到你的需求：

const lower = ['a', 'b', 'c'] as const;

/**
 * 生成的 Upper 类型等价于 { 'a': 'A', 'b': 'B', 'c': 'C' }
 * Upper['a'] 会被推断为 'A'
 */
type Upper = {
  [C in typeof lower[number]]: Uppercase<C>;
};

如果你的TypeScript版本低于4.1，可以手动定义一个大小写映射表，再通过映射类型复用：

const lower = ['a', 'b', 'c'] as const;

// 手动定义小写转大写的类型映射
type LowerToUpperMap = {
  'a': 'A',
  'b': 'B',
  'c': 'C'
  // 按需扩展其他字母
};

type Upper = {
  [C in typeof lower[number]]: LowerToUpperMap[C];
};

为什么 c.toUpperCase() 无法运行 #

TypeScript的类型系统与运行时环境完全分离：

• 类型层面的c是一个字符串字面量类型（比如'a'），不是运行时的字符串值；
• toUpperCase()是JavaScript运行时的方法，只能在代码执行阶段调用，而类型检查阶段不会执行任何JS代码，仅做静态的类型演算。

因此你无法在类型定义中调用运行时的JS方法，只能使用TypeScript专门为类型系统设计的工具（比如Uppercase、Lowercase这类内置类型）。

为什么TypeScript不支持自定义编译时转换 #

TypeScript的设计核心是保持类型系统的可预测性、性能和与JavaScript的兼容性，开放自定义编译时JS函数会带来以下问题：

1. 性能损耗：类型检查阶段需要执行JS代码，会大幅增加编译时间，尤其是在大型项目中；
2. 不可预测性：JS函数可能包含副作用、依赖外部状态或逻辑分支，导致类型结果不稳定，难以调试；
3. 维护复杂度：允许任意JS代码介入类型系统，会模糊类型层与运行时的边界，增加工具链和类型系统的维护难度。

TypeScript选择通过扩展类型语法（如模板字面量、条件类型、映射类型）和提供内置工具的方式，覆盖大部分常见的类型转换场景，同时保证类型系统的可靠性。

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