C++の構造体にメンバ変数に同じ構造体を設定したい

Question

C++の構造体にメンバ変数に同じ構造体を設定したいと思っています。具体的には

struct aa {
  aa a;
};

int main() {
}

のようなコードを動かしたいです。しかし

prog.cc:2:5: error: field 'a' has incomplete type 'aa'
    2 |  aa a;
      |     ^
prog.cc:1:8: note: definition of 'struct aa' is not complete until the closing brace
    1 | struct aa {
      |       

というエラーが出てしまいます。どうしたらよいでしょうか？

Answer 1

struct aa {
  aa a;
};

もしこれができてしまうと、aaのサイズは無限大になってしまいますよ。

struct aa{
    aa *pa;
};

ポインタでもっておいて、必要に応じて確保してください。

Answer 2

無理です。

C++の構造体変数は、その場でインスタンスを確保しますので、参照を使わずに書いた場合、「自分自身を必ず1つ含むオブジェクト」になります。結果、含んだ自分自身もさらに自分自身を含む…となって、無限のメモリが必要になってしまうため、そもそも宣言時点で作れないようになっています。

Comments

[ruei]

aa &aとすればよいのですね。ありがとうございます！