Czy standard C++ zezwala na dodanie dwóch liczb całkowitych (typu podstawowego), aby rzucić wyjątek C++?

Question

Czy standard pozwala na to?

Nie sądzę, że tak. Ktoś to robi. Potrzebuję inteligentnych ludzi, żeby udowodnić mu, że się myli.

Answer 1

Tak, robi. Przepełnienie liczb całkowitych ze znakiem jest niezdefiniowanym zachowaniem, więc wszystko może się zdarzyć (włącznie z wyrzucanym wyjątkiem).

Na marginesie muszę przyznać, że jest to mało prawdopodobne (ale na pewno możliwe) dla większości wdrożeń; jak wspomina C++ 11 Standardowy w nocie do ust 5/4:

Jeżeli podczas oceny wyrażenie, wynik nie jest matematycznie zdefiniowana lub nie w zakresie reprezentowalna wartości dla tego typu, zachowanie jest niezdefiniowane. [Uwaga: większość istniejących implementacji C++ ignoruje przepełnienia całkowite. Traktowanie dzielenia przez zero, tworząc pozostałość przy użyciu dzielnika zera, a wszystkie wyjątki zmiennoprzecinkowe różnią się w zależności od komputera i zazwyczaj można je regulować za pomocą funkcji bibliotecznej. -end note]

As hvd mentions in the comments, jednak niektóre implementacje umożliwiają dostarczanie niestandardowych procedur obsługi przepełnienia liczby całkowitej, a te procedury obsługi mogą być wyświetlane.

Answer 2

Zasadą jest, że coś się może być napisany w języku C nie może i nie powinien wyrzucać wyjątek ...

Dlatego też nie.

Jak mówi Andy, takie zachowanie jest nieokreślone, więc wszystko może się zdarzyć. Teoretycznie komputer może również sprawić, że wypijesz filiżankę kawy i zabierzesz psa na spacer. Jednak gdybyś był w rozmowie kwalifikacyjnej, sugerowałbym, żebyś im powiedział: nie;)