Дайте пожалуйста удачный пример использования Assertов

[USBLexus]

Всем привет!
Дайте пожалуйста удачный пример использования Assertов. А то чтото ничего умного придумать не могу 

[Алексей++]

USBLexus, если речь про VC++ , - это глюпость (при чём - вообще только в дебаге) , лично я никогда даже не задумывался над их применением ))

[Вад]

На моей памяти весьма пригодились 1 раз на проекте, когда другой разработчик поставил их в недореализованных методах на серверной стороне, которые тихо компилялись и никем не вызывались, пока я клиентскую сторону для данного функционала не написал. Когда работа моего компонента стала приводить к вызову этого кода, сразу стало ясно, где заглушка и что нужно доделать Хотя всё то же самое можно было бы сделать через механизм исключений, в принципе. Но и это лучше, чем вляпать код возврата типа NOT_IMPLEMENTED (или, что хуже, какой-нибудь ОК) или просто копи-пастом вставить из похожих методов рабочий код и забыть об этом напрочь (а бывали и такие случаи в практике:) ).

Другой случай, который видел и на который обращал внимание - в opensource-овом видеокодеке t264 (реализация стандарта H.264), код на С. Там ассерты нужны были для проверки корректности компрессии-декомпрессии видеопотока: как только кодек переходит в какое-то не такое состояние - ассерт. Пригодились, когда кодек подвергся экспериментам по настройке, выбрасыванию лишних деталей и оптимизации оставшихся

Ещё много где встречались, но в основном с одной целью - для проверки в режиме отладки передаваемых в функцию параметров. Это не исключало саму проверку в коде, а дополняло её.

[Sla]

господа, извините, а что такое ASSERT?

[Finch]

Если я правильно понял с вышесказанных ответов. Это макрос в С/С++, аргумент которого является булевое выражение. Программа завершится если выражение оказывается ложным, при этом выводится сообшение на консоль ошибок с указанием исходного файла и номера строки, а также текста выражения, приведшего к ошибке. В gcc можно скомпилировать проект, так чтобы макрос уничтожался на этапе препроцессора, поэтому не рекомендуется делать выражение, делаюшее косвенные действия. Например вызов функций, присваивание и тому подобное.

[Вад]

Верно. В assert.h от Microsoft для релизных сборок вообще этот макрос объявлен так:

Код:

#ifdef  NDEBUG
#define assert(exp)     ((void)0)
#else

[Джон]

ASSERT нужен и помогает только для отладки. На самом деле программа не завершается, а ПРИостанавливается. Всегда есть возможность выбрать игнор и продолжить. Конечно программер несёт ответственность за последствия. В примере ниже программа будет работать дальше как ни в чём не бывало.

Плюсы - указывается строка кода где произошла остановка.

Использую для проверки указателей на NULL, там где этого не может быть.

Для обозначения ветвлений, если для них пока никаких действий не предусмотрено.

if(bFound)
{
      ...
}
else
{
      ASSERT(FALSE);
}

Ну и вобще "столблю" таким образом иногда TODO. Действует надёжней, чем TODO в коментах.


зы Лёш, если ты не знаешь с чем это едят - ещё не значит, что это несъедобно. 

[USBLexus]

Мда, не густо...

[Finch]

USBLexus, А что ты ожидал?

[Джон]

Вить, я тоже самое подумал - слово в слово, только не написал. )

[USBLexus]

Просто я полтора года ими пользовался они мне очень здорово помогали как средства отладки но давно это было и сейчас когда я решил их внедрить на другой проект не могу объяснить народу их полезность, решил пример использования найти классный чтобы глянул и человек и сразу понял какая это все таки клевая вещь

[Джон]

Самый большой плюс, это то что они работают только при отладке (дебуге), а для релиза ничего отключать не надо.

Ну а польза очевидна. Например проверка условия для "опасного" участка. Если это не сделать, вылет может произойти где угодно и потратишь кучу времени пока найдёшь, что же именно не так. ASSERT  сразу покажет тебе с точностью до номера строки - где надо искать.

Это же используется с большим успехом в бета-версиях, когда тест-пользователи получают дебуг-версию.
Они видят только что прога вылетела, а больше ничего не могут сказать. А так скидывают инфу из окошка (имя файла, номер строки) и сразу знаешь где искать.

Ну и ещё плюс, что именно вылета из проги не происходит - всегда можно проигнорировать и продолжить.

Так им и передай.

[USBLexus]

Ok Джон, спасибо!) Обязательно передам