https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Statische_TypisierungStatische Typisierung - Versionsgeschichte2026-06-06T19:53:22ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Statische_Typisierung&diff=248688&oldid=previmported>Pragma124: C2025-03-23T21:29:18Z<p>C</p>
<p><b>Neue Seite</b></p><div>'''Statische Typisierung''' ({{enS|''static typing''}}) bezeichnet ein Schema der [[Typisierung (Informatik)|Typisierung]] von [[Programmiersprache]]n.<br />
<br />
Bei der statischen Typisierung wird im Gegensatz zur [[Dynamische Typisierung|dynamischen Typisierung]] der [[Datentyp]] von Variablen und anderen Programmbausteinen schon während der [[Kompilierung]] festgelegt. Dies kann durch [[Typinferenz]] oder durch explizite [[Deklaration (Programmierung)|Deklaration]] geschehen. Statische Typisierung kann durch [[starke Typisierung]] erweitert werden.<br />
<br />
Vorteile:<br />
* Bestimmte Fehler können bereits zur Übersetzungszeit erkannt werden und müssen nicht zur [[Laufzeit (Informatik)|Laufzeit]] geprüft werden. Damit werden Fehler auch in selten benutzten Programmteilen, die bei Tests oft nicht durchlaufen werden, gefunden. <br />
* Die [[Effizienz (Informatik)|Effizienz]] von Programmen wird durch die Reduzierung des Rechenaufwands für Typüberprüfungen zur Laufzeit ebenfalls gesteigert.<br />
* Zahlreiche [[Programmoptimierung|Optimierungen]] hängen von den zur Übersetzungszeit vorhandenen Informationen ab. So ermöglicht statische Typisierung zum Beispiel das direkte Einfügen von [[Maschinensprache|Maschinencode]] statt eines Methoden- oder Funktionsaufrufs.<br />
<br />
Nachteile:<br />
* 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.<br />
* Die Compiler sind aufwendiger, weil dort mehr Aufwand für die [[Analyse]] anfällt.<br />
<br />
== Beispiele ==<br />
Nach dieser Definition sind beispielsweise die folgenden Sprachen statisch typisiert:<br />
* [[Java (Programmiersprache)|Java]]<br />
* [[Kotlin (Programmiersprache)|Kotlin]]<br />
* [[C (Programmiersprache)|C]], [[C-Sharp|C#]]<br />
* [[Eiffel (Programmiersprache)|Eiffel]]<br />
* [[Gambas_(Programmiersprache)|Gambas]]<br />
* [[Pascal (Programmiersprache)|Pascal]]<br />
* [[ML (Programmiersprache)|ML]]<br />
* [[Scala (Programmiersprache)|Scala]]<br />
* [[D (Programmiersprache)|D]]<br />
* [[OCaml]]<br />
* [[Swift (Programmiersprache)|Swift]]<br />
* [[Rust (Programmiersprache)|Rust]]<ref>{{Internetquelle |url=https://doc.rust-lang.org/book/second-edition/ch03-02-data-types.html |titel=Data Types - The Rust Programming Language |zugriff=2018-11-02 |sprache=en}}</ref><br />
* [[Haskell (Programmiersprache)|Haskell]]<br />
* [[TypeScript]]<br />
<br />
Sprachen wie [[PHP]], [[Python (Programmiersprache)|Python]], [[Ruby (Programmiersprache)|Ruby]] und [[JavaScript]] hingegen sind dynamisch typisiert.<br />
<br />
== Alternative Definition ==<br />
Eine alternative Definition des Begriffs ''statische Typisierung'' betrachtet Typprüfungen: Eine Sprache ist genau dann statisch typisiert, wenn sie keine dynamischen Typprüfungen, also solche, die zur Laufzeit geschehen, aufweist. Ansonsten nennt man sie ''dynamisch typisiert''. Nach dieser Definition wäre beispielsweise Java dynamisch typisiert.<br />
<br />
== Siehe auch ==<br />
* [[Typumwandlung]]<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
[[Kategorie:Datentyp]]<br />
<br />
[[en:Type system#Static type-checking]]</div>imported>Pragma124