文章档案

/*
In the first alternative (delete object), 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.

                  --------ISO/IEC 14882:1998 5.35
*/
#include <iostream>
using namespace std;


struct A
{
    virtual ~A()
    {
        cout << "~A\n";
    }
};

struct B : public A
{
  public:
  float m_f;
  virtual ~B()
  {
      cout << "~B\n";
  }
};


int main()
{
    B *p  = new B;
    A *c = p;
    delete c; // All right.

    // Can not free the Array pointer    
    {
        B *pb = new B[2];
        A *pa = pb; // 数组退化为指针
        void *pv = pb; // 同上
        delete []pa; // delete []pv;
    }
}

#include <string>
#include <iostream>
#include <vector>
#include <iterator>

using namespace std;
/**
    Base
    / \
Test1 Test2

we want to create Test1/Test2 from any class derived from Base.
 so we just write a copy-CTOR, but nightmares begins.
 see following code: it will cause a terrible bug .
*/
class Base
{
    Base(Base const&);
    const Base & operator=(Base const&);
public:
    Base(){}
    virtual int *Get()const {return 0;}
};

class Test1 :public Base
{
   Test1(Test1 const&);// Notice we hide this for the error.!!!! if you don't,
   // the compiler will create a useless copy-ctor for you ,
   // and the following t3 will be copied with anything possible!!
public:
   Test1(){}
   Test1(Base const &rhs)
   {
        cout << "Test1(Base const&)\n";
   }
};

class Test2 :public Base
{
   //Test2(Base const&);
public:
   Test2(){}
   Test2(Test2 const &rhs)
   {
        cout << "Test2(Base const&)\n";
   }
};


int main()
{
    Test1 t1;
    Test2 t2(t1);
    Test2 t3(t2);// error: use of deleted function 'Test2::Test2(const Test2&)'|
}