infer 是 TypeScript 中用于在条件类型中延迟推导类型的关键字，必须出现在 extends 右侧，通过匹配结构提取类型并绑定到类型变量，如 ReturnType、InstanceType 等均依赖其实现类型提取与解包。

infer 是 TypeScript 中用于在条件类型中**延迟推导类型**的关键字，它本身不能独立使用，必须出现在 extends 子句的右侧（即条件类型的“检查部分”），配合 extends 实现类型提取。它的核心作用是：当 TypeScript 在类型层面“匹配”某个结构时，让编译器把匹配到的某一部分“记下来”，并赋予一个类型变量名，供后续使用。

infer 的基本用法：从函数类型中提取返回值类型

这是最经典、最直观的例子：

type ReturnType = T extends (...args: any[]) => infer R ? R : never;

这里：

• T extends (...args: any[]) => infer R 表示：如果类型 T 能被匹配为“一个函数类型”，那么就把它的返回值类型“推导出来”，记作 R；
• infer R 不是声明变量，而是告诉编译器：“请在这里尝试提取一个类型，并叫它 R”；
• 匹配成功后，R 就代表该函数的实际返回类型，于是整个条件类型的结果就是 R；
• 如果 T 不是函数类型，就不满足 extends 条件，结果回退到 never。

使用示例：

type A = ReturnType string>; // string
type B = ReturnType; // unknown（取决于 tsconfig）

infer 提取泛型参数：从构造函数或实例类型中拿 T

常见需求：已知一个类构造函数类型 new () => T，想拿到里面的 T（即实例类型）。

type InstanceType = T extends new (...args: any[]) => infer R ? R : any;

再比如，想从 Promise 中提取 T：

Java调试

通过 JDWP 实现 Java 远程调试：连接远程 JVM、设置断点、单步执行代码、查看变量值、获取调用栈。适用于需要调试远程 Java 应用、排查运行时状态、追踪代码执行流程的场景。 术语注解 JDWP：Java Debug Wire Protocol，Java 调试有线协议（Java 远程调试底层通信协议） remote JVM：远程 Java 虚拟机 step through code：代码单步调试（步入 / 步过 / 步出调试） inspect variables：变量查看 / 变量检视 stac

下载

type UnwrapPromise = T extends Promise ? U : T;

这样就能层层解包：

type X = UnwrapPromise>; // string
type Y = UnwrapPromise>>; // Promise（只解一层）

infer 可多次出现，也可嵌套使用

一个条件类型中可以有多个 infer，只要它们出现在不同位置且逻辑可推导：

type Parameters = T extends (...args: infer P) => any ? P : never;

甚至可以组合使用，例如同时提取参数和返回值：

type FuncParts = T extends (...args: infer A) => infer R
  ? { args: A; return: R }
  : never;

调用 FuncParts boolean> 得到：
{ args: [number, string]; return: boolean }。

注意事项与常见误区

• infer 只在条件类型（T extends U ? X : Y）中合法，写在普通类型别名或接口里会报错；
• 不能在非分布式的上下文中“跨分支”引用同一个 infer 类型变量（例如在 else 分支里用 R）；
• 推导结果可能为联合类型：若 T 是多个函数的联合，infer R 会得到对应返回类型的联合；
• 避免过度嵌套条件类型，容易导致编译器性能下降或推导失败；
• 推荐搭配 type 别名封装，提升可读性和复用性。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南