Coder Wiki | Informationen

Generics erlauben es, Datentypen zu erzeugen, die von den zu Grunde liegenden Typen abstrahieren. So würden eine Liste ? von Zahlen, eine Liste von Zeichen und eine Liste von Datumsangaben im Grunde auf dieselbe Weise programmiert werden. Die Algorithmen zum Einfügen, Suchen und Löschen würden stets gleich ablaufen. Es ist daher wünschenswert, die Implementierung der Liste unabhängig von diesen Typen vorzunehmen.

Bei Programmiersprachen gibt es prinzipiell zwei Ansätze, generische Typen zu unterstützen. Der eine ist es, dass GenerischerTyp<T> für alle Ts den selben Code verwendet und über dynamische Bindung von Methoden spezifische Eigenschaften von T nutzt. Ein anderer Weg, den u.a. C++ geht, ist die Anwendung von Templates. Dabei wird der Typparameter zur Compilierzeit direkt mit dem konkreten Typ ersetzt.

Bei geht Microsoft einen Mittelweg, um die Vorteile beider Methoden zu kombinieren: Für alle Referenztypen ? als Typparameter benutzt die generische Klasse den gleichen Native Code, da die interne Repräsentation (eine simple Referenz) von allen Referenztypen gleich ist. Bei der Benutzung von Werttypen als Typparameter wird für jeden Werttyp zur Laufzeit bei der erstmaligen Benutzung ein eigener Native Code Pfad erstellt.

Beispiel

[Get Code]

generic-arraystack.java
public class ArrayStack<T> implements Stack<T> {
        private Object[] s;
        private int si;
        public ArrayStack() {
                s = new Object[100];
                si = -1;
        }
        public void push(T t) {
                s[++si] = t;
        }
        public void pop() {
                si -= 1;
        }
        public T top() {
                return (T) s[si];
        }
        public boolean isEmpty() {
                return si == 0;
        }
}