创建一个 TypeScript 类型，它代表字符串类型的第一个字母

Question

我有一个函数可以输出传递给它的字符串的第一个字母。就我而言，我知道可能的值是什么，假设是硬编码或通过泛型，并希望函数的返回类型与返回的字母完全相同，因此我可以将其传递给以后的函数。

我实际上找到了一种相当不优雅的方法，但我感觉它不稳定，并且可能无法在未来的 TypeScript 版本中工作，因为${infer FirstLetter} 在技术上可以代表任意数量的字符……它就是这样发生的TypeScript 目前只能找到第一个：

type Speed = 'fast' | 'slow' | 'medium';
type SpeedShort = Speed extends `${infer FirstLetter}${string}`
  ? FirstLetter
  : never;

作为一个函数声明，它可能看起来像：

declare function firstLetter<Letters extends string>(
  string: Letters,
): Letters extends `${infer FirstLetter}${string}`
  ? FirstLetter
  : never;

Answer 1

以下是您声明此类类型的方式：

type Speed = 'fast' | 'slow' | 'medium'
type SpeedShort = 'f' | 's' | 'm'

下面是你如何实现转换功能：

function firstLetter(speed: Speed): SpeedShort {
    switch (speed) {
        case 'fast': return 'f'
        case 'slow': return 's'
        case 'medium': return 'm'
    }
}

playground

我知道要编写更多代码。 但是，这段代码仍然表达了意图，并由编译器正确验证，不会留下人为错误的地方（即更改一种类型而不更改映射函数将导致编译时错误）。