如何为可接受任意参数但返回字符串的TS函数保留类型提示？

要定义一个可接受任意参数但必须返回字符串的函数类型，同时保留具体函数的参数类型提示与安全，你可以通过以下两种方式实现：

方法1：使用satisfies关键字（TypeScript 4.9+） #

这是最简洁的方案，satisfies会检查函数是否符合约束（返回字符串），同时保留原函数的参数类型信息，调用时能正确提示参数要求：

// 定义基础约束类型：任意参数，返回字符串
type Foo = (...args: any[]) => string;

// 无参数函数
const alpha = () => `no arguments` satisfies Foo;
alpha(); // 正确，无参数提示

// 单个字符串参数函数
const bravo = (a: string) => `uses one argument${a}` satisfies Foo;
bravo(/* 提示需要传入string类型参数 */); // 类型安全，参数提示正确

// 两个参数（number + string）的函数
const charlie = (a: number, b: string) => `uses two arguments: ${a} and ${b}` satisfies Foo;
charlie(/* 提示需要传入number和string类型参数 */); // 参数提示与类型检查正常

方法2：泛型函数/工具函数（兼容旧版TS） #

如果你的TypeScript版本低于4.9，无法使用satisfies，可以用泛型捕获具体函数的参数类型，同时约束返回值为字符串：

方式A：泛型类型直接声明 #

// 泛型类型：TArgs捕获参数列表，约束返回值为string
type Foo<TArgs extends any[]> = (...args: TArgs) => string;

// 显式指定参数类型
const bravo: Foo<[string]> = (a) => `uses one argument${a}`;
bravo("test"); // 正确提示string参数

// 自动推断参数类型（TS会根据函数实现推导TArgs）
const charlie: Foo<[number, string]> = (a, b) => `uses two arguments: ${a} and ${b}`;
charlie(123, "hello"); // 参数提示与类型检查正常

方式B：工具函数封装 #

通过工具函数自动推断参数类型，无需手动指定泛型：

type Foo = (...args: any[]) => string;

function createFoo<T extends any[]>(fn: (...args: T) => string): (...args: T) => string {
  return fn;
}

// 自动捕获参数类型
const alpha = createFoo(() => `no arguments`);
const bravo = createFoo((a: string) => `uses one argument${a}`);
const charlie = createFoo((a: number, b: string) => `uses two arguments: ${a} and ${b}`);

// 调用时均有正确的参数提示与类型安全
alpha();
bravo("test");
charlie(123, "hello");

为什么原来的方案失效？ #

你之前使用的(...args: never[]) => string意味着该函数不接受任何参数（never[]表示空且不可扩展的参数列表）。虽然TypeScript允许将接受参数的函数赋值给它（函数参数的逆变特性），但调用时的类型提示会被强制覆盖为never[]，导致丢失具体函数的参数信息，也就无法获得正确的类型提示与安全检查。

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