Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

Применение ключевого слова finalк виртуальной функции препятствует перекрытию этой функции в производном классе. Ключевое слово finalтакже может быть применено к классу; в этом случае класс становится неприменимым в качестве базового.

“As if rule” — правило, согласно которому разрешены любые преобразования кода, не изменяющие наблюдаемое поведение программы. — Примеч. ред .

Обычно в русскоязычной литературе для термина stack unwinding используется перевод “разворачивание стека”. Однако это не совсем верный перевод. Вот что в переписке с редактором книги пишет по этому поводу профессор университета Иннополис E. Зуев: “ Самый частый вариант перевода — «раскрутка стека» — не просто затемняет существо дела, но просто-таки противоположен ему. При срабатывании исключения начинается процесс поиска в стеке секции (“кадра стека”, stack frame), для которой задан перехват случившегося исключения. В тексте исходной программы такой секции соответствует try-блок с catch-обработчиком, в котором задано имя случившегося исключения. И в процессе этого поиска все секции стека, для которых такой перехват не задан, из стека удаляются. Говорят еще, что производится поиск секции по всей динамической цепочке вызовов. Тем самым стек в целом сокращается, сворачивается. Таким образом, самый адекватный вариант перевода — сворачивание стека ”. Поэтому принято решение переводить stack unwinding как сворачивание стека. — Примеч. ред .

Проверка обычно выполняется окольным путем. Функции наподобие std::vector::push_backвызывают шаблон std::move_if_noexcept, вариацию шаблона std::move, который условно выполняет приведение к rvalue (см. раздел 5.1), в зависимости от того, объявлен ли перемещающий конструктор как noexcept. В свою очередь, std::move_if_noexceptконсультируется с std::is_nothrow_move_constructible, а значение этого свойства типа (см. раздел 3.3) устанавливается компиляторами в зависимости от того, объявлен ли перемещающий конструктор как noexcept(или throw()).

В спецификациях интерфейса для операций перемещения в контейнерах стандартной библиотеки noexceptотсутствует. Однако разработчикам разрешено усиливать спецификации интерфейсов функций стандартной библиотеки, и на практике как минимум для некоторых контейнеров операции перемещения объявляются как noexcept. Эта практика является примером следования совету из данного раздела. Обнаружив, что можно написать операции перемещения так, что исключения гарантированно не будут генерироваться, разработчики часто объявляют такие операции как noexcept, несмотря на то что стандарт языка от них этого не требует.

“Независимо от состояния программы” и “без ограничений” не узаконивает программы, поведение которых уже является неопределенным. Например, std::vector::sizeимеет широкий контракт, но это не означает, что данная функция должна разумно себя вести при применении к произвольному блоку памяти, приведенному к типу std::vector. Результат приведения не определен, поэтому нет никаких гарантий, касающихся поведения программы, содержащей такое приведение.

Поскольку P oint::xValueвозвращает double, типом mid.xValue() * 10также является double. Типы с плавающей точкой не могут использоваться для инстанцирования шаблонов или для указания значений перечислений, но они могут быть использованы как части больших выражений, дающих интегральные типы. Например, для инстанцирования шаблона или для указания значения перечислителя может использоваться выражение static_cast(mid.xValue() * 10).

Из этого правила есть несколько исключений. Большинство из них обусловлено аварийным завершением программы. Если исключение выходит за пределы основной функции потока (например, mainв случае начального потока программы) или если нарушена спецификация noexcept(см. раздел 3.8), локальные объекты могут не быть уничтожены; они, определенно, не уничтожаются, когда вызывается функция std::abortили функция выхода (т.e. std::_Exit, std::exitили std::quick_exit).

Стандарт не требует использования именно такой реализации, но все известные мне реализации стандартной библиотеки поступают именно так

Дня создания полнофункциональной версии make_uniqueс минимальными усилиями поищите документ, ставший ее источником, и скопируйте из него ее реализацию. Этот документ — N3656 от 18 апреля 2013 года, его автор — Стивен T. Лававей (Stephan T. Lavavej).