Warum können meine Include-Schutzvorrichtungen die rekursive Einbeziehung und mehrere Symboldefinitionen nicht verhindern?

Warum verhindern meine Include-Schutzvorrichtungen nicht die rekursive Inklusion und mehrere Symboldefinitionen?

ERSTE FRAGE:

Warum sind sie nicht enthalten? Wachen, die meine Header-Dateien vor gegenseitiger, rekursiver Manipulation schützen Inklusion?

Einbeziehende Wachen machen ihren Job. Das Problem ergibt sich aus Abhängigkeiten zwischen den Definitionen von Datenstrukturen in sich gegenseitig einschließenden Headern.

Angenommen, a.h und b.h enthalten Folgendes:

// a.h
#ifndef A_H
#define A_H
#include "b.h"
struct A {...};
#endif

// b.h
#ifndef B_H
#define B_H
#include "a.h"
struct B {...};
#endif

Ohne Include-Guards funktioniert main.cpp nicht kompilieren aufgrund der Kompilierungstiefenbeschränkung.

Mit Include-Guards wird eine unendliche Rekursion verhindert. Allerdings bleiben Abhängigkeiten zwischen Definitionen bestehen:

• Während der Kompilierung von a.h stößt der Präprozessor auf #include „b.h“ und verarbeitet es.
• Während der Verarbeitung von b.h stößt er auf #include „a.h“ und verarbeitet es erneut.
• Dadurch entsteht eine Abhängigkeit, bei der A definiert werden muss, bevor B definiert werden kann definiert.

Um dieses Problem zu beheben, verwenden Sie Forward-Deklarationen in Headern, die sie benötigen:

// b.h
#ifndef B_H
#define B_H
struct A; // Forward declaration
struct B {...};
#endif

ZWEITE FRAGE:

Warum sind sie nicht enthalten? Schutzvorrichtungen, die mehrere Definitionen verhindern?

Einschließliche Schutzvorrichtungen können eine Neudefinition innerhalb einer einzelnen Übersetzungseinheit verhindern, jedoch nicht über verschiedene hinweg Einheiten.

Zum Beispiel, wenn header.h:

#ifndef HEADER_H
#define HEADER_H
int f() {...};
#endif

in mehreren Übersetzungseinheiten wie source1.cpp und source2.cpp enthalten ist:

// source1.cpp
#include "header.h"

// source2.cpp
#include "header.h"

Der Linker wird sich über mehrere Definitionen von f() beschweren, da er dieselbe Definition in separaten Objektdateien sieht.

Um dieses Problem zu lösen, verwenden Sie Folgendes Ansätze:

• Inline-Schlüsselwort: Weist den Compiler an, den Funktionskörper zu inline, sodass mehrere Definitionen ohne Linkerfehler möglich sind.
• Statisches Schlüsselwort: Gibt der Funktion eine interne Verknüpfung und erstellt eine private Kopie für jede Übersetzungseinheit.
• Unbenannt Namespace: Durch die Deklaration der Funktion in einem unbenannten Namespace erhält sie eine interne Verknüpfung, wodurch mehrere Definitionen verhindert werden.

Das obige ist der detaillierte Inhalt vonWarum können meine Include-Schutzvorrichtungen die rekursive Einbeziehung und mehrere Symboldefinitionen nicht verhindern?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!