C ++에서 중첩 유형 / 클래스의 전방 선언

나는 최근에 다음과 같은 상황에 처해있다.

class A
{
public:
    typedef struct/class {...} B;
...
    C::D *someField;
}

class C
{
public:
    typedef struct/class {...} D;
...
    A::B *someField;
}

일반적으로 클래스 이름을 선언 할 수 있습니다.

class A;

그러나 중첩 형식을 전달할 수 없으므로 컴파일 오류가 발생합니다.

class C::D;

어떤 아이디어?

당신은 그것을 할 수 없습니다, 그것은 C ++ 언어의 구멍입니다. 중첩 클래스 중 하나 이상을 제거해야합니다.

class IDontControl
{
    class Nested
    {
        Nested(int i);
    };
};

나는 다음과 같은 전방 참조가 필요했다.

class IDontControl::Nested; // But this doesn't work.

내 해결 방법은 다음과 같습니다.

class IDontControl_Nested; // Forward reference to distinct name.

나중에 전체 정의를 사용할 수있을 때 :

#include <idontcontrol.h>

// I defined the forward ref like this:
class IDontControl_Nested : public IDontControl::Nested
{
    // Needed to make a forwarding constructor here
    IDontControl_Nested(int i) : Nested(i) { }
};

이 기법은 복잡한 생성 자나 원활하게 상속되지 않은 다른 특수 멤버 함수가있는 경우 가치가있을 수 있습니다. 특정 템플릿 마법이 심하게 반응하는 것을 상상할 수 있습니다.

그러나 매우 간단한 경우에는 작동하는 것 같습니다.

헤더 파일에 불쾌한 헤더 파일을 # 포함시키지 않으려면 다음과 같이하십시오.

hpp 파일 :

class MyClass
{
public:
    template<typename ThrowAway>
    void doesStuff();
};

cpp 파일

#include "MyClass.hpp"
#include "Annoying-3rd-party.hpp"

template<> void MyClass::doesStuff<This::Is::An::Embedded::Type>()
{
    // ...
}

하지만:

1. 호출시 내장 유형을 지정해야합니다 (특히 함수가 내장 유형의 매개 변수를 사용하지 않는 경우).
2. 함수는 템플릿 일 수 있으므로 가상 일 수 없습니다.

예, 트레이드 오프는 ...

이것은 외부 클래스를 네임 스페이스로 선언하여 수행 할 수 있습니다 .

샘플 : 우리는 others :: A :: Nested others_a.h에 중첩 된 클래스를 사용해야합니다.

others_a.h

namespace others {
struct A {
    struct Nested {
        Nested(int i) :i(i) {}
        int i{};
        void print() const { std::cout << i << std::endl; }
    };
};
}

my_class.h

#ifndef MY_CLASS_CPP
// A is actually a class
namespace others { namespace A { class Nested; } }
#endif

class MyClass {
public:
    MyClass(int i);
    ~MyClass();
    void print() const;
private:
    std::unique_ptr<others::A::Nested> _aNested;
};

my_class.cpp

#include "others_a.h"
#define MY_CLASS_CPP // Must before include my_class.h
#include "my_class.h"

MyClass::MyClass(int i) :
    _aNested(std::make_unique<others::A::Nested>(i)) {}
MyClass::~MyClass() {}
void MyClass::print() const {
    _aNested->print();
}

나는 이것을 대답이라고 부르지는 않지만 그럼에도 불구하고 흥미로운 발견 : C라는 네임 스페이스에서 구조체 선언을 반복하면 모든 것이 괜찮습니다 (최소한 gcc). C의 클래스 정의가 발견되면 이름 공간 C를 자동으로 덮어 쓰는 것 같습니다.

namespace C {
    typedef struct {} D;
}

class A
{
public:
 typedef struct/class {...} B;
...
C::D *someField;
}

class C
{
public:
   typedef struct/class {...} D;
...
   A::B *someField;
}

이것은 해결 방법이 될 것입니다 (적어도 문제에 대해 설명 된 문제에 대한 것입니다. 실제 문제에 대한 것이 아닙니다 C.

class C_base {
public:
    class D { }; // definition of C::D
    // can also just be forward declared, if it needs members of A or A::B
};
class A {
public:
    class B { };
    C_base::D *someField; // need to call it C_base::D here
};
class C : public C_base { // inherits C_base::D
public:
    // Danger: Do not redeclare class D here!!
    // Depending on your compiler flags, you may not even get a warning
    // class D { };
    A::B *someField;
};

int main() {
    A a;
    C::D * test = a.someField; // here it can be called C::D
}

클래스 C 및 D의 소스 코드를 변경할 수있는 액세스 권한이 있으면 클래스 D를 별도로 꺼내어 클래스 C에 동의어를 입력 할 수 있습니다.

class CD {

};

class C {
public:

    using D = CD;

};

class CD;