可以在C＆＃x2B;＆＃x2B;可以延迟结合。使用构图时无需堆内存？

Question

后期结合或运行时 - 造态性需要两件事：基本指针和虚拟方法。

class FrameWorkClassBase {
  public:
    virtual void method() = 0;
};

class FrameWorkClassDerived: public FrameWorkClassBase {
public:
    virtual void method() override { ... }
}

class ProductionConsumerClass { // uses composition
  public:
    void method() {
        this->m_sptr->method(); // dynamic dispatch
    }
  
  private:
    // ptr to base class, composition at work
    std::shared_ptr<FrameWorkClassBase> m_sptr =
                              std::make_shared<FrameWorkClassDerived>();
}

似乎有偏见是将堆存储器用于多态对象创建而不是堆叠分配的对象，尤其是在使用“多态对象”作为组件对象时。这是一个要求：整个C ++语言的性质是否迫使将堆内存使用用于“多态组件对象”？是否有任何设计模式可以克服对“多态组件对象”使用堆内存的需求？

注意：我不想使用基类L值参考（FrameworkClassBase＆amp;）作为ProductionConsumerClass中的数据成员，因为我没有终身企业/所有权引用对象。

Answer 1

无需使用堆分配来延迟绑定以进行工作：

#include <iostream>

struct Base {
  virtual void print() { std::cout << "Base\n"; }
};

struct Derived : public Base {
  void print() override { std::cout << "Derived\n"; }
};

struct Composed {
  Base b;
  Derived d;
};

int main() {
  Base b;
  Derived d;
  Composed c;

  Base &bb{b}, &bd{d}, &cbb{c.b}, &cbd{c.d};

  bb.print();   // Base
  bd.print();   // Derived
  cbb.print();  // Base
  cbd.print();  // Derived
}

在上面的示例中，没有进行堆分配，所有参考变量均为type base＆amp;。较晚的装订效果很好。