Supprimer le destructeur de lancement appelé depuis le destructeur

Je comprends que les règles actuelles en C ++ disent que:

si un destructeur lance alors que la pile se déroule déjà à cause d'une exception, alors std::terminateest appelé.

En explorant pourquoi les règles sont telles qu'elles sont, je suis tombé sur la situation décrite dans le code ci-dessous.

1. Le destructeur des Xlancers.

2. Ysupprime un Xdans son propre destructeur.

3. Par conséquent, le destructeur des Ylancers.

Ce n'est pas clair pour moi si le fait que les Ylancers (3.) doivent être déclenchés std::terminatepar les règles standard. J'espère qu'il ne devrait pas, et tester contre des gcccourses comme je l'espérais.

Une personne familière avec le jargon juridique standard peut-elle clarifier cela? Devrait (3.) déclencher std::terminateou non?

#include <iostream>

struct X {
  ~X() noexcept(false) {
    std::cout << "Destroying X\n";
    throw std::runtime_error("Exception");
  }
};

struct Y {
   X * x_;

  explicit Y(X * x) : x_{x} { }

  ~Y() noexcept(false) {
    std::cout << "Destroying Y\n";
    delete x_;
  }
};

int main() {
  try {
    Y y(new X());
    std::cout << "Living\n";
  }
  catch (const std::exception & e) {
    std::cout << "Caught " << e.what() << '\n';
  }
}

Avec g ++ version 5.4.0-6ubuntu1 ~ 16.04.9 avec --std=c++17j'obtiens:

Living
Destroying Y
Destroying X
Caught Exception