Inhaltsverzeichnis:
Definition - Was bedeutet statisch typisiert?
Statisch typisiert ist ein Programmiersprachenmerkmal, in dem Variablentypen explizit deklariert und somit zur Kompilierzeit festgelegt werden. Auf diese Weise kann der Compiler entscheiden, ob eine bestimmte Variable die von ihr angeforderten Aktionen ausführen kann oder nicht.
Bei der statischen Eingabe werden Typen mit Variablen und nicht mit Werten verknüpft. Einige Beispiele für statisch typisierte Programmiersprachen sind:
- Haskell
- FORTRAN
- Java
- C
- C #
- C ++
- Ada
- Jade
- Pascal
- ML
- Perl
- Scala
Techopedia erklärt Statically Typed
Bei der statischen Typisierung müssen während der Laufzeit keine zusätzlichen Überprüfungen durchgeführt werden, um sicherzustellen, dass ein Objekt einige Aktionen ausführen kann. Statisch typisierte Programmiersprachen führen die Typprüfung eher während der Kompilierung als zur Laufzeit durch, wodurch Programme, die in diesen Sprachen geschrieben wurden, viel schneller ausgeführt werden.
Darüber hinaus sind Tools und Refactoring in statisch typisierten Sprachen besser, da die Tools die Variablentypen beim Codieren des Programms ermitteln können. Dies hilft, die Parameter für eine bestimmte Funktion und auch die für ein bestimmtes Objekt verfügbaren Methoden sofort zu verstehen. Dies macht den Refactoring-Prozess auch viel einfacher.
Mit wenigen Ausnahmen ist es nach der Umgestaltung einer Methode oder eines Objekts leicht zu verstehen, welche anderen Codes davon abhängen. Dies ist jedoch mit Kosten verbunden. Mit wenigen Ausnahmen erfordern statisch typisierte Sprachen zusätzliche Anmerkungen, um den Compiler über die beabsichtigten Ziele des Autors zu informieren.
In Bezug auf die Objektstruktur sind statisch typisierte Sprachen im Vergleich zu ihren dynamischen Gegenstücken in der Regel weniger flexibel. Es ist nicht möglich, einem bestimmten Objekt zur Laufzeit Felder und Methoden hinzuzufügen. Dies kann beim Umgang mit weniger strukturierten Daten kompliziert sein. Das Parsen von JSON-, XML- oder Datenbankabfragen führt beispielsweise zu nicht idealen Objektzuordnungen.
