在TypeScript中能否实现仅字母字符串的类型注解？

可以在TypeScript中实现这种仅允许大小写字母字符的类型注解，通过递归模板字面量类型就能达成需求。

类型定义实现 #

// 定义单个小写字母类型
type LowercaseAlphabet = 'a' | 'b' | 'c' | 'd' | 'e' | 'f' | 'g' | 'h' | 'i' | 'j' | 'k' | 'l' | 'm' | 'n' | 'o' | 'p' | 'q' | 'r' | 's' | 't' | 'u' | 'v' | 'w' | 'x' | 'y' | 'z';
// 通过Uppercase工具类型生成大写字母类型
type UppercaseAlphabet = Uppercase<LowercaseAlphabet>;
// 合并大小写字母类型
type Alphabet = LowercaseAlphabet | UppercaseAlphabet;
// 递归定义仅允许字母的字符串类型
type OnlyAlfabetChars = `${Alphabet}${OnlyAlfabetChars}` | Alphabet;

使用示例 #

// 符合规则的赋值（编译通过）
const validName: OnlyAlfabetChars = "someAlfabetChars";

// 不符合规则的赋值（编译报错）
const invalidName1: OnlyAlfabetChars = "some alpfabet"; // 包含空格，不符合类型约束
const invalidName2: OnlyAlfabetChars = "123"; // 包含数字，不符合类型约束

原理说明 #

• Alphabet类型覆盖了所有大小写英文字母；
• OnlyAlfabetChars通过递归模板字面量，允许两种情况：单个字母，或者一个字母后面拼接另一个符合OnlyAlfabetChars规则的字符串，从而确保整个字符串仅由字母组成。

注意：这种类型约束仅在编译阶段生效，如果是运行时动态生成的字符串，需要额外添加运行时验证逻辑（比如正则匹配/^[A-Za-z]+$/）来保证合法性。

内容的提问来源于stack exchange，提问作者Keisuke Nagakawa 永川 圭介