複数クラスの循環参照

Question

C++で、3つのクラスが循環参照しているようで、コンパイルが通りません。
コードを以下に示します。
（クラス名が不自然ですが、問題の本質とは関連がないため、無視してください）

━━━━━ Actualクラス ━━━━━
  1 #ifndef ACTUAL
  2 #define ACTUAL
  3 
  4 #include "callback.h"
  5 
  6 class Callback;
  7 class Actual {
  8 public:
  9     int get() {
 10         return 3;
 11     }
 12     Callback *callback;
 13 };
 14 
 15 #endif

━━━━━ Callbackクラス ━━━━━
  1 #ifndef CALLBACK
  2 #define CALLBACK
  3 
  4 #include "logic.h"
  5 
  6 class Logic;
  7 class Callback {
  8 public:
  9     void func() {
 10         logic->print();
 11     }
 12     Logic *logic;
 13 };
 14 
 15 #endif

━━━━━ Logicクラス ━━━━━
  1 #ifndef LOGIC
  2 #define LOGIC
  3 
  4 #include <iostream>
  5 #include "actual.h"
  6 using namespace std;
  7 
  8 class Actual;
  9 class Logic {
 10 public:
 11     void print() {
 12         cout << actual->get() << endl;
 13     }
 14     Actual *actual;
 15 };
 16 
 17 #endif

━━━━━ Mainメソッド ━━━━━
  1 #include "actual.h"
  2 #include "callback.h"
  3 #include "logic.h"
  4 
  5 int main() {
  6     Actual actual;
  7     Callback callback;
  8     Logic logic;
  9 
 10     actual.callback = &callback;
 11     callback.logic = &logic;
 12     logic.actual = &actual;
 13 
 14     callback.func();
 15     return 0;
 16 }

エラー出力を以下に示します。

In file included from callback.h:4:0,
                 from actual.h:4,
                 from main.cpp:1:
logic.h: In member function ‘void Logic::print()’:
logic.h:12:17: error: invalid use of incomplete type ‘class Actual’
   cout << actual->get() << endl;
                 ^~
logic.h:8:7: note: forward declaration of ‘class Actual’
 class Actual;

解消方法をご存知の方がおりましたら、教えて頂けると幸いです。

Comments

[y_waiwai]

エラーが出るならエラーメッセージをそのままの形で提示してください。
提示のソースでは、エラーは循環参照が原因ではないように思われますが

[torimingo]

エラーメッセージを追記いたしましたので、ご確認のほど、お願い致します。

Answer 1

1つの可能性として、#includeが循環しているためにエラーとなっていることが考えられます。

対策としては、

• （コンパイラが対応していれば）#pragma onceを入れる
• ヘッダファイル全体を#ifndef ... #endifで覆うインクルードガードを行う

のどちらかとなります。

Comments

[torimingo]

ヘッダファイルをインクルードガードで覆っても、コンパイルが通りませんでした。
（エラーメッセージを追記しましたので、お時間がございましたらご確認のほどお願い致します）

[maisumakun]

メソッドでactual->getやactual->getのように呼ぶには、その時点で不完全型であってはいけません。

メソッドをヘッダに書くと定義順の問題ですべて完全型にするのが難しいので、「.cppでメソッドを定義する」ことが必要かもしれません。

もしくは、Actualの宣言ではCallbackは不完全型のままで構わないので、actual.hがcallback.hを#includeするのをやめる、でも解決するかもしれません。

[torimingo]

actual.hがcallback.hを#includeするのをやめたら解決しました。
（なぜ、Actualの宣言ではCallbackは不完全型のままでよいのでしょうか・・）
早急なご回答をありがとうございました。

[maisumakun]

Actualの中では不完全型のポインタを宣言しているだけなので、不完全型のままでも処理可能です。