Makroprozessor
# Makroprozessor

Als Makroprozessoren werden Computerprogramme bezeichnet, die Zeichenfolgen innerhalb eines Textes durch andere Zeichenfolgen ersetzen. Eine Zeichenfolge mit ihrem Ersatztext nennt man Makro. Makros sind normalerweise parametrisierbar. Die meisten Makroprozessoren kennen einige Befehle: In der Regel dient zum Beispiel define zum Festlegen von Makros. Andere Befehle erlauben oft Zeichenkettenverarbeitung, bedingten Textersatz, Schreiben und Lesen von Hilfsdateien usw. Mitunter können Befehle und Makros sehr ähnlich verarbeitet werden.

Ein bekannter Makroprozessor ist z. B. Teil des Textsatzprogramms TeX. Auch der C-Präprozessor der Sprache C ist ein Makroprozessor.

## Der m4-Makroprozessor als Beispiel

Das Betriebssystem Unix enthält standardmäßig den Makroprozessor m4. Dieser erlaubt über den Makro define die Definition eigener Makros.

ergibt

* Hans und Inge, Inge und Hans. Hans liebt Inge.

Die Zeichen ` (auf einer deutschen Tastatur rechts neben dem Fragezeichen) und ' (rechts neben dem Ä) sorgen dafür, dass Makros nicht ersetzt werden, wenn sie innerhalb eines Teils sind, der mit ` beginnt und mit ' endet.

Über viele weitere eingebaute Makros wie eval, ifelse lassen sich Ausdrücke und Bedingungen implementieren. Wiederholungen und Schleifen können durch Rekursion erreicht werden.

Vordefinierte Makros im Makroprozessor m4 (Auswahl) :

| Makro | Beschreibung |
| - | - |
| define(`name',def) | Definition des neuen Makros name, Ersatz mit def |
| eval | Auswertung eines arithmetischen Ausdrucks |
| incr | Erhöhen des Arguments um eins |
| ifdef | Bedingte Ausführung |
| divert(-1) | Unterdrückung der Ausgabe |
| dnl | Unterdrückung des Rests der Zeile (einschließlich Zeilentrenner) |
| include(`Datei') | Text aus Datei einlesen und interpretieren. |
| $1, $2, … | Parameter, die innerhalb von def in einer Makrodefinition verwendet werden können und die dann durch den Text des aktuellen Parameters bei Aufruf ersetzt werden. |

Mit einem Makroprozessor lassen sich zum Beispiel automatische Zähler implementieren:

Wird dieses Beispiel mit m4 bearbeitet, so erhält man die folgende Ausgabe:

Damit lassen sich z. B. Kapitel- und Abschnittsnummern in einem Text automatisch hochzählen:

Die Ausgabe von m4 ist dann

## Der Makroprozessor als Präprozessor

Ein Makroprozessor stellt eine Form von Präprozessor (Vor-Prozessor) dar. Er verändert einen Eingabetext bevor der Benutzer diesen dem eigentlichen Verarbeitungsprogramm übergibt.

Unter Unix lassen sich viele Makroprozessoren in der Kommandozeile als eigene Prozesse aufrufen, die Weitergabe des verarbeiteten Texts geschieht über eine Pipe:

$ m4 diplomarbeit.txt | tbl | eqn | groff -mt -Tps | kprinter

Hier wird die Datei diplomarbeit.txt zunächst vom Makroprozessor m4 bearbeitet, danach vom Tabellenprozessor tbl und vom Formelsatz-Prozessor eqn (beides Makroprozessoren), um dann vom Textsatz-(Makro-)Prozessor groff in die Sprache Postscript gewandelt zu werden. kprinter kann danach das Ergebnis auf einem Postscript-fähigen Drucker ausgeben.

### Der C-Präprozessor

Die Programmiersprache C enthält einen einfachen Makroprozessor, den C-Präprozessor. Dieser kann für die folgenden Aufgaben eingesetzt werden:

* Definition von symbolischen Konstanten
* Bedingte Übersetzung
* Erweiterung der Sprache durch einfache Sprachkonstrukte
* Vereinfachung der Schreibarbeit

Befehle des C-Präprozessors (Auswahl) :

| Makro | Beschreibung |
| - | - |
| #define name Ersatztext | Definition des neuen Makros name. Tritt name im Text auf, wird es durch den Ersatztext ersetzt. |
| #define name(p1,p2) txt | Definition des neuen Makros name mit den Parametern p1 und p2. Innerhalb von txt werden die Zeichenfolgen p1 und p2 durch den jeweiligen Text der aktuellen Parameter ersetzt. |
| #ifdef name #else #endif | Bedingte Übersetzung. Die Zeilen zwischen den Makros werden nur übersetzt, wenn ein Makro name existiert oder nicht. |
| __FILE__ __LINE__ | Name und Zeilennummer der Datei, die den Programmtext enthält. |
| __unix__ | Vordefiniert unter Unix-Betriebssystemen, undefiniert unter anderen Systemen. |
| #include <datei> #include "datei" | Datei einlesen und Text in die Ausgabe einfügen. |

Die Möglichkeiten des C-Präprozessors sind relativ eingeschränkt. Er gibt der Sprache jedoch eine zusätzliche Flexibilität, die von anderen Sprachen kaum erreicht wird. Allerdings führt das in komplexen Programmsystemen auch zu Schwierigkeiten mit der Wartung und Pflege einheitlicher Definitionen, weshalb nachfolgend entwickelte Programmiersprachen teilweise bewusst auf dieses Konzept verzichtet hatten.

Im folgenden Programmbeispiel

wird FIELDSIZE einfach durch 100 ersetzt:

Erst dadurch entsteht ein Programmtext, den der eigentliche C-Compiler fehlerfrei übersetzen kann.

Das folgende Programm ermittelt, ob es unter Unix kompiliert worden ist. Andernfalls wird auf eine Eingabe gewartet:

Ein Unix-Compiler würde hier den folgenden Text übersetzen:

Ein Compiler eines unbekannten Betriebssystems würde dagegen das folgende Programm übersetzen:

Der C-Makroprozessor ist jedoch viel einfacher als der m4-Prozessor. Er erlaubt keine rekursiven Aufrufe, Schleifen oder Auswertung von Ausdrücken.

### TeX und LaTeX

Der Makroprozessor des Textsatzprogramms TeX kann für benutzerdefinierte Erweiterungen verwendet werden. Das Makropaket LaTeX von Leslie Lamport stellt eine verbreitete Erweiterung dar. Statt define werden neue Makros durch newcommand definiert.

Einen Teil eines CD-Covers zeigt das folgende Beispiel:

### MediaWiki

Die Wiki-Engine MediaWiki enthält einen Makroprozessor. Hierzu werden Vorlagenseiten (engl. template) erstellt, die dann inklusive Parametern in eine Seite eingebunden werden können.

