/¯
Все деструкторы — noexcept, такое ограничение языка
void foo() noexcept;
void bar() noexcept {
foo(); // всё хорошо
}Спустя пол года порефакторили и сделали
void foo();Что стало с
bar()?Size: a a a
2020 April 18
O
Спустя пол года порефакторили и сделали
Что стало с
RM
И что значит "функция отбрасывалась"?
Имел в виду, чтоб noexcept отбрасывался
RM
void foo() noexcept;
void bar() noexcept {
foo(); // всё хорошо
}Спустя пол года порефакторили и сделали
void foo();Что стало с
bar()?уб?
O
void foo() noexcept;
void bar() noexcept {
foo(); // всё хорошо
}Спустя пол года порефакторили и сделали
void foo();Что стало с
bar()?В данном примере
bar() — это, может, мув конструкторO
уб?
Вот я точно не помню, УБ ли, но, вероятно, что так
TS
TS
Определённое поведение
RM
А как noexcept оператор может вообще влиять уб или не уб? Если это лишь влияет на оптимизацию
RM
Если это уб, то в чем оно выражается
TS
Нет ub
RM
Нет ub
А как же бросание исключения в конструкторе перемещения или копирования?
O
Если это уб, то в чем оно выражается
В чём выражается
x = 42/0?TS
А как же бросание исключения в конструкторе перемещения или копирования?
Бросай
O
А как же бросание исключения в конструкторе перемещения или копирования?
Ну, бросай, кто мешает?
RM
Нет, вы не поняли
/¯
Определённое поведение
Нет, уб, которое реализовано как std::terminate большинством компиляторов
O
UB (обычно резолвер зовёт здесь std::terminate, но как повезёт)
Точно UB? Вы расходитесь во мнении с @h4cktill. Я что-то тоже на cppreference не нашёл упоминания через ctrl+F
/¯
RM
Я только что читал про rvalue, lvalue, reference forwarding, семантику перемещения