结构体前向声明问题：SideClass访问B成员报错，无法包含config_file.h

我当前的代码架构被迫使用前向声明模式，现有代码如下：

现有代码文件 #

class_with_config.h #

#include "config_file.h"
#include "i_class_with_config.h"

class ClassWithConfig : public I_ClassWithConfig
{
    // specific implem
};

config_file.h #

struct A {
   bool A1;
   bool A2;
};

struct B {
   bool B1;
   bool B2;
};

struct C {
   A a;
   B b;
};

i_class_with_config.h #

struct B; // forward declaration of struct B

class I_ClassWithConfig
{
  // definition of interface
};

side_class.h #

#include "i_class_with_config.h"

class SideClass
{
public :
   SideClass(B* config);

private :
   void Foo(void);
   B* my_config;
};

side_class.cpp #

SideClass::SideClass(B* argConfig) : my_config(argConfig) 
{
}

void SideClass::Foo(void)
{
   if (my_config->B1 == true)
   {
      // do something
   }
}

编译时出现错误：

pointer to incomplete class type "B" is not allowed

约束条件：不能在side_class.h中包含config_file.h

解决方案 #

问题核心在于：头文件里的前向声明仅能让编译器知晓B是一个结构体类型，但当你在cpp文件中访问my_config->B1时，编译器需要B的完整定义才能识别它的成员。

只需在side_class.cpp开头添加config_file.h的包含语句即可，完全符合头文件的约束要求：

修正后的side_class.cpp：

#include "side_class.h"
#include "config_file.h" // 新增该行，获取B的完整定义

SideClass::SideClass(B* argConfig) : my_config(argConfig) 
{
}

void SideClass::Foo(void)
{
   if (my_config->B1 == true)
   {
      // do something
   }
}

前向声明的适用边界 #

前向声明仅能告知编译器“某类型存在”，仅支持以下场景：

• 声明指向该类型的指针或引用
• 声明以该类型为参数/返回值的函数

若要访问类型成员、创建实例（需知晓类型大小），必须提供该类型的完整定义——将头文件包含放在实现文件（.cpp）中，既满足了编译需求，又不会破坏头文件的依赖约束。

内容的提问来源于stack exchange，提问作者LPo