В статье More Effective C++ Скотт Мейерс говорит: C++ указывает, что объект, созданный как исключение, копируется. Тогда я предполагаю, что если конструктор копирования выбрасывает исключение, в свою очередь, вызывается std::terminate ,...

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

Этот код компилируется и запускается, выдавая int : #include <functional> void r( std::function<void() noexcept> f ) { f(); } void foo() { throw 1; } int main() { r(foo); } Однако я бы хотел, чтобы компилятор отклонил...

Я тестировал GCC 5.2 и clang 3.6, оба в режиме С++ 14, и они дают одинаковый результат. Для следующего кода #include <iostream> #include <type_traits> struct S { // S& operator= (S&&) noexcept { return *this; } };...

Об этой функции int test(int a,int b) { return a/b; } Если я вызову test(2,1) , ничего не произойдет. Но если я вызову test(2,0) , это вызовет неопределенное поведение. В результате я должен определить его как noexcept ? Кстати,...

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

В документации сказано, что Deleter должен быть: не строить nothrow callable (потому что он вызывается из ~unique_ptr() noexcept неразрушаемый (по указанной выше причине) Мой вопрос в том, почему uniqut_ptr определено, чтобы...

У меня есть такой шаблон функции: template <typename T> constexpr auto myfunc() noexcept { return T{}; } Гарантируется ли, что этот шаблон функции будет исключен из-за исключения копии? Если внутри конструктора генерируется...

Формулировка [expr.unary.noexcept] изменена в C ++ 17 . Ранее ( n4140, 5.3.7 оператор noexcept [expr.unary.noexcept] ), мой акцент : Результатом оператора noexcept будет false, если в потенциально оцениваемом контексте выражение...

В основном по стандарту: Конструктор-наследник (12.9) и неявно объявленная специальная функция-член (раздел 12) имеют спецификацию исключения . Если f является наследующим конструктором или неявно объявленным конструктором по умолчанию,...

Начиная с C ++ 20, мы можем определять немедленные функции, используя спецификатор consteval . Когда функция объявляется consteval , каждый вызов этой функции должен создавать константу времени компиляции, в противном случае программа имеет...

Является ли спецификатор noexcept бесполезным, если ваша реализация имеет модель исключений с нулевой стоимостью (если ничего не выбрасывается)? Каков пример, когда отсутствие noexcept имеет последствия?