在TypeScript的类型系统里，对象类型往往混合了数据属性和函数属性。当我们需要基于已有接口抽取出所有方法，并保留它们原始的调用签名，单纯用基础工具类型很难表达这种筛选逻辑。类型体操的核心思路是结合映射类型、条件类型和keyof查询，在编译期完成对键的过滤与签名保留。
利用条件类型与映射类型筛选函数键
提取函数属性的第一步，是找出对象类型中值类型为函数的那些键。我们可以定义一个辅助工具类型，通过keyof T遍历所有键，再用T[K] extends Function做条件判断。这里要注意，TypeScript中的Function类型较为宽泛，若想更精确可约束为(...args: any) => any。下面的代码展示了如何得到一个仅包含函数键的联合类型。
这种写法在实际项目中非常实用，比如当我们拿到一个复杂的类实例类型，只想把它的方法名罗列出来做权限控制时，就可以复用该逻辑。值得注意的是，如果原类型含有索引签名如[key: string]: any，那么keyof会引入string或number，此时需要额外排除，否则会把索引也误判为函数键。
type FunctionKeys<T> = {
[K in keyof T]: T[K] extends (...args: any) => any ? K : never
}[keyof T];
interface UserModel {
id: number;
name: string;
save: (data: Partial<UserModel>) => void;
remove: (id: number) => boolean;
readonly version: string;
}
type UserMethods = FunctionKeys<UserModel>;
// 结果: "save" | "remove"
提取函数属性并保留完整调用签名
仅拿到函数键还不够，我们常常需要一个新的对象类型，它的属性就是原函数属性，且签名完全一致。这时可以在映射类型中直接利用条件类型返回原属性类型，而不是never。通过Pick的变体或者自定义映射，能够生成方法子集类型，供后续代理或包装使用。
在下面的示例中，MethodMap类型会遍历所有键，仅当值是函数时才保留该属性，其他键映射为never后再通过keyof剔除。这种方式比手动维护方法接口更安全，因为一旦原类型新增方法，派生类型会自动同步。不过要注意可选函数属性如onChange?: () => void，条件判断仍然成立，但生成的新类型中该属性会带有?标记，调用时需做空值检查。
type MethodOnly<T> = {
[K in keyof T]: T[K] extends (...args: any) => any ? T[K] : never
};
type UserMethodObject = MethodOnly<UserModel>;
// 等价于 { save: (data: Partial<UserModel>) => void; remove: (id: number) => boolean; id: never; name: never; version: never }
如果希望直接得到干净的方法对象而不带never字段，可以组合Pick与前面定义的FunctionKeys。这样最终类型只包含真正的函数属性，且调用签名原样保留，非常适合用来声明RPC客户端的本地存根。
type PickMethods<T> = Pick<T, FunctionKeys<T>>;
type UserClient = PickMethods<UserModel>;
// 结果: { save: (data: Partial<UserModel>) => void; remove: (id: number) => boolean }
处理重载、只读与复杂签名的边界情况
真实业务里的对象类型可能包含函数重载，例如一个query方法既有字符串参数版本也有对象参数版本。TypeScript在条件类型T[K] extends (...args: any) => any中会把重载合并后的调用签名用于判断，提取出的类型通常保留最后一个重载签名，这可能丢失信息。若需要完整重载，可借助函数声明合并的特性，在源类型中用接口继承方式显式声明，而不是依赖推导。
另一个常见陷阱是readonly修饰符。上面的映射类型默认不会保留readonly，如果需要，应在映射修饰符前加readonly关键字，即readonly [K in keyof T]。同样，若原类型使用了--exactOptionalPropertyTypes等严格选项，可选函数的提取结果在赋值兼容性上会有微妙差异。理解这些边界，才能让类型体操产出的代码在大型项目中稳定可控。
type ReadonlyMethods<T> = {
readonly [K in keyof T]: T[K] extends (...args: any) => any ? T[K] : never
};
interface Service {
readonly init: (cfg: object) => void;
ping: () => boolean;
}
type SafeMethods = Pick<Service, FunctionKeys<Service>>;
// { readonly init: (cfg: object) => void; ping: () => boolean }
综上，通过组合keyof、映射类型与条件类型，我们能在类型层面精确提取对象中的函数属性并保留签名。只要留意索引签名、重载与只读修饰符，这套模式就能在API抽象、方法代理和自动化类型生成中发挥巨大价值。
TypeScript类型体操对象类型函数提取修改时间：2026-08-17 02:10:25