C++嵌套类/结构体与父对象引用的设计方案选型咨询

设计选型建议 #

三种方案的适用场景 #

嵌套类方案（原始实现）

如果Inner确实仅在Outer内部使用、不会暴露给外部调用者，这是首选方案：

• 无需额外维护parent引用，既省去了每个Inner实例的引用成员内存开销（64位环境下8字节），也完全避免了引用初始化、空悬引用等潜在风险
• 封装性最优：Inner完全是Outer的私有实现细节，外部代码感知不到Inner的存在，符合最小可见性的设计原则
• 你感知到的「繁琐」只是代码排版问题，可以通过拆分定义的方式优化，不会让Outer的结构臃肿：

// 头文件仅保留最小声明
struct Outer {
    CertainObject_t CertainObject;
    struct Inner; // 仅前置声明
    std::vector<Inner> vInner;
    other_t other_function();
};

// 放到cpp文件中，完全不对外暴露Inner的实现细节
struct Outer::Inner {
    some_t some_function(Outer& outer);
};

some_t Outer::Inner::some_function(Outer& outer) {
    // 逻辑使用outer.CertainObject
}

other_t Outer::other_function() {
    return vInner[i].some_function(*this);
}

外部类加parent引用方案

仅推荐在两种场景下使用：

• Inner需要被多个不同的父类使用，或者存在Outer之外的调用场景
• Inner实例需要脱离Outer的生命周期单独传递（需额外注意parent引用的空悬风险）
  无上述需求时使用该方案属于过度设计，会平白增加维护成本。

Inner逻辑迁移为Outer成员方案

仅适合Inner本身是纯数据结构体、无自有行为逻辑的场景。如果Inner有独立状态和多个关联成员函数，把逻辑全部塞到Outer中会导致Outer职责臃肿，违反单一职责原则。 #

更优雅的解耦方案 #

如果some_function仅需要用到Outer中的CertainObject成员，可以进一步降低耦合：调用时直接传递CertainObject的引用即可，不需要让Inner感知整个Outer的存在：

struct Inner {
    some_t some_function(CertainObject_t& obj);
};

other_t Outer::other_function() {
    return vInner[i].some_function(CertainObject);
}

该实现下Inner和Outer完全解耦，Inner仅依赖自己需要的CertainObject_t类型，后续就算CertainObject调整归属、或者Inner需要复用到其他模块，都无需修改Inner的实现。

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