C++ 11 通过在类声明中使用指针来节省内存

Question

大多数时候我可以找到堆栈溢出的答案。

我正在做一个项目，我需要一些建议。

A 类将拥有数百万个对象/实例。 A类有几个成员，包括B类、C类和D类等。 B、C、D等类有很多成员H、I、J、K等。

A 类将始终只有一个“有效”类成员，这意味着只使用 B 或 C（或其他）。 但是，B 类通常有不止一个“有效”的类成员。

那么在 Class A 声明中使用“class B”或“class * B”会有什么不同呢？同样，B 类声明呢？

一些插图代码： 解决方案1

Class A
{
  B b;//i assume once A has an object, both b and c will take memory
  C c;
}

Class B
{
  H h;
  I i;
}

或解决方案 2

Class A
{
  B * b;  //only one of B or C may be used buy we don't know so far
  C * c;
}
Class B
{
  H * h;//a combination of h, i, j, k, etc may be used, we still don't know so far.
  I * i;
}

我假设通过在类声明中使用空指针（解决方案 2），我可以在定义和程序运行期间节省大量内存。因为我知道只有一个或几个指针会被实际使用。

你怎么看？

Answer 1

这听起来像是polymorphism 的工作。

从A可能包含B或C的事实来看，两者都不会改变A的接口，看来B和C应该从一个共同的基础@继承987654329@ 和 A 应该有一个指向它的指针

struct BC
{
    virtual int foo() = 0;
};
struct B : BC
{
    virtual int foo() override { return 42; }
};
struct C : BC
{
    virtual int foo() override { return 420; }
};
struct A
{
    BC* bc;  // which should likely be...
    std::unique_ptr<BC> ubc;

    int foo() { return ubc->foo(); }
};

H 以后也是如此，将它们的公共基指针集合保存在 B 中

如果您发现包含类的接口根据其内容发生了显着变化，则很可能您正在构建具有泄漏抽象的monolith。考虑重组。