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

“Независимо от состояния программы” и “без ограничений” не узаконивает программы, поведение которых уже является неопределенным. Например, 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).

На практике значение слабого счетчика не всегда совпадает с количеством указателей std::weak_ptr, ссылающихся на управляющий блок, поскольку разработчики библиотеки нашли способы добавлять в слабый счетчик дополнительную информацию, которая упрощает генерацию лучшего кода. В данном разделе мы игнорируем этот факт и считаем, что значение слабого счетчика представляет собой количество указателей std::weak_ptr, ссылающихся на управляющий блок.)).

Непереводимая игра слов, основанная на использовании для обычного указателя названия “raw pointer” (дословно — “сырой указатель”). — Примеч. пер .

В разделе 5.3 поясняется, что к универсальным ссылкам почти всегда может применяться std::forward, так что, когда эта книга готовилась к печати, некоторые члены сообщества С++ начинали именовать универсальные ссылки передаваемыми ссылками .

Такими локальными объектами являются большинство локальных переменных (например, такие как wв makeWidget), а также временные объекты, создаваемые как часть инструкции return. Параметры функции на такое звание претендовать нс могут. Некоторые программисты различают применение RVO к именованным и неименованным (т.e. временным) локальным объектам, ограничивая термин “RVO” неименованными объектами и называя его применение к именованным объектам оптимизацией именованных возвращаемых значений (named return value optimization — NRVO).

Известная история о том, что об одном и том же до средины наполненном стакане пессимисты говорят, что он наполовину пуст, а оптимисты — что он наполовину полон. — Примеч. пер.

Здесь предполагается, что битовые поля располагаются от младшего бита к старшему. С++ это не гарантирует, но компиляторы часто предлагают механизм, который позволяет программисту управлять схемой размещения битовых полей.

std::bindвсегда копирует свои аргументы, но вызывающий код может добиться эффекта сохранения аргумента по ссылке путем применения std::ref. Результат вызова

auto compressRateB = std::bind(compress, std::ref(w), _1);

состоит в том. что compressRateBдействует так, как если бы сохранялась ссылка на объект w, а не его копия.

В предположении, что таковая имеется. В некоторых встроенных системах ее нет.

Это упрощение. Значение имеет не фьючерс, для которого вызывается getили wait, а совместно используемое состояние, на которое ссылается фьючерс. (В разделе 7.4 обсуждается взаимосвязь фьючерсов и совместно используемых состояний.) Поскольку std: futureподдерживают перемещение, а также могут использоваться для построения std::shared_futureи поскольку std::shared_futureмогут копироваться, объект фьючерса, ссылающийся на совместно используемое состояние, возникающее из вызова std::async, в который была передана f, вероятно, будет отличаться от фьючерса, возвращенного std::async. Однако обычно просто говорят о вызове функций-членов getили waitфьючерса, возвращенного из std::async.

Часто их переводят как объединяемое и необъединяемое , но, на наш взгляд, термин подключение лучше отражает смысл происходящего с потоком, связанным с объектом std::thread, при вызове функции join, как и отключение для происходящего при вызове функции detach. — Примеч. пер .

Вы можете обратиться к книге Энтони Вильямса (Anthony Williams) С++ Concurrency in Action (Manning Publications, 2012), раздел 9.2.

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

Разумной отправной точкой для начала изучения этого вопроса является запись в моем блоге от 24 декабря 2013 года в The View From Aristeia , “ThreadRAII + Thread Suspension = Trouble?”

Это справедливо только для std::аtomic, использующих последовательную согласованность , которая является применяемой по умолчанию (и единственной) моделью согласованности дня объектов std::atomic, использующих показанный в этой книге синтаксис. C++11 поддерживает также модели согласованности с более гибкими правилами переупорядочения кода. Такие слабые (или смягченные ) модели делают возможным создание программного обеспечения, работающего более быстро на некоторых аппаратных архитектурах, но применение таких моделей дает программное обеспечение, которое гораздо труднее правильно понимать и поддерживать. Тонкие ошибки в коде с ослабленной атомарностью не являются редкостью даже для экспертов, так что вы должны придерживаться, насколько это возможно, последовательной согласованности.