RM
или хотя бы чтоб компилятор ругался
Size: a a a
2020 April 18
/¯
Должен ли я помечать функции использующие внутри себя семантику перемещений, как noexcept, если я уверен, что методы внутри функции не вызываются исключение? (Прочитал что от этого зависит оптимизация)
Ну и ты учти, что спецификатор noexcept — часть ABI метода
RM
А то UB + std::terminate такое себе
O
А почему бы не сделать так чтоб функция помеченная как noexcept компилятором автоматом отбрасывалась если эта функция вызывает функции, которые могут бросить исключение?
А откуда компилятору знать, что там вызывается?
O
А то UB + std::terminate такое себе
Не используй исключения
O
Дефолтные конструкторы тоже не считаетает?
/¯
А почему бы не сделать так чтоб функция помеченная как noexcept компилятором автоматом отбрасывалась если эта функция вызывает функции, которые могут бросить исключение?
Эм, каким образом компилятор это будет проверять? А если ты вызываешь функцию из другого translation unit или вообще из другой динамической либы?
RM
Вот используется у тебя семантика перемещений и все конструкторы перемещения
noexcept. А однажды ты решаешь реализовать в конструкторе перемещения одного из классов нетривиальную логику и позволяешь ему кидать исключения. Ты, конечно же, сразу вспомнишь все методы, полагающиеся на этот конструктор и пойдёшь с них снимать noexcept?Почему снимать а не ставить?
/¯
И там вообще старый легаси-код на С?
/¯
А почему бы не сделать так чтоб функция помеченная как noexcept компилятором автоматом отбрасывалась если эта функция вызывает функции, которые могут бросить исключение?
Если ты ставишь noexcept, то ты и отвечаешь за то, что ты в этом уверен
RM
Не используй исключения
Да я и не использую
O
Почему снимать а не ставить?
Потому что был
noexcept метод, который вызывался, а потом стал не-noexcept, но его другие noexcept функции всё ещё вызывают. А он уже не noexceptRM
Если ты ставишь noexcept, то ты и отвечаешь за то, что ты в этом уверен
Ну это же лишь на вызов метода распространяется а не на весь класс
/¯
А почему бы не сделать так чтоб функция помеченная как noexcept компилятором автоматом отбрасывалась если эта функция вызывает функции, которые могут бросить исключение?
И что значит "функция отбрасывалась"?
RM
Потому что был
noexcept метод, который вызывался, а потом стал не-noexcept, но его другие noexcept функции всё ещё вызывают. А он уже не noexceptТак разве noexcept распространяется на весь класс? Там же какой метод пометишь
O
Спасибо, думал имелось ввиду, что не вычисляет даже
O
Так разве noexcept распространяется на весь класс? Там же какой метод пометишь
У тебя метод может вызвать другой метод?
RM
У тебя метод может вызвать другой метод?
Это то понятно, если метод noexcept может вызвать другой метод, который не noexcept - это понятное дело
RM
Все что помечено не как noexcept являются функциями, которые бросают исключения да?
RM
То есть, все что не noexcept - это except методы (могут бросать исключения)?