没问题，我来帮你搞定这个提取单个重载签名的需求～

你说得对，直接用Foo['act']确实会拿到包含全部重载的函数类型。要精准提取(s: string): string这个特定签名，我们可以借助TypeScript的条件类型来实现，写一个通用的工具类型就能轻松筛选：

首先定义这个工具类型，它会匹配并提取符合指定参数列表和返回值类型的函数签名：

type ExtractSignature<T, Args extends any[], Return> = 
  T extends (...args: Args) => Return ? T : never;

接着把它用到你的Foo接口上，明确指定我们要匹配的参数类型[string]和返回值类型string：

interface Foo { 
  act(s: string): string; 
  act(s: number): Promise<string>; 
}

type strAct = ExtractSignature<Foo['act'], [string], string>;

现在strAct的类型就完全是你想要的(s: string) => string了！

这个方法的核心是利用条件类型的特性：它会遍历函数的所有重载签名，只保留能匹配(...args: Args) => Return的那一个，完美过滤掉不需要的重载逻辑。如果之后需要提取其他重载，只需要修改Args和Return的类型参数就行，灵活性拉满～

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