使用现有基类对象创建派生类对象？

Question

是否有可能（或快速解决方法）创建定义为派生类的对象，而无需在内存中创建基类对象；相反，派生对象应该引用基类实际存在的对象（“接管”其内存驻留）？出于速度原因，这是需要的 - 创建新的派生对象，将数据从基类对象复制到它，然后销毁基对象需要太多时间。

Answer 1

在这种情况下，您可能需要考虑组合而不是继承 - 这会更自然。

Answer 2

我不会使用该语言支持的 class 构造。如果您需要一些小而灵活的东西，请考虑编写一个struct并使用函数指针实现您自己的v-table。与 Linux 内核中的情况大致相同。请注意，面向对象编程几乎可以用任何语言完成，不一定是支持它的语言。

然后，您可以动态切换虚拟表指针，并可能执行一些realloc，以添加派生类型所需的字段。

最后，您可以将所有这些打包在一个常规的类中，该类没有任何动态方法，只是将所有调用委托给所描述的内部结构。这不应该施加任何内存或计算开销。

编辑：实际上我想 realloc 不是正确的方法。这是一个涉及底层操作系统并需要上下文切换的例程。只要您已经分配了适当的内存块，几乎总是调用 copy 会更快。如果您对速度感兴趣，那么也许还可以考虑实现您自己的内存管理或使用 boost 等库提供的替代实现之一。

Answer 3

我不认为你能做你想做的事。

考虑：

   d1 = prestochango(b);
   d2 = prestochango(b);
   d1.blarf = waldo;
   // what value does d2.blarf now have?

d1 和 d2 要么是不同的对象，包括不同的 b 基底，要么它们是同一个对象。

现在，您可以通过使您的 b-substrate 成为 d 类的静态成员来伪造它。

Answer 4

如果要动态调用派生类，v表是必不可少的。

因此，也许您可​​以实现没有数据成员的“基类”，并传入虚拟函数在调用期间作为参数所需的数据或数据指针。

它会节省内存，但会花费更多时间。

Answer 5

如果您希望创建基类的一个版本并让所有对象继承或派生自同一个实例，那么您可以在基类中将事物声明为静态。静态意味着类的每个实例都有一个版本。

即

class FooBase {
protected:
    static int IDCnt;
    static int ObjCnt;
    int ID;
public:
    FooBase();
    ~FooBase();
    virtual int GetID();
    virtual int GetObjCnt();
    virtual int GetIDCnt();
};
//implementation
int FooBase::IDCnt = 0; //need to init static vars
int FooBase::ObjCnt = 0;
FooBase::FooBase() { ID = IDCnt; IDCnt++; ObjCnt++; }
FooBase::~FooBase() { ObjCnt--; }
int FooBase::GetID() { return ID; }
int FooBase::GetObjCnt() { return ObjCnt; }
int FooBase::GetIDCnt() { return IDCnt; }

#include "FooBase.h"
class FooDerived : public FooBase {
      //blah

};
#include "FooDervied.h"

int main() {
FooDerived A;
FooDerived B;
cout << A.GetID() << ' ' << A.GetObjCnt() << ' ' << A.GetIDCnt() << endl;
cout << B.GetID() << ' ' << B.GetObjCnt() << ' ' << B.GetIDCnt() << endl;
if(true) {
   FooDerived C;
   cout << A.GetObjCnt() << ' ' << A.GetIDCnt() << ' ' << B.GetObjCnt << C.GetIDCnt() << endl;
}
cout << B.GetObjCnt() << '' << A.GetObjCnt() << ' ' << A.GetIDCnt() << ' ' << B.GetIDCnt << endl;

}

以这种方式，您不声明基类项，而是通过静态变量继承基类的实例，这基本上意味着所有 FooDerived 都在查看相同的内存块 FooBase::IDCnt 和 FooBase::ObjCnt。

Answer 6

您考虑过工厂设计模式吗？

你的基类只需要知道你想创建什么样的派生类