PECS原则不参与Proxy代理机制本身，但保障拦截中泛型参数类型安全：对? extends T只读、? super T只写，并依赖接口契约与编译期检查实现安全透传。
Java 中 PECS 原则在 Proxy 拦截参数透传时，不直接参与代理机制本身，但对拦截方法中泛型参数的类型安全传递至关重要。Proxy 本身基于反射和原始类型（raw types）运作，其 InvocationHandler.invoke() 方法签名是：
Object invoke(Object proxy, Method method, Object[] args) throws Throwable;
这里 args 是 Object[]，所有参数都被擦除为 Object，泛型信息在运行时已丢失。PECS 的价值，恰恰体现在你 如何设计被代理接口的方法签名、如何封装/转发参数、以及 如何在拦截逻辑中安全地读写泛型集合参数 —— 而不是在 Proxy 底层实现里。
下面分场景说明关键处理点：
✅ 拦截方法接收泛型集合参数（只读场景）
假设被代理接口有：
立即学习“Java免费学习笔记（深入）”；
public interface UserService {
void processUsers(List<? extends Person> users); // 生产者：只取不放
}你在 InvocationHandler 中拦截该调用：
@Override
public Object invoke(Object proxy, Method method, Object[] args) throws Throwable {
if ("processUsers".equals(method.getName())) {
List<? extends Person> users = (List<? extends Person>) args[0];
// ✅ 安全：可遍历、转型为 Person 或调用 Person 方法
for (Person p : users) {
System.out.println(p.getName());
}
// ❌ 编译报错：不能 add，类型安全由 extends 保证
// users.add(new Student()); // error
}
return null;
}→ 这里 ? extends Person 明确表达了“该集合产出 Person 及其子类”，拦截逻辑只需消费（读取）数据，无需写入，PECS 帮你守住只读边界。
✅ 拦截方法接收泛型集合参数（只写场景）
若方法定义为：
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
public interface DataSink {
void collect(List<? super Student> sink); // 消费者：只放不取
}拦截时：
List<? super Student> sink = (List<? super Student>) args[0];
// ✅ 安全：可放入 Student 及其任意子类
sink.add(new Student("Alice"));
sink.add(new Graduate("Bob")); // Graduate extends Student
// ⚠️ 注意：取出只能当 Object 用
Object item = sink.get(0); // 不敢强转为 Student —— 实际可能是 List<Object>→ ? super Student 放宽了输入兼容性，让 Proxy 能接受 List<Student>、List<Person> 甚至 List<Object>，适合日志、审计、缓存等“写入型”拦截。
✅ 透传泛型参数给目标方法（类型安全转发）
最典型痛点：你写了一个通用代理，要将 List<Apple> 安全传给声明为 List<? extends Fruit> 的目标方法。
// 通用转发逻辑（伪代码）
public <T> void forwardTo(Method targetMethod, List<? extends T> src) {
try {
// ✅ PECS 成对使用：src 是生产者，target 参数需是消费者或匹配上界
targetMethod.invoke(targetObj, src);
} catch (Exception e) { /* ... */ }
}但注意：Proxy 无法自动推断 T。你必须在代理构造时或方法调用前，通过 Method.getGenericParameterTypes() 解析泛型签名，再结合 ? extends / ? super 判断是否允许透传。例如：
- 若目标形参是
List<? extends Fruit>，而实参是List<Apple>→ ✅ 允许（Apple extends Fruit） - 若目标形参是
List<Fruit>，而实参是List<Apple>→ ❌ 编译期就过不去（不变性），除非用通配符桥接
→ 所以，真正起作用的是 你在代理外层定义的接口契约，PECS 让这个契约可被 Proxy 安全承载，而不是 Proxy 自身理解 PECS。
⚠️ 重要限制：Proxy 不保留泛型元数据
Proxy 创建的代理对象，其所有方法签名都基于接口的 编译后字节码。由于类型擦除：
-
List<String>和List<Integer>在Method.getGenericParameterTypes()返回中虽保留ParameterizedType，但运行时args[i]已是Object - 你无法在
invoke()中靠instanceof判断args[0]是List<String>还是List<Integer>—— 它们都是ArrayList实例
→ 所以 PECS 的类型约束，完全依赖编译期检查 + 接口设计，Proxy 只是忠实执行你定义好的、符合 PECS 的契约。
不复杂但容易忽略
