前方宣言をしたClassのメンバ構造体にアクセスするとエラーがでる

Question

ソースコード

#include <memory>

class B;

class A
{
    int getHoge(B::Hoge hoge)
    {
        return hoge.huga;
    }
};

class B
{
public:
    struct Hoge
    {
        int huga;
    };
    std::unique_ptr<A> a;
};

int main()
{
    B b;
}

test.cpp:8:20: error: 'B::Hoge' has not been declared
     int getHoge(B::Hoge hoge)
                    ^~~~
test.cpp: In member function 'int A::getHoge(int)':
test.cpp:10:21: error: request for member 'huga' in 'hoge', which is of non-class type 'int'
         return hoge.huga;

質問内容

上のソースコードでのエラーはなぜ起こっていて、どうすれば解決するかを教えていただけると嬉しいです

追記1

int getHoge(B::Hoge hoge)
    {
        return hoge.huga; // hoge.hugaはclass B;しただけではわからない
    }

というのは、このサイトを読んでわかりました。
ですが、関数の引数としてB::Hogeを使う場合はどのようにすればよいか見当がつきません。

追記2

僕が作ろうとしているのは、Afile, Bfileがあり、以下のソースコードのように互いに依存しています。

// Afile.hpp

#include "Bfile.hpp"

class B;

class A {
  int getHoge(B::Hoge hoge);
};

// Bfile.hpp

#include <memory>
#include "Afile.hpp"

class A;

class B {
  struct Hoge {
    int huga;
  };
  std::unique_ptr<A> a;
};

Answer 1

ですが、関数の引数としてB::Hogeを使う場合はどのようにすればよいか見当がつきません。

class Bを先に定義するのが手っ取り早いかと思います。

#include <memory>

class A;

class B
{
public:
    struct Hoge
    {
        int huga;
    };
    std::unique_ptr<A> a;
};

class A
{
    int getHoge(B::Hoge hoge)
    {
        return hoge.huga;
    }
};



int main()
{
    B b;
}

Comments

[fdaskjlfda]

回答ありがとうございます！
`class B`を先に定義することができない場合、どうすればよいでしょうか？

[maisumakun]

おそらく無理かと思います。B::Hogeという型だけなら前方宣言で対応できるかもしれませんが、メンバ参照が入ると有効な宣言をする以外に手はありません。

[maisumakun]

（追記2を踏まえて）

Afile.hppでstruct B::Hoge;も前方宣言しておいて、関数の実装はAfile.hppとBfile.hppを両方とも#includeしたCPPファイルで行う、という方法はあるかと思います。

[fdaskjlfda]

ありがとうございます
つまり、こういうことでしょうか？

```
// AFile.hpp
#include <memory>
// #include "BFile.hpp"
class B;
struct B::Hoge;

class A
{
int getHoge(std::unique_ptr<B::Hoge> hoge);
};

// BFile.hpp
// #include "Afile.hpp"

class A;

class B
{
public:
struct Hoge
{
int huga;
};
std::unique_ptr<A> a;
};

// main.cpp
// #include "Afile.hpp"
// #include "BFile.hpp"

int A::getHoge(B::hoge hoge)
{
return hoge.huga;
}

int main()
{
B b;
}
```

これをコンパイルすると、
```
test.cpp:5:11: error: invalid use of incomplete type 'class B'
struct B::Hoge;
^~~~
test.cpp:4:7: note: forward declaration of 'class B'
class B;
^
test.cpp:9:36: error: incomplete type 'B' used in nested name specifier
int getHoge(std::unique_ptr<B::Hoge> hoge);
^~~~
test.cpp:9:36: error: incomplete type 'B' used in nested name specifier
test.cpp:9:40: error: template argument 1 is invalid
int getHoge(std::unique_ptr<B::Hoge> hoge);
^
test.cpp:9:40: error: template argument 2 is invalid
test.cpp:31:19: error: 'int A::getHoge' is not a static data member of 'class A'
int A::getHoge(B::hoge hoge)
^~~~
test.cpp:31:19: error: 'hoge' is not a member of 'B'
```
というエラーメッセージがでてきます

初歩的なところでたくさん質問して申し訳ありません

[fdaskjlfda]

int A::getHoge(B::hoge -> Hogeに修正しても、まだエラーが出てきます
test.cpp:5:11: error: invalid use of incomplete type 'class B'
struct B::Hoge;
^~~~
test.cpp:4:7: note: forward declaration of 'class B'
class B;
^
test.cpp:9:36: error: incomplete type 'B' used in nested name specifier
int getHoge(std::unique_ptr<B::Hoge> hoge);
^~~~
test.cpp:9:36: error: incomplete type 'B' used in nested name specifier
test.cpp:9:40: error: template argument 1 is invalid
int getHoge(std::unique_ptr<B::Hoge> hoge);
^
test.cpp:9:40: error: template argument 2 is invalid
test.cpp:31:5: error: no declaration matches 'int A::getHoge(B::Hoge)'
int A::getHoge(B::Hoge hoge)
^
test.cpp:9:9: note: candidate is: 'int A::getHoge(int)'
int getHoge(std::unique_ptr<B::Hoge> hoge);
^~~~~~~
test.cpp:7:7: note: 'class A' defined here
class A

[maisumakun]

やっぱりBを先に定義するほかないかもしれません。

[maisumakun]

（Bfile.hppで#include "Afile.hpp"を外して、Bが先に定義されるように強制してみてはどうでしょうか）

[fdaskjlfda]

試してみることにします！
ありがとうございます！

[fdaskjlfda]

簡易版でテストしてみたところ、うまくいきました！
ありがとうございます！