Generics — typesikkerhet med fleksibilitet

Generics lar deg parametrisere klasser og metoder med typer, slik at kompilatoren kan verifisere typekorrekthet uten at du mister fleksibilitet.

Generics i praksis:

List<String> — en liste som bare kan inneholde strenger

Map<String, Integer> — et oppslagsverk fra String til Integer

class Box<T> { T content; } — en generisk klasse

<T extends Comparable<T>> — bounded type parameter

Primitive typer (int, double) kan IKKE brukes direkte — bruk wrapper (Integer, Double)

Java Collections Framework

De tre viktigste grensesnittene:

List<E> — ordnet sekvens med duplikater:

ArrayList: Dynamisk array, O(1) random access, O(n) innsetting i starten

LinkedList: Dobbeltlenket liste, O(1) innsetting/sletting ved endene, O(n) random access

Set<E> — ingen duplikater:

HashSet: O(1) gjennomsnittlig, usortert, krever hashCode() og equals()

TreeSet: O(log n), sortert, krever Comparable eller Comparator

Map<K, V> — nøkkel-verdi-par:

HashMap: O(1) gjennomsnittlig, usortert

TreeMap: O(log n), sorterte nøkler

Eksempel: Generisk klasse og collections

// Generisk klasse
public class Pair<A, B> {
    private final A first;
    private final B second;

    public Pair(A first, B second) {
        this.first = first;
        this.second = second;
    }

    public A getFirst() { return first; }
    public B getSecond() { return second; }
}

// Bruk av collections
Map<String, List<Integer>> grades = new HashMap<>();
grades.put("TDT4100", List.of(5, 4, 5, 3));
grades.put("MA1201", List.of(4, 3, 4));

for (Map.Entry<String, List<Integer>> entry : grades.entrySet()) {
    double avg = entry.getValue().stream()
        .mapToInt(Integer::intValue)
        .average().orElse(0);
    System.out.println(entry.getKey() + ": snitt " + avg);
}

Wildcards og PECS

Wildcards gir fleksibilitet i generiske typer:

<? extends T> ("producer"): T eller subtype — trygt å lese som T
<? super T> ("consumer"): T eller supertype — trygt å skrive T-verdier
PECS: Producer Extends, Consumer Super

equals() og hashCode() — kontrakten:

Hvis a.equals(b) er true, MÅ a.hashCode() == b.hashCode()

Brytes dette, fungerer ikke HashSet og HashMap korrekt

Overstyr ALLTID begge sammen

Studieguide: Generics og collections