C++类内定义struct结构体的作用及访问权限问题

• 避免命名空间污染：和类强绑定的结构体定义在类内部，不会向外层作用域（全局/父命名空间）暴露类型名，不会和其他位置同名的结构体产生命名冲突，不同类中可以各自定义同名的内部结构体互不影响。
• 明确语义关联：直接在代码层面表明这个结构体是类的配套组成部分，仅服务于当前类的逻辑实现，脱离当前类单独使用该结构体没有实际业务意义，提升代码可读性和聚合度。
• 支撑封装设计：可以通过访问修饰符精准控制结构体的可见范围，不需要把仅内部实现用到的类型暴露给外部，符合面向对象的封装原则。

嵌套定义在类内部的结构体，属于类的嵌套类型，访问权限规则和类的普通成员变量、成员函数完全一致：

• 以class关键字定义的类，默认访问权限为private，如果结构体定义没有明确放在public/protected修饰的代码段中，默认是私有成员，你给出的示例代码就属于这种情况。
• 以struct关键字定义的类，默认访问权限为public，无额外修饰时内部结构体默认对外可见。
• 结构体最终的访问权限，完全由它所在代码段对应的访问修饰符决定，和它本身是struct还是typedef定义没有关系。

举个权限对应示例：

class A {
// 无显式修饰，属于private段
   typedef struct {
      int val;
   } PrivateB;
public:
// public段，对外可见
   struct PublicC {
      int val;
   };
protected:
// protected段，仅类自身和子类可见
   struct ProtectedD {
      int val;
   };
};

完全由结构体的访问权限决定：

• 若为private权限：仅当前类自身的成员函数、当前类声明的友元函数/友元类可以访问该结构体类型，外部类、全局代码都无法使用，强行引用会触发编译报错。
• 若为protected权限：除了类自身和友元，当前类的子类也可以访问该结构体类型。
• 若为public权限：所有位置的代码都可以通过类名::结构体名的格式引用该类型，比如针对上面示例里的公开结构体，可以在全局写A::PublicC test;来定义变量。

补充说明：你示例中使用的typedef struct {} B是C语言兼容写法，在C++中可以直接简写为struct B {};，二者定义的类型效果完全一致。

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