ClassAの前方宣言をしても、別のClassB内でClassAをインスタンス化するとエラーが出る(c++)

Question

質問内容

ソースコード2ではコンパイル失敗して、ソースコード3ではコンパイル成功する理由がわかりません。

ソースコード1

class A
{
};

class B
{
    A a;
};

int main()
{

    B b;
}

問題なくコンパイル成功

ソースコード2

class A;

class B
{
    A a;
};

int main()
{

    B b;
}

class A
{
};

コンパイル失敗
エラーメッセージは、以下のとおりです

test.cpp:6:7: error: field 'a' has incomplete type 'A'
     A a;
       ^
test.cpp:2:7: note: forward declaration of 'class A'
 class A;

ソースコード3

class A;

class B
{
    A a();
};

int main()
{

    B b;
}

class A
{
};

コンパイル成功

よろしくおねがいします。

Answer 1

こんにちは。

ソース・コード２のclass BでA型の要素を定義していますが、この時点ではclass Aは前方参照のみで中身が定義されていません。なので、A型の要素を定義できないのです。
このようなケースでは、A型のポインタ（もしくは参照）を定義して、class Bのコンストラクタで実体を生成することが多いです。

#include <memory>

class A;
class B
{
    std::unique_ptr<A> a;
    B();
};
class A
{
};
B::B() : a(new A) { }

Comments

[fdaskjlfda]

わかりやすい説明ありがとうございます！