**Generiniai tipai** leidžia rašyti klases ir metodus, parametrizuotus *tipo*, todėl tas pats kodas veikia su daugeliu tipų, išlaikan **tipų saugumą kompiliavimo metu**. Tai yra **parametrinis polimorfizmas** — "viena forma, bet koks tipas". ## Išsprendžiama problema ```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 ``` ## Generiniu tipo rašymas ```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 ``` ## Ribos ir variacijos (trumpai) ```java > // bounded: T must be comparable List // covariance: accept List, List ``` ## Spąstai Java ištrina genericius tipus vykdymo metu (*type erasure*) — negalite daryti `new T()` arba `instanceof List`. C++ šablonai ir C# generiniai tipai veikia skirtingai (monomorphization / reified types). ## Kodėl tai svarbu Generiniai tipai suteikia pakartotinį naudojimą *ir* saugumą vienu metu: vienas `List` tinka visų elementų tipams, o kompiliatorius sulaikys tipo klaidas, kurios priešingu atveju būtų vykdymo laiko klaidų. Jie pašalina nesaugias perlaidas ir yra kolekcijų pagrindas, todėl kodas yra tiek labiau pakartotinai naudojamas, tiek sunkiau neteisingai naudojamas.

Objektinis programavimas klausimai