Czy dodanie `noexcept (false)` w jakikolwiek sposób przynosi korzyść kodowi?

Question

Niedawno w moim kodzie wyraźnie pisałem noexcept(false) o funkcjach, o których wiem, że wyrzucają wyjątki, głównie dla osób czytających kod. Zastanawiam się jednak, czy ma to wpływ na zachowanie mojego kodu lub sposób, w jaki kompilator je interpretuje. Czy to ma jakieś znaczenie?

Uwaga: Jestem świadomy, że destruktory nie są domyślnie wyjątkiem i że musisz zmienić noexcept(false), zastanawiam się nad innymi funkcjami.

Answer 1

O bez wyjątku-specyfikator i wyraźnie zaznacza noexcept(false) odpowiadają patrz §15.4/12:

funkcję bez wyjątku specyfikacji lub z wyjątku specyfikacji postaci noexcept(constant-expression) gdzie stałej ekspresji plony false zezwalają na wszystkie wyjątki.

Kompilator nie powinien więc rozróżniać tych wyjątków.

---

Co ważniejsze, nie ma potrzeby, aby być sklejaniu na noexcept(false) do swoich funkcji. Jako programista w C++ powinieneś założyć domyślnie, że każda funkcja jest domyślnie wyrzucana (dlatego standard przyjmuje taką postawę), więc nie dodajesz żadnych nowych informacji, pisząc; dla wszystkich to strata czasu.

Raczej zrobić znak szczególny przypadek, gdy funkcja zdecydowanie nie wyrzuca z noexcept i zaznaczamy przypadki, w których funkcja może rzut zależności od jakiegoś warunku z noexcept(condition).

Jeśli twoja funkcja jest celowo źródłem jakiegoś wyjątku E, napisz to w swojej dokumentacji.

Answer 2

W książce More Exceptional C++, Herb Sutter ma następujący fragment (str 130).:

Prawo odpowiedź na przykładzie 19-1 jest znacznie prostsza:

// Example 19-4: The right solution 
// 
T::~T() /* throw() */ 
{ 
// ... code that won't throw ... 
} 

Przykład 19-4 pokazuje, jak podjąć decyzję projektową zamiast gofrować.

Należy pamiętać, że specyfikacja throws-nothing exception jest tylko komentarzem. To jest styl, który wybrałem, w części , ponieważ okazuje się, że specyfikacje wyjątków przyznają znacznie mniej korzyści niż niż są warte. To, czy zdecydujesz się faktycznie napisać specyfikację, to kwestia gustu.

(Kopalnia nacisk)

Tak, czuję, że muszę podkreślić, że jednym z czołowych ekspertów w C++ kod wyjątku bezpieczne wydaje się być przeciwko całej koncepcji dodawania specyfikacji wyjątków dla kompilatora, aby wykorzystać (ale nadal pozostawiając go w kodzie, aby programiści rozumieli).

Pomyślałem, że może to być interesujące informacje ...