Zpo-2-wyk-Slajd36
Typy generyczne
Najnowsze zmiany wprowadzone w bibliotece Java Collections dotyczyły wykorzystania typów generycznych. Cecha ta pojawiła się w języku w wersji 5.0 (dawniej 1.5) i była jedną z najdłużej oczekiwanych zmian. Częściowo implementuje ona polimorfizm parametryczny: typ obiektu nie musi być ustalany w trakcie kompilacji; jest on parametrem ewaluowanym w momencie uruchamiania programu. Ze względu na konieczność zapewnienia zgodności wstecz z poprzednimi wersjami języka, w Javie zastosowano weryfikację tylko do momentu kompilacji; następnie informacja o typie jest wymazywana, i w trakcie uruchamiania programu jest niedostępna.
Typy generyczne mają szczególnie duże znaczenie dla kolekcji, ponieważ pozwalają definiować typy elementów kolekcji. Od wersji 5.0 języka kolekcje w pełni wykorzystują typy generyczne.
