Mitä ovat generiikka (parametrinen polymorfismi)?

Question

Accepted Answer

**Generiikka** mahdollistaa luokkien ja metodien kirjoittamisen *tyypillä* parametrisoituina, joten sama koodi toimii monien tyyppien kanssa samalla säilyttäen **käännösajan tyyppiturvaisuuden**. Tämä on **parametrinen polymorfismi** — "yksi muoto, mikä tahansa tyyppi." ## Ongelma, jonka ne ratkaisevat ```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 ``` ## Geneerisen tyypin kirjoittaminen ```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 ``` ## Rajat ja varianssi (lyhyesti) ```java > // bounded: T must be comparable List // covariance: accept List, List ``` ## Sudenkuoppa Java poistaa generiikan tyypit ajoaikana (*type erasure*) — et voi tehdä `new T()` tai `instanceof List`. C++ mallit ja C# generiikka käyttäytyvät eri tavalla (monomorphization / reified types). ## Miksi se on tärkeää Generiikka antaa uudelleenkäytettävyyden *ja* turvallisuuden samanaikaisesti: yksi `List` palvelee jokaista elementtityyppiä, ja kääntäjä havaitsee tyyppiavirheet, jotka muuten olisivat ajonaikaisia kaatumisia. Ne eliminoivat turvattomia muunnoksia ja ovat kokoelmien selkäranka, mikä tekee koodista sekä uudelleenkäytettävämpää että vaikeampaa käyttää väärin.