TypeScript：能否无需显式指定将泛型解析为字符串字面量？

你提到的场景很常见——希望调用foo('FooBar')时，返回值的类型自动推断为{ type: 'FooBar' }，而不是宽泛的{ type: string }，同时不想手动写泛型参数或者as const。

其实在TypeScript 5.0及以上版本，我们可以通过**const泛型参数**来实现这个需求，不用额外的类型断言或显式泛型指定。修改你的函数定义如下：

function foo<const T>(type: T): { type: T } { return { type }; }

// 现在自动推断为 { type: 'FooBar' }
const bar = foo('FooBar');

为什么这个能生效？因为const泛型参数会告诉TypeScript：不要将传入的字面量类型拓宽为更宽泛的类型（比如string），而是保留它的原始字面量类型。这样当你传入'FooBar'时，T会被精确推断为'FooBar'，返回值类型自然就是{ type: 'FooBar' }了。

如果你的项目还在使用低于5.0的TypeScript版本，那确实没办法完全避免额外的写法——要么用as const断言，要么显式指定泛型参数。但升级到5.0+后，const泛型就是最简洁的解决方案。

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