Kann eine NoExcept-Funktion immer noch eine Funktion aufrufen, die in C ++ 17 ausgelöst wird?

Im P0012R1, "Ausnahmespezifikationen als Teil des Typsystems definieren ",
Ich sehe dasnoexcept wird jetzt Teil des Funktionstyps.

Ich kann nicht sagen, ob dies @ verhindern winoexcept(true) funktioniert, weil @ immer noch angerufen werden kanoexcept(false) Funktionen.

Ist der folgende Code für C ++ 17 noch gültig?

void will_throw() noexcept(false){
  throw 0;
}

void will_not_throw() noexcept(true){
  will_throw();
}

Antworten auf die Frage(8)

Ihre Antwort auf die Frage