如何限制外部TypeScript函数仅接受字符串字面量类型？

针对你提到的外部库函数foo(bar: string): SomeType，要实现调用阶段就拦截非指定字符串字面量的参数，你当前的重载写法存在局限性——仅在使用返回值时报错，而非调用阶段。下面提供两种更优方案：

方案1：封装类型安全的包装函数 #

因为无法修改外部库的函数实现，最直观的方式是自己封装一层，严格限制参数类型：

// 定义允许的参数字面量类型
type AllowedFooArgs = 'foo' | 'bar';

// 封装安全调用函数
const safeFoo = (bar: AllowedFooArgs): SomeType => {
  return foo(bar); // 字面量类型是string的子集，可安全调用原函数
};

调用safeFoo('nope')时，TypeScript会直接在参数位置抛出类型错误，完全符合你的需求。

方案2：利用泛型+条件类型实现参数级校验 #

如果不想额外封装函数，可以通过泛型结合条件类型，让不符合要求的参数在调用阶段直接报错：

type AllowedFooArgs = 'foo' | 'bar';

// 重新声明函数类型（覆盖外部库的声明）
declare function foo<T extends string>(
  bar: T extends AllowedFooArgs ? T : never
): SomeType;

这里通过泛型T约束参数，当传入的字符串不属于AllowedFooArgs时，参数类型会被推断为never，TypeScript会直接在调用时拦截错误，因为普通字符串无法赋值给never类型。

原重载写法的问题说明 #

你之前的重载写法中，第二个签名foo(bar: string): never会匹配所有字符串类型参数，TypeScript仅在返回值使用阶段才会因never类型报错，无法在调用阶段拦截。而上面的两种方案都直接在参数层面做了类型限制，从根源解决了问题。

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