Basistyp

Basistyp, wörtlich der Basistyp oder Primitive Typ, ist ein Begriff aus der Informatik und bezeichnet in Typensystemen einen fundamentalen Datentyp, der nicht aus anderen Typen zusammengesetzt ist. Basistypen bilden die atomaren Bausteine, auf denen komplexe Strukturen wie Arrays, Strukturen oder benutzerdefinierte Typen aufgebaut werden.

Typische Basistypen in vielen Programmiersprachen umfassen Ganzzahlen, Gleitkommazahlen, Booleans und Zeichen. Manche Sprachen zählen zusätzlich Strings, Pointer oder den Unit-Typ (auch als void-Typ bekannt) zu den Basistypen. Die genaue Zusammenstellung variiert je nach Sprache; einige Sprachen unterscheiden explizit zwischen verschiedenen Ganzzahltypen (z. B. kurz, lang) oder zwischen signierten und unsigned Typen.

Eigenschaften von Basistypen sind in der Regel eine feste Repräsentation im Speicher, definierte Operationen (z. B. Arithmetik, Vergleich) und eindeutige Semantik. Sie dienen der Typprüfung, der Optimierung und der Codegenerierung im Compiler. Basistypen haben oft eine enge Verbindung zur Maschinendarstellung und zur Leistung, da viele Operationen direkt auf der Hardware basieren.

Abgrenzung zu abgeleiteten oder zusammengesetzten Typen: Basistypen sind die primitiven Bausteine, während komplexe Typen durch Kombination oder Parametrisierung dieser Basistypen entstehen (z. B. Arrays, Strukturen, generische Typen). In vielen Sprachen lassen sich Basistypen erweitern oder über Metaprogrammierung abstrahieren, aber sie bleiben die Grundlagen der Typordnung.

Zusammenfassend bezeichnet Basistypen die grundlegenden, unverwechselbaren Datentypen einer Programmiersprache, von denen andere Typen ableiten oder mit ihnen interagieren. Die konkrete Ausprägung variiert je nach Sprache, bleibt aber zentral für Typensysteme und Implementierungen.