Formalismen 4: Parametrisierung und Polymorphie

Zusammenfassung

Wir hatten in den vorausgegangenen Kapiteln oft die Situation gehabt, dass wir den gleichen Namen für unterschiedliche Funktionen benutzt haben. Dafür gibt es zwei hauptsächliche Gründe:

• Der banalere Grund ist, dass uns einfach die guten Namen ausgehen, weshalb wir alte Namen wieder verwenden. Wir hatten in Kap. 10 gesehen, dass es dafür verschiedene Techniken gibt.

  • Wenn wir für die Namen getrennte Gültigkeitsbereiche verwenden, tritt kein Problem auf. (Dieser Fall ist in einer Diskussion über Polymorphie nicht relevant.)¹

  • Wenn die Namen im gleichen Gültigkeitsbereich auftreten, dann sprechen wir von Überlagerung oder Overloading. Ein anderes Wort dafür ist auch Ad-hoc-Polymorphie.

  Für Ad-hoc-Polymorphie gibt es im Prinzip keine Einschränkungen. Das heißt, man kann für beliebige Funktionen die gleichen Namen verwenden (solange sie sich anhand ihrer Funktionalitäten vom Compiler auseinanderhalten lassen). Aber aus methodischen Gründen sollte man sich eine gewisse Selbstdisziplin auferlegen und die Namen so verwenden, dass sie zur Idee ihrer Verwendung passen. (Das typische Beispiel ist ‘+’ für die Addition von Zahlen und für die Addition von Matrizen.)

• Der wichtigere Grund ist, dass wir es mit einer „Familie“ ähnlicher (aus konzeptioneller Sicht sogar gleicher) Funktionen zu tun haben, für die wir nur einmal ein Programm schreiben wollen. (Das typische Beispiel ist die Länge einer Sequenz, deren Berechnung völlig unabhängig vom Typ der Elemente ist.) In diesem Fall spricht man von parametrischer Polymorphie.