Antwort.

Hintergrund:

Makros stammen aus der Sprache C und sind ein mächtiges Mittel zur Automatisierung wiederkehrender Codeabschnitte in der Vorverarbeitung. Ihre Verwendung in C++ brachte Flexibilität, aber auch viele verborgene Gefahren mit sich, aufgrund fehlender Typkontrolle und unklarer Funktionsweise des Präprozessors.

Problem:

Die Hauptgefahren der Verwendung von Makros:

Keine Typkontrolle – der Präprozessor fügt blind Text ein.
Erhöhte Fehlerwahrscheinlichkeit beim Debuggen (fehlen benannter Symbole beim Betrachten im Debugger).
Unerwartetes Verhalten bei der Deklaration ausführlicher Ausdrücke, Nebeneffekten, Namenskonflikten.
Schwierigkeiten beim Debuggen und Warten des Codes.

Lösung:

In modernen C++-Standards wird empfohlen, Inline-Funktionen, Templates, constexpr, enum class sowie constexpr-Variablen anstelle von Makros zu verwenden.

Beispielcode:

// Schlecht:
#define MAX(a, b) ((a) > (b) ? (a) : (b))

// Gut:
template<typename T>
constexpr T max(T a, T b) {
    return a > b ? a : b;
}

Wesentliche Merkmale:

Makros sehen keine Typen.
Es ist nicht möglich, innerhalb eines Makros zu debuggen oder Haltepunkte zu setzen.
Templates und constexpr-Ausdrücke sind sicherer, leistungsfähiger und bieten bessere Debugging-Möglichkeiten.

Fangfragen.

Kann ein Makro gefährlicher sein als eine Inline-Funktion?

Ja. Ein Makro unterliegt nicht den Regeln der Syntax und der Typen. Ein unerwartetes Ergebnis kann auftreten, wenn Parameter mit Nebeneffekten übergeben werden.

#define SQUARE(x) ((x) * (x))
int y = 5;
int z = SQUARE(y++); // y wird zweimal inkrementiert!

Ist #include auch ein Makro?

Nein, #include ist eine Präprozessor-Direktive, aber die Verwendung von Makros und include ist verbunden: über ein Makro kann die Liste der eingebundenen Dateien geändert werden (extrem nicht empfohlen).

Kann man ein Makro wie eine normale Funktion debuggen?

Nein, der Debugger entfaltet das Makro und zeigt den bereits eingesetzten Text an, es gibt keine separaten benannten Entitäten.

Typische Fehler und Anti-Pattern

Verwendung von Makros anstelle von Templates und Inline-Funktionen für Berechnungen.
Schutzmakros werden falsch gesetzt (z.B. ohne eindeutige ID für Include-Guards).
Verschachtelung von Makros und Überlastung der Logik durch Makros.

Beispiel aus dem Leben

Negativer Fall

Im alten Code wurden zahlreiche Berechnungs-Makros mit Effekten (z.B. Inkrement) definiert, was schwer fassbare Bugs bei der Nutzung neuer Funktionen nach sich zog.

Vorteile:

Hohe Geschwindigkeit beim Schreiben von Code.

Nachteile:

Berechnungsfehler, Nebeneffekte, erschwerte Wartung.

Positiver Fall

Bei der Refaktorisierung wurden Makros durch template- und constexpr-Funktionen ersetzt, und enum class wurde anstelle von Makro-Flags verwendet.