什么时候你需要一个虚构函数是虚的

最新推荐文章于 2022-12-01 16:56:25 发布

最新推荐文章于 2022-12-01 16:56:25 发布 · 104 阅读

文章标签：

#c/c++

本文详细介绍了C++中虚析构函数的作用及其必要性。解析了在哪些情况下需要声明虚析构函数，以及如果不恰当地使用它可能会导致的问题。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

什么时候你需要一个虚构函数是虚的？
//z 2011-06-10 22:58:36@is2120.优快云转载请注明出处
tag: virtual destructor dtor 虚构函数虚虚构函数虚函数
你的c++ 对象的虚构函数何时应为virtual ？

首先，拥有一个虚虚函数意味着什么？

嗯，拥有一个虚函数意味着什么？

如果一个函数是虚函数，那么在一个object 上调用一个函数总是调用由the most heavily derived class 实现的method 。如果method 不是virtual ，那么实现就对应到对象指针编译时的类型。

举例如下：
For example, consider this:

class Sample {

public:

void f();

virtual void vf();

};

class Derived : public Sample {

public:

void f();

void vf();

}

void function()

{

Derived d;

Sample* p = &d;

p->f();

p->vf();

}

p->f() 调用将导致调用Sample::f ，因p 是一个指向Sample 的指针。真实object 是派生的类型，但是指针仅仅是一个指向Sample 的指针。这里使用了指针类型（相对实际的object type ），因f 不是virtual 的。
//z 2011-06-10 22:58:36@is2120.优快云转载请注明出处

另一方面，p->vf() 调用将导致一个Derived::vf 的调用，the most heavily derived type ，因vf 是virtual 的。

是的，你已知道这些了。

Virtual destructors 完全同样的工作方式。只是你很少显式调用dtor 。更确切地说，当一个自动变量出其scope 时或者你删除（new,delete ）一个对象时就会调用dtor 。

void function()

{

Sample* p = new Derived;

delete p;

}

既然Sample 没有一个virtual destructor ，那么delete p 将调用该指针类的dtor ，而不是most derived typde 的dtor （Derived::~Derived() ）。如你所见，在上述情景中这是不正确的事情。

有了这些信息在手，你就可以回答开头的问题了。

如果你一个类满足了下面两个条件，那么必须有一个virtual destructor 。

. 你会delete p
.p 实际会指向一个派生类

一些人认为你需要一个virtual dtor 当且仅当你有一个virtual method 。这在双向上都是不正确的。

下面就是没有virtual method 但是仍旧需要 virtual dtor 的例子：
class Sample { };

class Derived : public Sample

{

CComPtr<IStream> m_p;

public:

Derived() { CreateStreamOnHGlobal(NULL, TRUE, &m_p); }

};

Sample *p = new Derived;

delete p;

delete p 将导致调用 Sample::~Sample 而不是Derived::~Derived 。这将导致stream m_p 的一个泄漏。
The delete p will invoke Sample::~Sample instead of Derived::~Derived, resulting in a leak of the stream m_p.

然后下面就是一个例子，一个class 有virtual method 但是不需要一个virtual dtor 。
class Sample { public: virtual void vf(); }

class Derived : public Sample { public: virtual void vf(); }

Derived *p = new Derived;

delete p;

既然指针类型和对象类型一致，那么相应正确的dtor 就会别调用。这个模式在com 对象中经常如此，这些对象常常根据对应的接口输出几个virtual methods ，但是对象本身由其自身的实现来销毁而不是从一个基类指针（注意没有com 接口包含一个虚拟dtor ）
知道何时让你的dtor 为virtual 或者不是取决于人们如何使用你的类。如果c++ 有一个“sealed ”关键字，那么规则就会简单多了：如果在一个非sealed class 上调用“delete p ”，那么class 需要有一个virtual dtor 。

『虚幻的 sealed 关键字使得它是显式的，当一个类能够作为另一个类的基类』
//z 2011-06-10 22:58:36@is2120.优快云转载请注明出处

补充材料：

class A{

public:

 A(){}

 ~A(){}

}


class B{

 B(){}

 ~B(){}

}


A * a = new B;



delete a;

在标准中有有关规格说明如下（ 5.3.5 /3 ）：

if the static type of the operand is different from its dynamic type, the static type shall be a base class of the operand’s dynamic type and the static type shall have a virtual destructor or the behavior is undefined.

从而如上的情况是UB(未定义的)