C++ за 21 день седьмое издание

assert (выражение, возвращающее tr u e или f a l s e ) ;

Вот пример использования макроса a s s e r t (), проверяющего содержимое указателя:

#include


int main ()
{


char* sayHello = new char [25];


assert(sayHello != NULL); // сообщить, если указатель пуст


// другой код


delete [] sayHello;


return 0;

}

0. 
   акрос a s s e r t () гарантирует уведомление, если указатель окажется недопустим. Для проверки я инициализировал указатель s a y H e llo значением NULL и при запуске в режиме отладки Visual Studio немедленно получил на экране окно, которое вы видите на рис. 14.1.
   

Таким образом, макрос a s s e r t (), как реализовано в M icrosoft Visual Studio, позволяет щелкнуть на кнопке Retry (Повторить) и вернуться в приложение, а стек вызовов укажет строку, приведшую к нарушению условия макроса a s s e r t . Это делает макрос a s s e r t () весьма удобным средством отладки; например, с его помощью можно проверить входные параметры функций. Это настоятельно рекомендуется и позволяет надолго улучшить ка­ чество вашего кода.

Использование директивы #define для написания макрофункции 359

Р И С . 14 .1 . Что происходит, когда м акрос assert обнаруживает недопустимость указателя

ПРИМЕЧАНИЕ

При выпуске макрос assert () обычно отключают, а сообщения об ошибках и соответствующую информацию он предоставляет только в режиме отладки большинства сред разработки.

Кроме того, некоторые среды реализуют его как функцию, а не как макрос.