Τι είναι η αρχή 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 που εργάζονται με συλλογές ή άλλους γενικούς τύπους, επιτρέποντάς τους να λειτουργούν με ευρύτερο φάσμα τύπων, διατηρώντας την ασφάλεια τύπων.

Παραδείγματα:

// Παράδειγμα Παραγωγού
// Η μέθοδος printAll διαβάζει από μια List
public void printAll(List<? extends Number> list) {
    // Μπορούμε να διαβάσουμε στοιχεία ως Number (ή Object)
    for (Number num : list) {
        System.out.println(num);
    }
    // Δεν μπορούμε να προσθέσουμε στοιχεία (εκτός από null)
    // list.add(123); // Σφάλμα μεταγλώττισης
}

// Παράδειγμα Καταναλωτή
// Η μέθοδος 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);
}

Τι είναι η αρχή PECS και πώς εφαρμόζεται στη Java;