TypeScript 4.1 及以上版本可直接使用内置的Uppercase工具类型实现字符串字面量转大写。需注意，实现该功能的模板字面量语法（${infer}）本身也要求 TypeScript 4.1+，因此不存在低于该版本的通用手动兼容方案，手动实现主要用于学习原理或自定义映射逻辑。

快速处理思路

根据需求选择方案，注意语法本身有版本门槛：

// TypeScript 4.1+ 直接使用内置类型（推荐）
type Upper = Uppercase<'hello world'> // 结果：'HELLO WORLD'

// 手动实现原理演示（仍需 TS 4.1+ 支持模板字面量语法）
type MyUppercase<S extends string> = S extends `${infer F}${infer R}`
  ? `${F extends keyof LowerCaseMap ? LowerCaseMap[F] : F}${MyUppercase<R>}`
  : ''

分步处理

步骤 1：确认 TypeScript 版本

在tsconfig.json中检查compilerOptions.target和lib配置，或运行tsc `--version`查看版本。模板字面量类型需要 TypeScript 4.1 及以上。

步骤 2：选择实现方案

版本 4.1+ 直接使用内置类型。若需手动实现（如自定义映射），需定义完整的字符映射表，不能依赖内置Uppercase辅助：

// 定义小写到大写的映射表（部分示例）
type LowerCaseMap = {
  a: 'A', b: 'B', c: 'C', d: 'D', e: 'E',
  f: 'F', g: 'G', h: 'H', i: 'I', j: 'J',
  k: 'K', l: 'L', m: 'M', n: 'N', o: 'O',
  p: 'P', q: 'Q', r: 'R', s: 'S', t: 'T',
  u: 'U', v: 'V', w: 'W', x: 'X', y: 'Y',
  z: 'Z'
}

// 基于映射表的递归实现
type MyUppercase<S extends string> = S extends `${infer F}${infer R}`
  ? `${F extends keyof LowerCaseMap ? LowerCaseMap[F] : F}${MyUppercase<R>}`
  : ''

步骤 3：处理边界情况

空字符串、非字母字符、特殊符号等需要保持不变。递归实现时要注意 TypeScript 的递归深度限制。

怎么验证是否生效

在 TypeScript 文件中定义类型后，将鼠标悬停在类型名称上查看推断结果，或使用类型断言验证：

// 使用类型断言验证
type Test = Uppercase<'hello'>
const test: Test = 'HELLO' // 编译通过
// const test2: Test = 'hello' // 编译错误

// 使用工具类型检查
type AssertEqual<T, U> = [T] extends [U] ? [U] extends [T] ? true : false : false
type Check = AssertEqual<Uppercase<'test'>, 'TEST'> // 应为 true

常见坑

• 递归深度限制：根据实测经验，复杂递归类型建议控制在 50 字符以内，具体取决于 TS 版本和配置，过长会导致类型计算超时或报错
• 语法版本要求：模板字面量类型（${infer}）本身需要 TypeScript 4.1+，不存在低于该版本的通用手动兼容方案
• 多字节字符：内置Uppercase对 Unicode 字符的支持有限，中文等非字母字符保持不变
• 性能影响：复杂类型计算会延长编译时间，大型项目中应谨慎使用深度递归类型

参考来源

• TypeScript 官方文档 - Template Literal Types
• TypeScript 官方文档 - Utility Types