Τι είναι τα γενικά στον προγραμματισμό;

Οι Γενικευμένες (Generics) είναι ένας τρόπος να γράφει κανείς ευέλικτο και επαναχρησιμοποιήσιμο κώδικα που λειτουργεί με οποιοδήποτε τύπο δεδομένων, διατηρώντας την ασφάλεια τύπων. Επιτρέπουν να καθυστερεί η καθορισμός ενός συγκεκριμένου τύπου μέχρι τη στιγμή της χρήσης.

Κύρια πλεονεκτήματα:

• Αποφυγή διπλότυπου κώδικα: Μπορείς να γράψεις έναν αλγόριθμο/δομή δεδομένων που λειτουργεί με διαφορετικούς τύπους.
• Ασφάλεια τύπων: Ο μεταγλωττιστής ελέγχει τη συμβατότητα των τύπων κατά τη μεταγλώττιση, αποτρέποντας σφάλματα κατά την εκτέλεση που σχετίζονται με λανθασμένους τύπους.
• Πιο εκφραστικός κώδικας: Δείχνει σαφώς τις προθέσεις του προγραμματιστή σχετικά με τους τύπους δεδομένων.

Παράδειγμα χρήσης σε Swift:

Γενική δομή Stack:

struct Stack<Element> {
    // γενικός Element χρησιμοποιείται ως τύπος των στοιχείων του πίνακα
    private var items: [Element] = []

    // γενικός Element χρησιμοποιείται ως τύπος του παραμέτρου
    mutating func push(_ item: Element) {
        items.append(item)
    }

    // γενικός Element χρησιμοποιείται ως τύπος της επιστρεφόμενης τιμής
    mutating func pop() -> Element {
        return items.removeLast()
    }
}

Χρήση με συμβολοσειρές:

var stringStack = Stack<String>()
stringStack.push("hello")
stringStack.push("world")
let lastString = stringStack.pop() // lastString έχει τύπο String

Χρήση με αριθμούς:

var intStack = Stack<Int>()
intStack.push(1)
intStack.push(2)
let lastInt = intStack.pop() // lastInt έχει τύπο Int

Χωρίς γενικευμένους τύπους, θα έπρεπε να γράψεις ξεχωριστές δομές για Stack<String>, Stack<Int>, κ.λπ., ή να χρησιμοποιήσεις λιγότερο ασφαλείς προσεγγίσεις (π.χ., Any).