guardWithTest是MethodHandle实现条件分支的核心机制，通过test（谓词句柄）、target（true分支）和fallback（false分支）三个句柄构建逻辑，要求test参数为后两者参数前缀，返回类型需有公共上界，支持运行时动态分支决策。
guardWithTest 是 MethodHandle 中实现条件分支的核心机制，它不依赖 if-else 语句，而是通过三个 MethodHandle 构建“测试 + 分支选择”逻辑：一个返回 boolean 的谓词句柄（test），一个用于 true 分支的句柄（target），一个用于 false 分支的句柄（fallback）。
guardWithTest 的签名与基本结构
其核心方法为：
MethodHandles.guardWithTest(test, target, fallback)要求三个句柄的参数类型兼容：test 的参数列表必须是 target 和 fallback 参数列表的前缀（即 test 可以少传参数，但不能多传）。执行时，test 先被调用；若返回 true，则用相同参数调用 target；否则调用 fallback。三者返回类型不必一致，但 guardWithTest 整体的返回类型会统一为 target 和 fallback 的公共返回类型（编译期推导，不匹配会抛 WrongMethodTypeException）。
参数对齐的关键细节
常见错误源于参数数量/类型不匹配。例如：
- test 接收 (int, String)，target 接收 (int, String, long)，fallback 接收 (int, String, double) → 合法，test 参数是两者的前缀
- test 接收 (String)，target 接收 (int, String) → 非法，test 参数不是 target 参数的前缀（顺序和数量都需严格匹配）
- target 返回 String，fallback 返回 int → 非法，无公共返回类型，构造时即失败
结合 dropArguments 和 insertArguments 实现灵活适配
实际中常需调整参数结构。比如 test 只需判断第一个参数，而 target/fallback 需要全部参数：
MethodHandle test = lookup.findStatic(Cond.class, "isEven", methodType(boolean.class, int.class));MethodHandle target = lookup.findVirtual(String.class, "length", methodType(int.class));
MethodHandle fallback = lookup.findVirtual(Object.class, "toString", methodType(String.class));
// 假设原始输入是 (int, String)，想用 int 判断，再把整个 (int, String) 传给 target/fallback
MethodHandle adaptedTest = MethodHandles.dropArguments(test, 1, String.class); // (int, String) → (int)
MethodHandle adaptedTarget = MethodHandles.insertArguments(target, 0, "dummy"); // 占位，实际需用 bindTo 或其他方式绑定对象
// 更典型做法：先 bind target/fallback 到具体对象，再用 guardWithTest
重点在于：先确保各 handle 有明确、可绑定的参数结构，再用 adaptors 对齐，而非强行让 guardWithTest 处理错位。
运行时动态性体现在哪里
guardWithTest 本身不“动态”——它生成的是一个固定逻辑的 MethodHandle。真正的动态性来自 test 句柄的实现：它可以是反射获取的任意方法、LambdaMetafactory 生成的函数接口适配器，甚至是另一个 guardWithTest 嵌套。只要 test 在每次调用时能根据当前参数计算出布尔值，整个分支行为就随输入实时变化。它不生成字节码，也不触发 JIT 特殊优化，但具备完全的运行时方法解析能力，适合构建规则引擎、协议分发器等场景。
