C++11 interface pure virtual destructor

vladon picture vladon · Jun 12, 2016 · Viewed 7.1k times · Source

UPD. There is a mark that it is a duplicate of this question. But in that question OP asks HOW to use default to define pure virtual destructor. This question is about what the difference.

In C++ (latest standard if possible) what the real difference between defining pure virtual destructor with empty body implementation and just a empty body (or default)?

Variant 1:

class I1 {
public:
    virtual ~I1() {}
};

Variant 2.1:

class I21 {
public:
    virtual ~I21() = 0;
};

I21::~I21() {}

Variant 2.2:

class I22 {
public:
    virtual ~I22() = 0;
};

I22::~I22() = default;

Update I found at least 1 difference between Variant 1 and Variants 2.1/2.2:

std::is_abstract::value is false for Variant 1, and true for Variants 2.1 and 2.2.

Demo

May be someone can found difference between 2.1 and 2.2?

Answer

nsubiron picture nsubiron · Jun 16, 2016

The difference between I1 and I2*, as you pointed out, is that adding = 0 makes the class abstract. In fact, making the destructor pure virtual is a trick to make a class abstract when you don't have any other function to be pure virtual. And I said it's a trick because the destructor cannot be left undefined if you ever want to destruct any derived class of it (and here you will), then you still need to define the destructor, either empty or defaulted.

Now the difference between empty or defaulted destructor/constructor (I21 and I22) is way more obscure, there isn't much written out there. The recommended one is to use default, both as a new idiom to make your intentions clearer, and apparently, to give the compiler a chance for optimization. Quoting msdn

Because of the performance benefits of trivial special member functions, we recommend that you prefer automatically generated special member functions over empty function bodies when you want the default behavior.

There are no visible differences between the two, apart from this possible performance improvement. = default is the way to go from C++11 on.