Re: Virtual destructors and the C++ standard.

From:

Alan Johnson <awjcs@yahoo.com>

Newsgroups:

comp.lang.c++

Date:

Sun, 10 Jun 2007 00:27:04 -0700

Message-ID:

<oLGdndGMqYtJOvbbnZ2dnUVZ_vqpnZ2d@comcast.com>

ggroups_steve@shic.co.uk wrote:

I was recently surprised about how a chunk of code compiled and
executed, which lead me to wonder what would be "correct" from a C++
standards perspective. (I don't need help to arrive at sensible code,
this is for academic interest only...)

--
#include <iostream>
using namespace std;
class A {
public:
  A() { cerr << "CA"; }
  virtual ~A() =0; };
class B : public A {
public:
  B(bool a) { if (a) throw a; }
  ~B() { cerr << "DA"; } };
int main(int c,char *v[])
{
  try { B b(c==1); } catch(bool x) { cerr << "catch" << endl; }
  return 0;
}
--
I'm interested to know:
* While this obviously compiles, is it complete - i.e. should it link?
* Should the fact that A has a pure virtual destructor influence
whether or not B's destructor is called in the context of exception
'a'?
* Have either of the above two questions different answers if one
looks from the perspective different C++ standards vintages?

According to my understanding it should not link. After class B's
destructor executes, it calls class A's destructor (see 12.4.6).
Because you've declared a destructor in class A, the implicit destructor
is not created for you (see 12.4.3). You did not define A's destructor
anywhere, so when you try to link, the call to it in B's destructor will
be unresolved.

Making a member function pure virtual, by the way, does NOT mean that
you cannot provide an implementation (see 10.3.8). It only imposes the
requirement that child classes must override the member function, and
that no instances of the class containing the pure virtual member
function may be created.

The solution? Provide a definition for A's destructor. This cannot be
done in a declaration (see note in 10.4.2), so add the following line
somewhere before main:
A::~A() {}

--
Alan Johnson