www.wikidata.de-de.nina.az
Statische Typisierung englisch static typing bezeichnet ein Schema der Typisierung von Programmiersprachen Bei der statischen Typisierung wird im Gegensatz zur dynamischen Typisierung der Datentyp von Variablen und anderen Programmbausteinen schon wahrend der Kompilierung festgelegt Dies kann durch Typinferenz oder durch explizite Deklaration geschehen Statische Typisierung kann durch starke Typisierung erweitert werden Vorteile Bestimmte Fehler konnen bereits zur Ubersetzungszeit erkannt werden und mussen nicht zur Laufzeit gepruft werden Damit werden Fehler auch in selten benutzten Programmteilen die bei Tests oft nicht durchlaufen werden gefunden Die Effizienz von Programmen wird durch die Reduzierung des Rechenaufwands fur Typuberprufungen zur Laufzeit ebenfalls gesteigert Zahlreiche Optimierungen hangen von den zur Ubersetzungszeit vorhandenen Informationen ab So ermoglicht statische Typisierung zum Beispiel das direkte Einfugen von Maschinencode statt eines Methoden oder Funktionsaufrufs Nachteile Teilweise sind die Typen erst zur Laufzeit bekannt bei Sprachen mit statischer Typisierung bedeutet dies dann meist einen gewissen Aufwand da das Typsystem umgangen werden muss Die Compiler sind aufwendiger weil dort mehr Aufwand fur die Analyse anfallt Inhaltsverzeichnis 1 Beispiele 2 Alternative Definition 3 Siehe auch 4 EinzelnachweiseBeispiele BearbeitenNach dieser Definition sind beispielsweise die folgenden Sprachen statisch typisiert Java Kotlin C Eiffel Gambas Pascal ML Scala D OCaml Swift Rust 1 Haskell TypeScriptSprachen wie PHP Python Ruby und JavaScript hingegen sind dynamisch typisiert Alternative Definition BearbeitenEine alternative Definition des Begriffs statische Typisierung betrachtet Typprufungen Eine Sprache ist genau dann statisch typisiert wenn sie keine dynamischen Typprufungen also solche die zur Laufzeit geschehen aufweist Ansonsten nennt man sie dynamisch typisiert Nach dieser Definition ware beispielsweise Java dynamisch typisiert Siehe auch BearbeitenTypumwandlungEinzelnachweise Bearbeiten Data Types The Rust Programming Language Abgerufen am 2 November 2018 englisch Abgerufen von https de wikipedia org w index php title Statische Typisierung amp oldid 208157649