フォワード宣言について

Question

cppファイルで使用するクラスをincludeすぐ後に宣言（フォワード宣言？）する理由がわかりません。
正しいかわかりませんが、例えば下記のようにUClassをExample.hの最初にフォワード宣言して、Example.cppではクラスUClassが宣言してあるUClass.hを呼び出している場合などです。

Example.h

#include "~.h"

class UClass;

class AClasss 
{		
public:
	void AClass();

private:
	UClass*  TestClass = nullptr;
};

Example.cpp

#include "Example.h"
#include "UClass.h"

void AClass::AClass()
{
	TestClass->GetObject();
}

回答お願いいたしますm(_ _)m

Answer 1

コンパイル時に『UClassというクラスが有りますよ』ということを確定させるためです。
その意味では関数のプロトタイプ宣言と役割は一緒です。

C:...>type tera1.cpp
class Hoge;

class Fuga {
    Hoge *ptr;
};

C:...>g++ -c tera1.cpp

C:...>type tera2.cpp
class Fuga {
    Hoge *ptr;
};

C:...>g++ -c tera2.cpp
tera2.cpp:2:5: error: 'Hoge' does not name a type
     Hoge *ptr;
     ^~~~

不要なインクルードを排除したり、循環参照を避けたりする際に有用です。

Comments

[konataro]

回答ありがとうございます。
冷静に考えてみればコンパイル？するときにそのファイル内で宣言されていないクラスが急に出てくるわけですから、エラーとなりますよね。

[LouiS0616]

C/C++の広義のコンパイルはざっくり言うと三段階に分かれています。
・プリプロセス
・狭義のコンパイル
・リンク

クラスや関数をコード内で使っているときは、何らかの形で宣言が無いと狭義のコンパイルが通りません。

[LouiS0616]

実際に前方宣言をコメントアウトすると同じようなエラーが出るかと思います。
"~.h"の中身が見えないので断言はできませんが。

Answer 2

Example.h と、Example.c に矛盾がないかをチェックするためです
矛盾があったり、なにか間違いがあれば、このおかげでコンパイル時にチェックできます

Comments

[konataro]

回答ありがとうございます。つまり、Example.h→Example.cppといった形でコンパイルされるとき、Example.h内のUClassは先に宣言しておけば.h内での矛盾はなくなり、
次にExample.cppでincludeされているUClass.hを読み込み、先にExample.h内で宣言していたUclassに上書きしているということでしょうか？

[y_waiwai]

それだけで矛盾はなくなりませんし、上書きもされません
矛盾がある場合にコンパイルエラーでそれと知ることができるということです