Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.63/40: Рейтинг темы: голосов - 40, средняя оценка - 4.63
900 / 477 / 93
Регистрация: 10.06.2014
Сообщений: 2,698
1

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

11.12.2016, 14:26. Показов 7811. Ответов 11
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
Прочитал про noexcept и понял, что его нужно использовать для тех методов, которые не бросают исключение, что бы компилятор не генерировал код для перехвата исключений в той области где вызывается метод. В связи с этим возникли вопросы:
1. Нужно ли всегда методы которые не бросают исключение отмечать как noexcept? Ведь таких методов большинство и придется писать это слово почти всегда.
2. Если метод вызывает другие методы, которые бросают исключение, но в самом методе throw нету, как я понимаю, в таких случаях noexcept использовать нельзя не смотря на то, что в самом методе нет throw?
0
Лучшие ответы (1)
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
11.12.2016, 14:26
Ответы с готовыми решениями:

Определить, в введенном предложении слово, которое состоит из тех же букв, что и заданное ключевое слово.
Ввести предложения и ключевое слово. Определить, в введенном предложении слово, которое состоит из...

Ключевое слово this
Можно какой-нибудь простой пример, чтобы понять зачем это нужно?

Ключевое слово this
В данный момент читаю книгу по Java, но и по С++ это тоже встречалось, хотя описание было не сильно...

Ключевое слово try
Вот вчера печатал программу и нечаяно поставил вместо слова tru слово try и оно выделелось жырным...

11
Evg
Эксперт CАвтор FAQ
21280 / 8303 / 637
Регистрация: 30.03.2009
Сообщений: 22,660
Записей в блоге: 30
11.12.2016, 14:36 2
Цитата Сообщение от sys_beginner Посмотреть сообщение
2. Если метод вызывает другие методы, которые бросают исключение, но в самом методе throw нету, как я понимаю, в таких случаях noexcept использовать нельзя не смотря на то, что в самом методе нет throw?
Не совсем так. Если все исключения, которые бросаются из вложенных методов, перехватываются в текущем, то текущий метод остаётся noexcept'ом, т.к. наверх из него ничего не должно вылетать

Добавлено через 46 секунд
Цитата Сообщение от Evg Посмотреть сообщение
перехватываются в текущем
Ну или где-то во вложенных. Т.е. noexcept означает, что ИЗ этого метода никакое исключение не вылетит, а ВНУТРИ метода можно творить что угодно
1
900 / 477 / 93
Регистрация: 10.06.2014
Сообщений: 2,698
11.12.2016, 14:42  [ТС] 3
Цитата Сообщение от Evg Посмотреть сообщение
Если все исключения, которые бросаются из вложенных методов, перехватываются в текущем
А если не перехватываются, значит не может быть 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
Цитата Сообщение от socslm Посмотреть сообщение
Т.е. то что метод noexept, позволяет делать использующие его методы тоже noexept.
Не очень понял. Что мешает в методе который вызывает 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
Цитата Сообщение от sys_beginner Посмотреть сообщение
А как насчет первого вопроса? Значит нужно писать везде откуда не вылетит исключение, что бы сгенерировалось меньше коде?
Noexcept это не гарантия того, что функция не кинет исключение. Это гарантия того, что если функция кинет исключение, программа сделает харакири чтобы избежать позора (немедленно вызовет std::terminate). Поэтому, код для ловли исключения и совершения харакири все равно будет сгенерирован.

Тем не менее да, по возможности надо везде втыкать noexcept. Потому что, скажем, std::vector воротит нос от перемещающего конструктора без no-throw гарантии (нужно для выполнения гарантии "в случае сбоя insert, вектор останется в корректном состоянии"). Что может весьма сильно сказаться на скорости работы этого самого вектора (перемещающий конструктор может быть на порядки быстрее копирующего).
1
Evg
Эксперт CАвтор FAQ
21280 / 8303 / 637
Регистрация: 30.03.2009
Сообщений: 22,660
Записей в блоге: 30
11.12.2016, 15:51 8
Цитата Сообщение от sys_beginner Посмотреть сообщение
А как насчет первого вопроса? Значит нужно писать везде откуда не вылетит исключение, что бы сгенерировалось меньше коде?
Скажем так, современные компиляторы используют zero cost exceptions. Т.е. исполняемый код будет одинаковый независимо от использования noexcept. Но для такой реализации компилятор генерирует довольно большие портянки со специальными данными. В случае noexcept размер этой портянки будет поменьше

Поэтому тут не то чтобы "нужно". Как уже упомянул коллега, чем-то это напоминает const. В о многих случаях его "не нужно" писать. Но если написать, то текст программы станет более удобным для чтения, появится некоторый контроль за ошибками со стороны компилятора, в некоторых случаях компилятор отработает более эффективно и т.п. Т.е. "нужно" это не как обязаловка, а как культура программирования
3
900 / 477 / 93
Регистрация: 10.06.2014
Сообщений: 2,698
11.12.2016, 16:31  [ТС] 9
Цитата Сообщение от Renji Посмотреть сообщение
Это гарантия того, что если функция кинет исключение, программа сделает харакири чтобы избежать позора
Так вроде программа всегда завершается если было исключение независимо от того, метод noexcept или нет. Разве не так? Если нет, то какие могут быть поведения?
0
2784 / 1937 / 570
Регистрация: 05.06.2014
Сообщений: 5,602
11.12.2016, 17:24 10
Цитата Сообщение от 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;
}
1
Любитель чаепитий
3743 / 1799 / 566
Регистрация: 24.08.2014
Сообщений: 6,016
Записей в блоге: 1
11.12.2016, 17:24 11
Лучший ответ Сообщение было отмечено Undisputed как решение

Решение

Цитата Сообщение от 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";
    }
}
1
900 / 477 / 93
Регистрация: 10.06.2014
Сообщений: 2,698
11.12.2016, 17:28  [ТС] 12
Цитата Сообщение от GbaLog- Посмотреть сообщение
То есть вот так программа всё равно крашнется, хотя исключение мы ловим. Если убрать noexcept, то всё завершится корректно.
Вот! Теперь всё ясно стало
0
11.12.2016, 17:28
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
11.12.2016, 17:28
Помогаю со студенческими работами здесь

Создать ключевое слово
Добрый день. Можно ли как-нибудь в C++ создать свое ключевое слово (наподобие foreach в Qt)? Дело...

Ключевое слово export
В стандарте C++ встречается ключевое слово export, если кому-то приходилось реально использовать...

Ключевое слово extern
Взято отсюда: Теперь вопрос: почему так делать нельзя? Я написал программу, она имеет вид: ...

Ключевое слово static_cast
Чё это такое?Зачем оно нужно?


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
12
Ответ Создать тему
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru