Literal
Ein Literal ist ein spezieller Bestandteil einer formalen Sprache.
Literale in Programmiersprachen
Als Literal (lateinisch littera ‚Buchstabe‘) bezeichnet man in Programmiersprachen eine Zeichenfolge, die zur direkten Darstellung der Werte von Basistypen (z. B. Ganzzahlen, Gleitkommazahlen, Zeichenketten) definiert bzw. zulässig ist.
Man unterscheidet logische (wahr, nicht wahr), numerische und Zeichenliterale. Je nach Programmiersprache gibt es weitere und detailliertere Kategorisierungen für Literale. Damit Literale vom Compiler identifiziert werden können, müssen sie bestimmten syntaktischen Regeln genügen, z. B. (sprachenabhängig und in bestimmten Fällen) in Anführungszeichen eingeschlossen sein.
Literale als Teil von Befehlen werden auch als literale Konstanten oder nicht benannte Konstanten bezeichnet, da sowohl Literale als auch Konstanten zur Laufzeit des Programms unveränderlich sind. Literale dürfen in Zuweisungsoperatoren nur als Sende-Ausdruck (i. d. R. rechtsseitig; 'Zeilen = 60'), als Argument einer Funktion oder als der Wert einer Konstante codiert werden.
In der funktionalen Programmierung können auch Funktionen als Literale geschrieben werden. Diese werden als anonyme Funktionen oder Lambda-Funktionen bezeichnet.
Ähnlich dem Literalbegriff kennen manche Programmiersprachen sog. „figurative Konstanten“. Dies sind (z. B. in Cobol) gem.[1] „Cobol-Worte [in unterschiedlichen Schreibweisen, z. B. in Pluralform] für die vom Compiler bestimmte Werte erzeugt werden“: Zero, Space, High-Value und Low-Value, Quote und 'ALL Literal'.
Als Aspekt des Programmierstils wird zum Teil empfohlen, im Befehlsteil des Programmcodes möglichst keine Literale, sondern ersatzweise Konstanten zu verwenden, die im Quelltext beliebig oft angesprochen werden können – anstatt immer das gleiche Literal zu verwenden. Diese Vorschrift soll zu höherer Transparenz und Wartungsfreundlichkeit führen.
Beispiele für Literale
| Wahrheitswerte: | true, false | (in vielen Sprachen als reservierte Wörter) |
| Ganzzahlen: | 1200, +1200, −12 | (nur Ziffern und + oder −) |
| Gleitkommazahlen: | 12.34, −12e34, 12.e-34 | (Ziffern, Vorzeichen, Punkt, e) |
| Einzelnes Zeichen: | 'a' | (beliebiges einzelnes Zeichen in Anführungszeichen) |
| Zeichenketten: | "ABCD(12)$ ist eine Zeichenkette" | (mehrere Zeichen in doppelten Anführungszeichen) |
Literale in der mathematischen Logik
In der mathematischen Logik ist ein Literal eine atomare Aussage (Atom) oder die Negation einer atomaren Aussage. Man hat daher positive Literale und negative Literale. Eine disjunktive Verknüpfung von Literalen bezeichnet man als Disjunktionsterm oder als Klausel.
