Ключевое слово noexcept

@Undisputed · Регистрация: 10.06.2014

Студворк — интернет-сервис помощи студентам

Прочитал про noexcept и понял, что его нужно использовать для тех методов, которые не бросают исключение, что бы компилятор не генерировал код для перехвата исключений в той области где вызывается метод. В связи с этим возникли вопросы:
1. Нужно ли всегда методы которые не бросают исключение отмечать как noexcept? Ведь таких методов большинство и придется писать это слово почти всегда.
2. Если метод вызывает другие методы, которые бросают исключение, но в самом методе throw нету, как я понимаю, в таких случаях noexcept использовать нельзя не смотря на то, что в самом методе нет throw?

Evg · 11.12.2016, 14:36

Сообщение от sys_beginner

2. Если метод вызывает другие методы, которые бросают исключение, но в самом методе throw нету, как я понимаю, в таких случаях noexcept использовать нельзя не смотря на то, что в самом методе нет throw?

Не совсем так. Если все исключения, которые бросаются из вложенных методов, перехватываются в текущем, то текущий метод остаётся noexcept'ом, т.к. наверх из него ничего не должно вылетать

Добавлено через 46 секунд

Сообщение от Evg

перехватываются в текущем

Ну или где-то во вложенных. Т.е. noexcept означает, что ИЗ этого метода никакое исключение не вылетит, а ВНУТРИ метода можно творить что угодно

@Undisputed · 11.12.2016, 14:42 **[ТС]**

Сообщение от Evg

Если все исключения, которые бросаются из вложенных методов, перехватываются в текущем

А если не перехватываются, значит не может быть noexcept-ом

Понял

А как насчет первого вопроса? Значит нужно писать везде откуда не вылетит исключение, что бы сгенерировалось меньше коде?

@socslm · 11.12.2016, 15:09

Иногда очень важно что бы публичный метод не бросал исключений (внешний интерфейс библиотеки или деструктор). Что бы он таким был необходимо либо использовать только noexept методы или функции, либо перехватывать всё что они бросают.
Т.е. то что метод noexept, позволяет делать использующие его методы тоже noexept.

Это как с const. Начинаешь чертыхаться что не можешь сделать метод const из-за того что какой то умник в стародавние времена не стал делать в интерфейсе константным какой нибудь getSize().

@Undisputed · 11.12.2016, 15:21 **[ТС]**

Сообщение от socslm

Т.е. то что метод noexept, позволяет делать использующие его методы тоже noexept.

Не очень понял. Что мешает в методе который вызывает noexcept метод бросить свое исключение? от того что метод бросающий исключение вызовет noexcept метод он сам таким ведь не станет

@socslm · 11.12.2016, 15:45

Вопрос скорее всего можно описать: Если мы пишем noexcept метод (множество разных необходимостей может быть), то сами мы бросать исключения наружу уже точно не будем. А для всех используемых методов нам нужно понять - они действительно не бросают исключений (имеют ключевое слово noexcept) или если бросают, то Какие исключения нам нужно ловить?

@Renji · 11.12.2016, 15:47

Сообщение от sys_beginner

А как насчет первого вопроса? Значит нужно писать везде откуда не вылетит исключение, что бы сгенерировалось меньше коде?

Noexcept это не гарантия того, что функция не кинет исключение. Это гарантия того, что если функция кинет исключение, программа сделает харакири чтобы избежать позора (немедленно вызовет std::terminate). Поэтому, код для ловли исключения и совершения харакири все равно будет сгенерирован.

Тем не менее да, по возможности надо везде втыкать noexcept. Потому что, скажем, std::vector воротит нос от перемещающего конструктора без no-throw гарантии (нужно для выполнения гарантии "в случае сбоя insert, вектор останется в корректном состоянии"). Что может весьма сильно сказаться на скорости работы этого самого вектора (перемещающий конструктор может быть на порядки быстрее копирующего).

Evg · 11.12.2016, 15:51

Сообщение от sys_beginner

А как насчет первого вопроса? Значит нужно писать везде откуда не вылетит исключение, что бы сгенерировалось меньше коде?

Скажем так, современные компиляторы используют zero cost exceptions. Т.е. исполняемый код будет одинаковый независимо от использования noexcept. Но для такой реализации компилятор генерирует довольно большие портянки со специальными данными. В случае noexcept размер этой портянки будет поменьше

