Synopsis

(Required) A class destructor shall not exit with an exception.

Enabled by default

Yes

Severity/Certainty

Medium/Medium

Full description

An exception is thrown, or might be thrown, in a class destructor. This check is identical to COP-dtor-throw.

Coding standards

Code examples

The following code example fails the check and will give a warning:

class E{};

class C {
  ~C() {
    if (!p){
      throw E();  //may throw an exception here
    }
  }
  int* p;
};

The following code example passes the check and will not give a warning about this issue:

void do_something();

class C {
  ~C() {  //OK
    if (!p){
      do_something();
    }
  }
  int* p;
};