什么时候你需要一个虚构函数是虚的？
//z 2011-06-10 22:58:36@is2120.CSDN
转载请注明出处
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.CSDN
转载请注明出处
另一方面，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.CSDN
转载请注明出处
补充材料：
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(未定义的)