如何返回TypeScript内置字符串操作类型？

你已经掌握了模板字面量类型的用法：比如定义HelloSomething = \Hello ${string}`后，返回对应格式的模板字符串，TypeScript就能正确识别类型。但换成Capitalize`这类内置字符串操作类型时，直接写首字母大写的逻辑代码会出现类型不匹配报错——原因很简单：TypeScript的内置字符串操作类型是类型层面的转换规则，而我们写的JavaScript代码是运行时的值操作，TS没办法自动把这两者关联起来，得手动打通类型和值的边界。

下面给出两种可行的解决办法：

办法1：使用类型断言 #

既然你确认自己的代码逻辑能实现首字母大写的效果，可以用as关键字手动告诉TypeScript，返回值符合目标类型：

type Capital = Capitalize<string>;
function capitalWorld(string: string): Capital { 
    return (string.charAt(0).toUpperCase() + string.slice(1)) as Capital;
}

办法2：结合泛型与内置类型（更精确） #

如果想要类型推断更精准，能根据输入的具体字符串得出对应的首字母大写类型，可以用泛型约束输入，再结合Capitalize类型：

function capitalWorld<T extends string>(str: T): Capitalize<T> {
    return (str.charAt(0).toUpperCase() + str.slice(1)) as Capitalize<T>;
}

// 示例：传入"world"时，返回值类型会被推断为"World"
const capitalizedStr = capitalWorld("world"); // 类型为"World"

本质上，这类内置字符串操作类型只作用于类型系统，不会影响运行时代码，所以必须通过类型断言来让TS认可运行时代码的结果符合类型要求。

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