c++ - 定義が必要な場合の循環クラス依存関係の回避

Question

template <class T=A>
struct B {
   T a;
};

struct A {
    B<A> foo(){
       B<A> result;
       return result;
    }
};

テンプレートを使用する必要をなくすにはどうすればよいですか（デフォルトのパラメーターに注意してその使用法を確認してください）。問題は、両方のクラスが互いの定義を必要とすることです。しかし、テンプレートソリューションが示すように、「実際の」循環依存関係はありません。

Answer 1

A::foo（の場合のように）値で返す場合は、前方宣言で十分であるという事実を利用できます。

struct B;

struct A {
  B foo();
};

struct B {
  A a;
};

B A::foo() {
  B result;
  return result;
}