メンバ関数からポインタを二つたどるとinvalid use of incomplete type というエラーが出る。

Question

末尾のプログラムを動かしたいです。
しかし動かすと下記のようなエラーが出ます。どうしたらよいでしょうか？

prog.cc: In member function 'void a::f(b&)':
prog.cc:5:5: error: invalid use of incomplete type 'struct b'
    5 |     ob.rev.val_a=this;
      |     ^~
prog.cc:1:8: note: forward declaration of 'struct b'
    1 | struct b;
      |        ^

struct b;

struct a {
  void f(b &ob) {
    ob.rev.val_a=this;
  }
};

struct b {
  a *val_a;
  b *rev;
};

Answer 1

bの宣言を先に回してください（struct a;の前方宣言は必要です）。

ポインタや参照の宣言だけなら不完全型に対しても行えますが、メンバ参照などを行うには不完全型のままでは不可能です。