is this undefined?

[ES Kim]

The destructor of a base class should be virtual in order to
ensure that the correct sequence of destructors is called.
But how about if the derived class has no additional member?
For example,

class Base
{
public:
~Base() { }
/* declaration of other members */
};

class Derived : public Base { };

Base* b = new Derived;
delete b;

Is this undefined?

 

[Jakob Bieling]

The destructor of a base class should be virtual in order to
ensure that the correct sequence of destructors is called.
But how about if the derived class has no additional member?
For example,

class Base
{
public:
~Base() { }
/* declaration of other members */
};

class Derived : public Base { };

Base* b = new Derived;
delete b;

Is this undefined?

Yes. The fact that the derived class does not have any members does not
change this.

 

[Karl Heinz Buchegger]

The destructor of a base class should be virtual in order to
ensure that the correct sequence of destructors is called.
But how about if the derived class has no additional member?
For example,

class Base
{
public:
~Base() { }
/* declaration of other members */
};

class Derived : public Base { };

Base* b = new Derived;
delete b;

Is this undefined?

yes.
Even if *you* added no members to your class, the compiler
might add something to it.