Zeiger- und Verweistypen

Zeiger = Adresse eines Wertes. -- Wofür?

• dynamische Speicherzellen (im Heap)
• verkettete Strukturen (Listen, Bäume)
• gemeinsame Teilstrukturen (sharing)
• Adresse ist einfacher zu transportieren als Wert

Designfragen:

• Typsicherheit
• Zeiger oder Verweis?
• Verfolgung (De-Referenzierung) implizit oder explizit?