Mi a generikus (parametrikus polimorfizmus)?

Question

Accepted Answer

**A generikus** lehetővé teszi osztályok és metódusok írását, amelyek *típus* által paraméterezettek, így ugyanaz a kód számos típussal működik, miközben megőrzi a **fordítási időbeli típusbiztonságot**. Ez **parametrikus polimorfizmus** — "egy forma, bármilyen típus." ## A probléma, amelyet megoldanak ```java // Without generics: untyped, needs casts, can break at runtime List list = new ArrayList(); list.add("hi"); String s = (String) list.get(0); // cast required; wrong type → ClassCastException ``` ```java // With generics: type is known and checked at compile time List list = new ArrayList<>(); list.add("hi"); String s = list.get(0); // no cast; list.add(42) won't compile ``` ## Generikus típus írása ```java class Box { // T is a type parameter private T value; Box(T value) { this.value = value; } T get() { return value; } } Box b = new Box<>(42); // T = Integer, checked at compile time int n = b.get(); // no cast needed ``` ## Korlátok és variancia (röviden) ```java > // bounded: T must be comparable List // covariance: accept List, List ``` ## Csapda A Java futásidőben kitörli az általános típusokat (*type erasure*) — nem lehet `new T()` vagy `instanceof List` műveletet végrehajtani. A C++ sablonok és a C# generikus osztályok másként viselkednek (monomorphisation / reified típusok). ## Miért fontos A generikus osztályok egyszerre biztosítanak újrahasználhatóságot *és* biztonságot: egyetlen `List` szolgálja az összes elemtípust, a fordító pedig azokat a típushibákat fogja meg, amelyek egyébként futásidejű összeomlások lennének. Megsünteti a biztonságtalan átadásokat, és az alapja az gyűjteménynek, a kódot egyszerre újrahasznosíthatóbbá és nehezebben visszaélésebben helytelen.