Поэтому тут не то чтобы "нужно". Как уже упомянул коллега, чем-то это напоминает const. В о многих случаях его "не нужно" писать. Но если написать, то текст программы станет более удобным для чтения, появится некоторый контроль за ошибками со стороны компилятора, в некоторых случаях компилятор отработает более эффективно и т.п. Т.е. "нужно" это не как обязаловка, а как культура программирования

@Undisputed · 11.12.2016, 16:31 **[ТС]**

Сообщение от Renji

Это гарантия того, что если функция кинет исключение, программа сделает харакири чтобы избежать позора

Так вроде программа всегда завершается если было исключение независимо от того, метод noexcept или нет. Разве не так? Если нет, то какие могут быть поведения?

@Renji · 11.12.2016, 17:24

Сообщение от sys_beginner

Так вроде программа всегда завершается если было исключение независимо от того, метод noexcept или нет. Разве не так?

Нет, конечно.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#include<iostream>
#include<stdexcept>
 
void test()
{
    throw std::runtime_error("Чего-чего? Кто тут от исключения завершится?");
}
 
int main()
{
    try
    {
        test();
    }
    catch(const std::exception&error)
    {
        std::cout<<error.what()<<std::endl;
    }
    std::cout<<"Исключение поймали и дальше работаем"<<std::endl;
    return 0;
}

@GbaLog- · 11.12.2016, 17:24

Сообщение от sys_beginner

всегда завершается если было исключение

Ну исключение, брошеное из noexcept-функции в любом случае завершит программу.
То есть вот так программа всё равно крашнется, хотя исключение мы ловим. Если убрать noexcept, то всё завершится корректно.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
/////////////////////////////////////////////////////////////////////////////////////////
#include <stdexcept>
#include <iostream>
/////////////////////////////////////////////////////////////////////////////////////////
void foo() noexcept
{
    throw std::runtime_error("oops");
}
/////////////////////////////////////////////////////////////////////////////////////////
int main()
{
    try
    {
        foo();
    }
    catch( std::exception& ex )
    {
        std::cerr << ex.what() << "\n";
    }
}

@Undisputed · 11.12.2016, 17:28 **[ТС]**

Сообщение от GbaLog-

То есть вот так программа всё равно крашнется, хотя исключение мы ловим. Если убрать noexcept, то всё завершится корректно.

Вот! Теперь всё ясно стало

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700

	Ключевое слово noexcept 11.12.2016, 14:26. Показов 8162. Ответов 11 Метки нет (Все метки) Прочитал про noexcept и понял, что его нужно использовать для тех методов, которые не бросают исключение, что бы компилятор не генерировал код для перехвата исключений в той области где вызывается метод. В связи с этим возникли вопросы: 1. Нужно ли всегда методы которые не бросают исключение отмечать как noexcept? Ведь таких методов большинство и придется писать это слово почти всегда. 2. Если метод вызывает другие методы, которые бросают исключение, но в самом методе throw нету, как я понимаю, в таких случаях noexcept использовать нельзя не смотря на то, что в самом методе нет throw? 0

@socslm 17 / 17 / 4 Регистрация: 10.05.2015 Сообщений: 60
	11.12.2016, 15:09
	Иногда очень важно что бы публичный метод не бросал исключений (внешний интерфейс библиотеки или деструктор). Что бы он таким был необходимо либо использовать только noexept методы или функции, либо перехватывать всё что они бросают. Т.е. то что метод noexept, позволяет делать использующие его методы тоже noexept. Это как с const. Начинаешь чертыхаться что не можешь сделать метод const из-за того что какой то умник в стародавние времена не стал делать в интерфейсе константным какой нибудь getSize(). 0

@socslm 17 / 17 / 4 Регистрация: 10.05.2015 Сообщений: 60
	11.12.2016, 15:45
	Вопрос скорее всего можно описать: Если мы пишем noexcept метод (множество разных необходимостей может быть), то сами мы бросать исключения наружу уже точно не будем. А для всех используемых методов нам нужно понять - они действительно не бросают исключений (имеют ключевое слово noexcept) или если бросают, то Какие исключения нам нужно ловить? 1

Ключевое слово noexcept

Решение