C에서 서로를 포함하는 헤더

C에서는 헤더가 서로를 포함해야 하는 경우가 있습니다. 그러나 이로 인해 특히 #include 문을 배치할 위치와 관련하여 문제가 발생할 수 있습니다.

매크로 내부 또는 외부

일반적으로 #include 문은 다음과 같아야 합니다. #ifndef와 같은 매크로 안에 배치하면 가드가 포함됩니다. 이는 다음 예제에서 볼 수 있듯이 컴파일 중 무한 재귀를 방지합니다.

// A.h
#ifndef A_H_
#define A_H_

#include "B.h"

class A {
    private:
        B b;
    public:
        A() : b(*this) {}
};

#endif // A_H_

// B.h
#ifndef B_H_
#define B_H_

#include "A.h"

class B {
    private:
        A& a;
    public:
        B(A& a) : a(a) {}
};

#endif // B_H_

#include 문을 매크로 외부에 배치하면 A.h와 B.h 사이의 상호 포함으로 인해 컴파일러가 무기한 반복됩니다.

선언되지 않은 유형

그러나 #include 문을 매크로 안에 배치하면 선언되지 않은 유형에 문제가 발생할 수 있습니다. 예를 들어, 다음 코드를 고려해보세요:

// A.h
#ifndef A_H_
#define A_H_

class A;  // Forward declaration

#include "B.h"

class A {
    private:
        B b;
    public:
        A() : b(*this) {}
};

#endif // A_H_

// B.h
#ifndef B_H_
#define B_H_

#include "A.h"

class B {
    private:
        A a;  // Directly include A
    public:
        B(A& a) : a(a) {}
};

#endif // B_H_

이 경우 컴파일러는 A가 B.h 내에서 선언되지 않은 유형이라고 불평합니다. 이는 B.h가 포함되면 A.h의 전방 선언이 보이지 않기 때문입니다.

해결책: 전방 선언

이러한 문제를 해결하려면 전방 선언을 사용하는 것이 가장 좋습니다. 필요한 경우 전체 정의가 포함된 헤더를 포함합니다. 이 예에서는 B.h에 B.h를 정의하기 전에 A의 전방 선언을 추가해야 합니다.

// B.h
#ifndef B_H_
#define B_H_

class A;  // Forward declaration

#include "A.h"

class B {
    private:
        A a;  // Directly include A
    public:
        B(A& a) : a(a) {}
};

#endif // B_H_