Java Academy · 课时

PECS 原则

生产者使用 Extends，消费者使用 Super

PECS 原则 是 CoddyKit 上的免费 Java Academy 课时。这是第 3 节课，共 4 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 Java Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 Java Academy 课程共包含 4 节课。

PECS 的含义

PECS 表示生产者使用 Extends，消费者使用 Super。这是 Joshua Bloch 在《Effective Java》中提出的一种助记法。

如果参数产生 T（您从中读取），请使用 ? extends T。
如果参数消费 T（您向其中写入），请使用 ? super T。

public class Main {
    public static void main(String[] args) {
        System.out.println("Producer Extends, Consumer Super");
    }
}

规范的 copy 方法

经典的 PECS 示例是复制方法。源是生产者，因此使用 ? extends T。目标是消费者，因此使用 ? super T。

import java.util.ArrayList;
import java.util.List;

public class Main {
    static <T> void copy(List<? extends T> src, List<? super T> dest) {
        for (T t : src) dest.add(t);
    }
    public static void main(String[] args) {
        List<Integer> src = List.of(1, 2, 3);
        List<Object> dest = new ArrayList<>();
        copy(src, dest);
        System.out.println(dest);
    }
}

为什么两个通配符都能提高灵活性

得益于 PECS，copy 可以处理许多类型组合：将整数源复制到 Number 或 Object 目标中，将 String 源复制到 CharSequence 目标中。

如果没有通配符，这些类型就必须完全匹配，从而严重限制代码复用。

import java.util.ArrayList;
import java.util.List;

public class Main {
    static <T> void copy(List<? extends T> src, List<? super T> dest) {
        for (T t : src) dest.add(t);
    }
    public static void main(String[] args) {
        List<Integer> ints = List.of(10, 20);
        List<Number> nums = new ArrayList<>();
        copy(ints, nums);
        System.out.println(nums);
    }
}

生产者示例

只从集合读取的方法应使用 extends。这里我们对一个生产者求和。

import java.util.List;

public class Main {
    static double sum(List<? extends Number> producer) {
        double total = 0;
        for (Number n : producer) total += n.doubleValue();
        return total;
    }
    public static void main(String[] args) {
        System.out.println(sum(List.of(1, 2, 3)));
        System.out.println(sum(List.of(1.1, 2.2)));
    }
}

消费者示例

只向集合写入的方法应使用 super。这里我们将值推入消费者。

import java.util.ArrayList;
import java.util.List;

public class Main {
    static void pushDigits(List<? super Integer> consumer) {
        for (int i = 0; i < 5; i++) consumer.add(i);
    }
    public static void main(String[] args) {
        List<Number> nums = new ArrayList<>();
        pushDigits(nums);
        System.out.println(nums);
    }
}

同时承担两种角色：使用普通类型

如果一个参数同时是生产者和消费者，就不应使用通配符。

既读取又写入同一个列表的方法需要使用确切类型 T。

import java.util.ArrayList;
import java.util.List;

public class Main {
    static <T> void rotate(List<T> list) {
        if (list.isEmpty()) return;
        T last = list.remove(list.size() - 1);
        list.add(0, last);
    }
    public static void main(String[] args) {
        List<Integer> list = new ArrayList<>(List.of(1, 2, 3));
        rotate(list);
        System.out.println(list);
    }
}

Comparator 中的 PECS

JDK 处处应用 PECS。Collections.max 接受 Comparator<? super T>，因为比较器会消费 T 值来进行比较。

import java.util.Comparator;
import java.util.List;

public class Main {
    public static void main(String[] args) {
        Comparator<Object> byHash = Comparator.comparingInt(Object::hashCode);
        List<String> words = List.of("a", "bb", "ccc");
        String max = java.util.Collections.max(words, byHash);
        System.out.println(max);
    }
}

Stream.collect 中的 PECS

许多函数式接口都遵循 PECS。Consumer<? super T> 可以接受一个为更宽泛类型编写的处理器。

import java.util.List;
import java.util.function.Consumer;

public class Main {
    public static void main(String[] args) {
        Consumer<Object> printer = o -> System.out.println("got: " + o);
        List<String> items = List.of("x", "y");
        items.forEach(printer); // forEach takes Consumer<? super T>
    }
}

函数的生产者与消费者

Function<? super T, ? extends R> 是完整的 PECS 形式：输入被消费（super），输出被产生（extends）。

这样，转换操作就可以接受更宽泛的输入，并返回更具体的输出。

import java.util.function.Function;

public class Main {
    static <T, R> R apply(Function<? super T, ? extends R> fn, T value) {
        return fn.apply(value);
    }
    public static void main(String[] args) {
        Function<Object, Integer> len = o -> o.toString().length();
        System.out.println(apply(len, "hello"));
    }
}

返回类型：避免使用通配符

不要在返回类型中使用通配符。这样会迫使调用者也处理通配符，把复杂性泄露给调用者。

请返回具体类型，并将通配符保留在能够提高灵活性的参数中。

import java.util.ArrayList;
import java.util.List;

public class Main {
    // Good: concrete return type
    static List<Number> doubled(List<? extends Number> src) {
        List<Number> out = new ArrayList<>();
        for (Number n : src) out.add(n.doubleValue() * 2);
        return out;
    }
    public static void main(String[] args) {
        System.out.println(doubled(List.of(1, 2, 3)));
    }
}

完整的 PECS 合并

把这些内容结合起来：从两个生产者读取数据，并将其合并到一个消费者中。

import java.util.ArrayList;
import java.util.List;

public class Main {
    static <T> void merge(List<? extends T> a, List<? extends T> b, List<? super T> out) {
        for (T t : a) out.add(t);
        for (T t : b) out.add(t);
    }
    public static void main(String[] args) {
        List<Integer> a = List.of(1, 2);
        List<Integer> b = List.of(3, 4);
        List<Number> out = new ArrayList<>();
        merge(a, b, out);
        System.out.println(out);
    }
}

快速检查

应用 PECS 规则。

回顾

您已经学习了 PECS 原则：

生产者使用 Extends：只读参数使用 ? extends T。
消费者使用 Super：只写参数使用 ? super T。
同时承担两种角色的参数使用普通类型参数。
避免在返回类型中使用通配符。

接下来，将这些理念应用于实际的 API 设计。

public class Main {
    public static void main(String[] args) {
        System.out.println("PECS recap: Producer Extends, Consumer Super");
    }
}

常见问题解答

「PECS 原则」课时是免费的吗？

是的 — 「PECS 原则」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 Java Academy 课程的其余内容，请升级到 CoddyKit PRO。 Java Academy 课程共包含 4 节课。

「PECS 原则」这节课中我会学到什么？

生产者使用 Extends，消费者使用 Super 你通过在浏览器中直接运行的动手代码来练习 Java Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 Java Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 Java Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。这是第 3 节课，共 4 节。

「PECS 原则」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 Java Academy 课中编写并运行代码吗？

能。每节 Java Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

← 返回 Java Academy