Стенли Липпман - Язык программирования C++. Пятое издание

Важно понимать, что компилятор не проверяет спецификацию noexceptво время компиляции. Фактически компилятору не разрешено отклонять функцию со спецификатором noexceptпросто потому, что она содержит оператор throwили вызывает функцию, которая может передавать исключение (однако хорошие компиляторы предупреждают о таких случаях):

// эта функция компилируется, хоть она и нарушает свою спецификацию

// исключения

void f() noexcept // обещание не передавать исключений

{

throw exception(); // нарушает спецификацию исключения

}

В результате вполне вероятно, что функция, обещавшая не передавать исключений, фактически передаст его. Если такая функция передаст исключение, для соблюдения обещания во время выполнения вызывается функция terminate(). Результат прокрутки стека непредсказуем. Таким образом, спецификатор noexceptследует использовать в двух случаях: если есть уверенность, что функция не будет передавать исключений, или если совершенно неизвестно, как справиться с ошибкой.

Спецификация запрета передачи исключения фактически обещает вызывающей стороне такой функции, что ей не придется иметь дела с исключениями. Функция либо не передаст исключения, либо вся программа закончит работу; в любом случае вызывающей стороне не нести ответственность за исключения.

Во время компиляции компилятор может вообще не проверять спецификации исключения.

У прежних версий языка С++ была более сложная схема спецификаций исключения, позволяющая определять типы исключений, которые могла бы передавать функция. Функция может определить ключевое слово throw, сопровождаемое заключенным в скобки списком типов, которые могла бы передать функция. Спецификатор throwрасполагается в том же месте, где и спецификатор noexceptв текущем языке.

Этот подход никогда широко не использовался и не рекомендован в текущем стандарте. Хотя один случай использования более сложной старой схемы распространен довольно широко. Функция, обозначенная как throw(), обещает не передавать никаких исключений:

void recoup(int) noexcept; // recoup() не передает ничего

void recoup(int) throw(); // эквивалентное объявление

Эти объявления функции recoup()эквивалентны. Оба указывают, что функция recoup()не будет передавать исключений.

Спецификатор noexceptполучает необязательный аргумент, тип которого должен быть преобразуем в тип bool: если аргументом будет true, то функция не будет передавать исключений; если false— то может:

void recoup(int) noexcept(true); // не будет передавать исключений

void alloc(int) noexcept(false); // может передавать исключения

Аргументы спецификатора noexceptзачастую создаются с использованием оператора noexcept. Оператор noexcept— унарный, возвращающий константное логическое выражение r-значения, означающее способность данного выражения передавать исключения. Подобно оператору sizeof(см. раздел 4.9), оператор noexceptне вычисляет свой операнд.

Например, следующее выражение возвращает значение true:

noexcept(recoup(i)) // true, если вызов функции recoup() не может

// передать исключение, и false в противном случае

поскольку функция recoup()объявлена со спецификатором noexcept. В более общем виде выражение noexcept(е)возвращает значение true, если у всех вызванных ефункций нет спецификаций передачи и сама ене содержит операторов throw. В противном случае выражение noexcept(е)возвращает значение false.

Оператор noexceptможно использовать для формирования спецификатора исключения следующим образом:

void f() noexcept(noexcept(g())); // f() имеет тот же спецификатор

// исключения, что и g()

Если функция g()обещает не передавать исключений, то f()также не будет. Если g()не имеет спецификатора исключения или имеет спецификатор, позволяющий передачу исключений, то функция f()также может передавать их.

Ключевое слово noexceptимеет два значения: это спецификатор исключения, когда оно следует за списком параметров функции, и оператор, который зачастую используется как логический аргумент для спецификатора исключения noexcept.