Добрый день, может плохо ищу, но не могу разобраться. В

Question

Добрый день, может плохо ищу, но не могу разобраться. В

каких случаях конструкция try catch нужна, а в каком assert? Что в одном, что в другом случае можно вызвать событие, только в первом можно продолжить работу, во втором программа падает. Вот только вопрос, зачем нужен тогда второй вариант?

#c #embedded #programming #russian

0

24.06.2021

16 ответов

3 просмотра

jon pedro Автор вопроса

🐈
Assert - если что-то пошло не так - пристрелить к ...

А когда нужны такие радикальные меры?

0

24.06.2021

🐈

jon pedro
А когда нужны такие радикальные меры?

Когда лень/ бесполезно обрабатывать

0

24.06.2021

Alexander Karaev

🐈
Когда лень/ бесполезно обрабатывать

Неправда. Ассерты для проверки инвариантов, которые не должны быть нарушены ни при каких условиях работы программы. Обычно нарушение ассерта означает невозможность исправления ситуации

0

24.06.2021

🐈

Alexander Karaev
Неправда. Ассерты для проверки инвариантов, которы...

В теории да. На практике - за ассерты в либах хочется ругаться.

0

24.06.2021

Ofee Oficsu

assert – это про ситуации "да ни при каких внешних или внутренних обстоятельствах такого быть не может", в таких ситуациях обработка ошибок не имеет смысла – вы не можете обработать то, чего, собственно, не может быть assert должен содержать всегда истинное условие в качестве самодокументации

0

24.06.2021

🐈

Alexander Karaev
Неправда. Ассерты для проверки инвариантов, которы...

Вот например, здесь точно необходимы ассерты? https://github.com/ttk592/spline/blob/master/src/spline.h

0

24.06.2021

std::slavik

Alexander Karaev
Неправда. Ассерты для проверки инвариантов, которы...

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

0

24.06.2021

Ofee Oficsu

🐈
Вот например, здесь точно необходимы ассерты? htt...

Их пытаются использовать в качестве контрактов, которые ещё не доехали в язык

0

24.06.2021

jon pedro Автор вопроса

Ofee Oficsu
assert – это про ситуации "да ни при каких внешних...

И как эти условия выбираются? Из балды кидается куча вариантов, авось попадёт?

0

24.06.2021

Alexander Karaev

🐈
Вот например, здесь точно необходимы ассерты? htt...

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

0

24.06.2021

Vlad

jon pedro
И как эти условия выбираются? Из балды кидается ку...

есть такое мнение https://i.imgur.com/cyVI1p6.png

0

24.06.2021

Ofee Oficsu

jon pedro
И как эти условия выбираются? Из балды кидается ку...

У вас ещё на этапе написания кода начинают возникать догадки, что в некотором месте кода некоторые условия всегда истинны. Вместо того, чтобы слепо полагаться на такую догадку – задокументируйте её в коде в виде assert. Если догадка верна – для вас ничего не изменится. Если не верна – это предлстережёт вас от незаметных ошибок

0

24.06.2021

Anatoly Shirokov

jon pedro
И как эти условия выбираются? Из балды кидается ку...

Условия - это контракт. Скажем, вы пишите функцию вычисления квадратного корня. Заявляете, что вычисление допустимо только для положительных.

0

24.06.2021

std::slavik

jon pedro
И как эти условия выбираются? Из балды кидается ку...

assert это для дебага по большому счету

0

24.06.2021