如何在TypeScript中结合const断言使用String.prototype.toUpperCase？

我尝试在TypeScript中获取字符串字面量的大写版本，代码如下：

const directions = ['asc', 'desc'] as const

type Directions = typeof directions[number]

const [asc, desc] = directions

const order: Record<string, Uppercase<Directions>> = {
  a: asc.toUpperCase(),  // 期望类型为'ASC'
  d: desc.toUpperCase(), // 期望类型为'DESC'
}

但String.prototype.toUpperCase的返回类型是string，导致TypeScript抛出错误：

Type 'string' is not assignable to type "ASC" | "DESC".

我试过两种方案，但都有明显缺陷：

• 类型断言方案：用as强制指定类型，但无法保证运行时安全，比如可以把任意字符串断言成目标类型而不报错：

  const order: Record<string, Uppercase<Directions>> = {
    a: '😈'.toUpperCase() as Uppercase<Directions>,
    d: '😈'.toUpperCase() as Uppercase<Directions>,
  }
  

• 自定义函数方案：封装一个泛型toUpperCase函数，虽然能保证类型安全，但需要团队统一使用自定义函数，容易让新手混淆：

  const toUpperCase = <T extends string>(input: T): Uppercase<T> => input.toUpperCase() as Uppercase<T>
  
  const order: Record<string, Uppercase<Directions>> = {
      a: toUpperCase(asc),
      d: toUpperCase(desc),
  }
  

有没有办法既能使用原生toUpperCase方法，又能保证类型安全？

TypeScript支持模块扩展，可以修改内置String接口的toUpperCase方法类型，让它针对字符串字面量返回精确的大写类型：

// 扩展String接口
interface String {
  toUpperCase<T extends string>(this: T): Uppercase<T>;
}

// 原代码无需修改，即可获得正确类型
const directions = ['asc', 'desc'] as const

type Directions = typeof directions[number]

const [asc, desc] = directions

const order: Record<string, Uppercase<Directions>> = {
  a: asc.toUpperCase(), // 类型自动推断为'ASC'
  d: desc.toUpperCase(), // 类型自动推断为'DESC'
}

方案优势 #

• 完全使用原生方法：不需要自定义函数，开发者可以正常调用toUpperCase()，没有学习成本
• 类型安全：对于字符串字面量，TypeScript会自动推断出精确的大写字面量类型；如果传入的是宽泛的string类型，返回值还是string，符合预期
• 运行时无额外开销：只是修改类型定义，不会改变原生方法的运行逻辑

注意事项 #

• 扩展代码需要放在模块环境中（比如带有import/export的文件），如果是全局脚本，可以用declare global包裹：

  declare global {
    interface String {
      toUpperCase<T extends string>(this: T): Uppercase<T>;
    }
  }
  
  export {} // 确保文件被识别为模块
  

• 该扩展仅影响TypeScript类型检查，不会改变toUpperCase的实际运行行为，对于非ASCII字符（比如表情符号），原生方法的处理逻辑保持不变，但类型上会被推断为Uppercase<T>，如果需要严格校验，可以结合类型守卫进一步限制。

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