900 / 477 / 93
Регистрация: 10.06.2014
Сообщений: 2,698
|
|
1 | |
Ключевое слово noexcept11.12.2016, 14:26. Показов 7842. Ответов 11
Метки нет (Все метки)
Прочитал про noexcept и понял, что его нужно использовать для тех методов, которые не бросают исключение, что бы компилятор не генерировал код для перехвата исключений в той области где вызывается метод. В связи с этим возникли вопросы:
1. Нужно ли всегда методы которые не бросают исключение отмечать как noexcept? Ведь таких методов большинство и придется писать это слово почти всегда. 2. Если метод вызывает другие методы, которые бросают исключение, но в самом методе throw нету, как я понимаю, в таких случаях noexcept использовать нельзя не смотря на то, что в самом методе нет throw?
0
|
11.12.2016, 14:26 | |
Ответы с готовыми решениями:
11
Определить, в введенном предложении слово, которое состоит из тех же букв, что и заданное ключевое слово. Ключевое слово this Ключевое слово this Ключевое слово try |
11.12.2016, 14:36 | 2 |
Не совсем так. Если все исключения, которые бросаются из вложенных методов, перехватываются в текущем, то текущий метод остаётся noexcept'ом, т.к. наверх из него ничего не должно вылетать
Добавлено через 46 секунд Ну или где-то во вложенных. Т.е. noexcept означает, что ИЗ этого метода никакое исключение не вылетит, а ВНУТРИ метода можно творить что угодно
1
|
900 / 477 / 93
Регистрация: 10.06.2014
Сообщений: 2,698
|
|
11.12.2016, 14:42 [ТС] | 3 |
А если не перехватываются, значит не может быть noexcept-ом Понял
А как насчет первого вопроса? Значит нужно писать везде откуда не вылетит исключение, что бы сгенерировалось меньше коде?
0
|
17 / 17 / 4
Регистрация: 10.05.2015
Сообщений: 60
|
|
11.12.2016, 15:09 | 4 |
Иногда очень важно что бы публичный метод не бросал исключений (внешний интерфейс библиотеки или деструктор). Что бы он таким был необходимо либо использовать только noexept методы или функции, либо перехватывать всё что они бросают.
Т.е. то что метод noexept, позволяет делать использующие его методы тоже noexept. Это как с const. Начинаешь чертыхаться что не можешь сделать метод const из-за того что какой то умник в стародавние времена не стал делать в интерфейсе константным какой нибудь getSize().
0
|
900 / 477 / 93
Регистрация: 10.06.2014
Сообщений: 2,698
|
|
11.12.2016, 15:21 [ТС] | 5 |
Не очень понял. Что мешает в методе который вызывает noexcept метод бросить свое исключение? от того что метод бросающий исключение вызовет noexcept метод он сам таким ведь не станет
0
|
17 / 17 / 4
Регистрация: 10.05.2015
Сообщений: 60
|
|
11.12.2016, 15:45 | 6 |
Вопрос скорее всего можно описать: Если мы пишем noexcept метод (множество разных необходимостей может быть), то сами мы бросать исключения наружу уже точно не будем. А для всех используемых методов нам нужно понять - они действительно не бросают исключений (имеют ключевое слово noexcept) или если бросают, то Какие исключения нам нужно ловить?
1
|
2784 / 1937 / 570
Регистрация: 05.06.2014
Сообщений: 5,602
|
|
11.12.2016, 15:47 | 7 |
Noexcept это не гарантия того, что функция не кинет исключение. Это гарантия того, что если функция кинет исключение, программа сделает харакири чтобы избежать позора (немедленно вызовет std::terminate). Поэтому, код для ловли исключения и совершения харакири все равно будет сгенерирован.
Тем не менее да, по возможности надо везде втыкать noexcept. Потому что, скажем, std::vector воротит нос от перемещающего конструктора без no-throw гарантии (нужно для выполнения гарантии "в случае сбоя insert, вектор останется в корректном состоянии"). Что может весьма сильно сказаться на скорости работы этого самого вектора (перемещающий конструктор может быть на порядки быстрее копирующего).
1
|
11.12.2016, 15:51 | 8 |
Скажем так, современные компиляторы используют zero cost exceptions. Т.е. исполняемый код будет одинаковый независимо от использования noexcept. Но для такой реализации компилятор генерирует довольно большие портянки со специальными данными. В случае noexcept размер этой портянки будет поменьше
Поэтому тут не то чтобы "нужно". Как уже упомянул коллега, чем-то это напоминает const. В о многих случаях его "не нужно" писать. Но если написать, то текст программы станет более удобным для чтения, появится некоторый контроль за ошибками со стороны компилятора, в некоторых случаях компилятор отработает более эффективно и т.п. Т.е. "нужно" это не как обязаловка, а как культура программирования
3
|
900 / 477 / 93
Регистрация: 10.06.2014
Сообщений: 2,698
|
|
11.12.2016, 16:31 [ТС] | 9 |
Так вроде программа всегда завершается если было исключение независимо от того, метод noexcept или нет. Разве не так? Если нет, то какие могут быть поведения?
0
|
2784 / 1937 / 570
Регистрация: 05.06.2014
Сообщений: 5,602
|
||||||
11.12.2016, 17:24 | 10 | |||||
Нет, конечно.
1
|
Любитель чаепитий
|
||||||
11.12.2016, 17:24 | 11 | |||||
Сообщение было отмечено Undisputed как решение
Решение
Ну исключение, брошеное из noexcept-функции в любом случае завершит программу.
То есть вот так программа всё равно крашнется, хотя исключение мы ловим. Если убрать noexcept, то всё завершится корректно.
1
|
900 / 477 / 93
Регистрация: 10.06.2014
Сообщений: 2,698
|
|
11.12.2016, 17:28 [ТС] | 12 |
0
|
11.12.2016, 17:28 | |
11.12.2016, 17:28 | |
Помогаю со студенческими работами здесь
12
Создать ключевое слово Ключевое слово export Ключевое слово extern Ключевое слово static_cast Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |