Какво е принципът PECS и как се прилага в Java?

Принципът PECS (Producer Extends Consumer Super) е мнемонично правило за определяне кога да използвате ключовите думи extends и super при работа с wildcard типове в Java генериците.

• Производител (Producer): Когато използвате генеричен параметър за получаване на данни (извличане на елементи от колекция), използвайте wildcard с extends. Колекцията действа като производител на данни. Типът ? extends T означава "всеки тип, който е T или негов подклас". Можете безопасно да четете елементи като тип T (или негов суперклас), но не можете да добавяте елементи към такава колекция (освен null).

• Потребител (Consumer): Когато използвате генеричен параметър за добавяне на данни (поставяне на елементи в колекция), използвайте wildcard с super. Колекцията действа като потребител на данни. Типът ? super T означава "всеки тип, който е T или негов суперклас". Можете безопасно да добавяте елементи от тип T (или негови подкласове) към такава колекция, но при четене ще ги получавате като Object.

Приложение в Java:

Използва се с wildcard типове (?) за увеличаване на гъвкавостта на API, работещи с колекции или други генерични типове, позволявайки им да работят с по-широк диапазон от типове, като същевременно запазват типовата безопасност.

Примери:

// Пример Producer
// Метод printAll чете от List
public void printAll(List<? extends Number> list) {
    // Можем да четем елементи като Number (или Object)
    for (Number num : list) {
        System.out.println(num);
    }
    // Не можем да добавяме елементи (освен null)
    // list.add(123); // Грешка при компилация
}

// Пример Consumer
// Метод addNumbers добавя към List
public void addNumbers(List<? super Integer> list) {
    // Можем да добавяме Integer или негови подкласове
    list.add(1);
    list.add(new Integer(2));
    // list.add(new Double(3.0)); // Грешка при компилация

    // При четене получаваме Object
    Object o = list.get(0);
}