设计图书馆时何时使用PECS？

PECS（Producer-Extends-Consumer-Super）是Java中泛型的一个概念，用于描述泛型通配符的使用场景。在设计图书馆时，可以使用PECS来帮助解决一些泛型相关的问题。

当设计图书馆时，如果有一个泛型类型作为参数或返回值，需要考虑如何使用PECS来限制泛型的使用。下面是一个使用PECS的示例代码：

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

public class Library<T> {
    private List<? extends T> books;

    public Library(List<? extends T> books) {
        this.books = books;
    }

    public void addBooks(List<? extends T> newBooks) {
        // 可以添加新的书籍到图书馆
        // books.addAll(newBooks);  // 编译错误，无法添加新的书籍
    }

    public List<? extends T> getBooks() {
        // 返回图书馆中的书籍
        return books;
    }

    public static void main(String[] args) {
        List<Book> bookList = new ArrayList<>();
        bookList.add(new Book("Java Programming"));
        bookList.add(new Book("Python Programming"));

        Library<Book> library = new Library<>(bookList);

        List<Book> newBooks = new ArrayList<>();
        newBooks.add(new Book("C++ Programming"));

        library.addBooks(newBooks);  // 编译错误，无法添加新的书籍

        List<Book> books = library.getBooks();
        for (Book book : books) {
            System.out.println(book.getTitle());
        }
    }
}

class Book {
    private String title;

    public Book(String title) {
        this.title = title;
    }

    public String getTitle() {
        return title;
    }
}

在上面的示例中，Library 类有一个泛型参数 T，并且 books 字段使用了通配符 ? extends T 来限制泛型的使用。这样做的好处是可以从 Library 中获取书籍的列表，但不允许向 Library 中添加新的书籍。

在 main 方法中，我们创建了一个 Library<Book> 对象，并尝试向图书馆中添加新的书籍。由于使用了 ? extends T 通配符，编译器会阻止我们添加新的书籍，以保证泛型的类型安全性。

最后，我们从图书馆中获取书籍列表，并打印出书籍的标题。

通过使用PECS，我们可以在设计图书馆时更好地控制泛型的使用，提高代码的可读性和类型安全性。