Leseprobe

22
Warum eine neue Programmiersprache?
mehrere Basisklassen verwendet, sind die Scherereien im Allgemeinen größer als
der Nutzen. Nicht zuletzt aus diesem Grund ist C# auf eine einzige Basisklasse
beschränkt. Und wenn Sie glauben, auf Mehrfachvererbung nicht verzichten zu
können, bleibt Ihnen immer noch die Möglichkeit, Ihr Polymorphiekonzept über
Schnittstellen zu implementieren.
Nachdem es in C# keine Zeiger gibt, drängt sich die Frage auf, wie C# mit Funktionszeigern
verfährt. Die Anwort lautet: vermittels Delegationen, die gleichzeitig
den Unterbau für das gesamte Ereignismodell der NGWS-Laufzeitumgebung bilden.
Mehr darüber gleichfalls in Kapitel 5, »Klassen«.
1.1.4 Typensicher
Noch einmal zurück zu den Zeigern: Wenn Sie in C++ einen Zeiger haben, steht
es Ihnen frei, für diesen eine Typumwandlung in jeden anderen Datentyp zu
erzwingen. Das heißt, es steht Ihnen vom Prinzip her auch frei, wirklich idiotische
Dinge zu tun, wie einen Wert vom Typ int* (int-Zeiger) in einen Wert vom Typ
double* (double-Zeiger) zu verwandeln. Solange hinter einer solchen Operation
noch ein realer Speicherwert steckt, mag das zwar funktionieren, sinnvoll ist es
aber sicher nicht. Von einer eigens für Unternehmenslösungen entwickelten Sprache
sollte man schon etwas mehr Sicherheit erwarten können.
Nicht zuletzt aus diesem Grund, aber auch um den Garbage Collector zu schützen,
steht die Typensicherheit im Anforderungskatalog von C# ganz weit oben.
Das bedeutet natürlich für Sie, dass Sie sich bei C# an ein paar Regeln halten
müssen, die den Umgang mit Variablen betreffen:
• Variablen müssen grundsätzlich initialisiert werden. Die Elementvariablen von
Objekten setzt zwar der Compiler implizit auf 0, um lokale Variablen von Methoden
müssen Sie sich aber in jedem Fall selbst kümmern. Da der C#-Compiler
nichtinitialisierte Variablen bemängelt, werden schwer aufzufindende
Fehler, wie sie in C/C++ häufig auftreten, bereits im Keim erstickt.
• C# räumt mit unsicheren Typumwandlungen ein für alle Mal auf. Der C#-
Compiler schließt die Typumwandlung von einem wertbehafteten Typ in einen
Referenztyp aus (das Boxing ausgenommen) und überprüft bei der Typumwandlung
von Objektreferenzen rigide, ob das jeweilige Objekt wirklich von
der Klasse abstammt, die für die als Linkswert fungierende Objektvariable vereinbart
wurde.
• C# stellt die Einhaltung von Array-Grenzen sicher. Im Gegensatz zu C/C++ ist
es nicht mehr möglich, »Elemente« jenseits der Arraygrenzen anzusprechen
und in Speicherbereiche zu schreiben oder daraus zu lesen, für die keine Belegung
erfolgt ist.
• Arithmetische Operationen können Überläufe produzieren. C# bietet eine
Überlaufkontrolle auf Anwendungsebene oder auf der Ebene einzelner Anwei-