Τι είναι οι γενικοί τύποι;

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

Βασικά πλεονεκτήματα:

• Ασφάλεια τύπων: Ο μεταγλωττιστής ελέγχει τους τύπους κατά τη φάση της μεταγλώττισης, αποτρέποντας σφάλματα κατά την εκτέλεση που σχετίζονται με ασυμβατότητες τύπων.
• Επαναχρησιμοποίηση: Ο ίδιος κώδικας μπορεί να χρησιμοποιηθεί με διαφορετικούς τύπους δεδομένων, μειώνοντας την επανάληψη κώδικα.
• Απόδοση: Σε ορισμένες γλώσσες (π.χ., C#), οι γενικοί τύποι υλοποιούνται λαμβάνοντας υπόψη έναν συγκεκριμένο τύπο, κάτι που μπορεί να βελτιώσει την απόδοση σε σύγκριση με τη χρήση του Object.

Παραδείγματα χρήσης:

• Συλλογές: Λίστες, λεξικά, σύνολα που παραμετροποιούνται με τον τύπο των στοιχείων.
• Μέθοδοι: Μέθοδοι που εργάζονται με οποιονδήποτε τύπο δεδομένων που υλοποιεί μια συγκεκριμένη διεπαφή.
• Κλάσεις: Κλάσεις-περιτυλίγματα, εργοστάσια που εργάζονται με παραμέτρους τύπου.

Παράδειγμα σε C#:

// Γενική λίστα
List<string> ονόματα = new List<string>();
ονόματα.Add("Alice");
ονόματα.Add("Bob");

// Γενική μέθοδος
public T ΠάρεΠρώτοΣτοιχείο<T>(List<T> λίστα)
{
    if (λίστα != null && λίστα.Count > 0)
    {
        return λίστα[0];
    }
    return default(T); // Επιστρέφει την προεπιλεγμένη τιμή για τον τύπο T
}

Παράδειγμα σε Java:

// Γενική λίστα
List<String> ονόματα = new ArrayList<>();
ονόματα.add("Alice");
ονόματα.add("Bob");

// Γενική μέθοδος
public <T> T ΠάρεΠρώτοΣτοιχείο(List<T> λίστα) {
    if (λίστα != null && !λίστα.isEmpty()) {
        return λίστα.get(0);
    }
    return null; // Επιστρέφει null για αναφορικούς τύπους
}

Παράδειγμα σε Python (tip-hinting):

from typing import List, TypeVar

T = TypeVar('T')

def ΠάρεΠρώτοΣτοιχείο(δεδομένα: List[T]) -> T | None:
    # Η συνάρτηση μπορεί να δουλέψει με οποιαδήποτε λίστα και να επιστρέψει ένα στοιχείο
    if δεδομένα:
        return δεδομένα[0]
    return None

ονόματα: List[str] = ["Alice", "Bob"]
πρώτο_όνομα = ΠάρεΠρώτοΣτοιχείο(ονόματα) # IDE καταλαβαίνει ότι το πρώτο_όνομα είναι str

Σε ορισμένες γλώσσες (Java), οι γενικοί τύποι χρησιμοποιούν "εξαφάνιση" (type erasure), όπου η πληροφορία για τον τύπο του παραμέτρου αφαιρείται κατά τη φάση της μεταγλώττισης. Αυτό μπορεί να οδηγήσει σε ορισμένους περιορισμούς. Σε άλλες γλώσσες (C#, Go), η πληροφορία για τον τύπο διατηρείται κατά την εκτέλεση.

Οι γενικοί τύποι είναι ένα θεμελιώδες εργαλείο για τη συγγραφή καθαρού, ασφαλούς και επαναχρησιμοποιήσιμου κώδικα.