c++ - 使用类作为 BaseClass

Question

我有:

class BASE{
public:
    virtual void func1() = 0;
};

然后我有一些派生类，比如:

class Derived1 : public BASE{
public:
    void func1() {...implementation....}
};

class Derived2 : public BASE{
    public:
        void func1() {...implementation....}
    };

主要我想做类似的事情(伪代码):

if ( cond ){
   BASE b := new Derived1
}
else{
   BASE b := new Derived2
}
b.func1();

因此调用的 func1() 函数是专用于派生类的函数。

我尝试过:

BASE b = new Derived1();

但是编译器会报错。

在 C++ 中可以这样做吗？怎么办？

Answer 1

显然，您已经习惯了垃圾回收 OO 语言，例如 Java。要很好地回答这个问题，从这个角度来看可能是好的。

当你写东西的时候

Base b = new Derived1();

在 Java 中，会发生以下情况:

1. 指向通用 &b 的指针“β ”(我称之为 Base )对象分配在栈上
2. 一个新的Derived1对象(我称之为 d )分配在堆上
3. β设置为指向 Derived对象。

您在 Java 中如此轻松地摆脱困境的原因是有一个垃圾收集器。只要β，这就不会生效。在堆栈上并指向 d , 因为 GC 知道 d仍然可以访问并且可能正在使用中。但是一旦没有指针指向 d不再(例如，因为你声明 b 的函数离开了作用域)，GC 被允许释放 d 占用的空间。 .很简单，但是垃圾回收有 several disadvantages ，这是我们在 C++ 中不想要的。

所以在 C++ 中，如果你做类似的事情

Base* b = new Derived1();

直接对应Java版本，你有问题:当b离开范围，没有任何内容涉及 d了，但是它仍然在堆上!。需要自己删除

delete b;

(请注意，这有一个很大的优势，您可以准确地确定它在哪一点被删除，而垃圾收集器可能会将它无用地放置很长时间，并且只有在您开始耗尽内存时才将其删除)。但再一次，这还不够:与垃圾收集器不同，您的程序不会自动知道 b。指向 Derived1对象而不是 Base对象，所以 delete will delete 认为它正在处理 Base .但是很容易理解这一点:在 Base 中包含一个虚拟析构函数类，比如

class Base{
 public:
  virtual void func1() = 0;
  virtual ~Base() {}  
};

现在，需要手动删除所有内容显然有点危险:如果您忘记这样做，就会发生内存泄漏，即对象永远不会从堆中删除只要你的程序运行。出于这个原因，应该使用智能指针 而不是普通的 C 风格指针，这会在离开作用域时自动删除它们指向的对象。在 C++11 中，它们在标准库(头文件 <memory>)中定义。你只要做

std::unique_ptr<Base> b(new Derived1());

现在，当b叶范围，Derived1对象被自动删除。

在所有这些例子中，调用虚函数的方式都是一样的:

b->func1();