Микроблог про wxWidgets

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

Глава 15.3 Инструменты Защитного Программирования (Defensive Programming)

Часто вы можете обнаружить проблему только спустя некоторое время после возникновения логической ошибки. Если ошибочное значение не будет обнаружено вовремя, программа может успеть выполнить тысячи строчек кода перед тем как упасть или выдать мистический результат. Вы можете потратить уйму времени пытаясь найти реальную причину ошибки. Однако, стоит вам просто добавить проверки для своевременного обнаружения “плохих” значений, например, проверки значений аргументов функции, и ваш код сразу станет куда более стабильным. Тем самым вы можете оградить себя (и своих пользователей) от огромного количества потенциальных проблем. Эта техника носит название “защитное программирование”. Ваши классы и функции могут защитить себя как против “неправильного” использования вышестоящим кодом, так и против внутренних логических ошибок. Учитывая то, что большинство этих проверок, удаляются компилятором из финальной сборки, вам не приходиться платить за них размером файла или скоростью выполнения.

Как вы наверное уже догадались, в самом коде библиотеки выполняется огромное количество разнообразных проверок для обеспечения надежности, и вы точно также можете использовать те же макросы и функции в своем коде. Существует три основных семейства макросов: вариации на тему wxASSERT, wxFAIL и wxCHECK. wxASSERT показывает сообщение об ошибке если условие аргумента ложно, эта проверка осуществляется только в отладочной сборке. wxFAIL всегда генерирует сообщение об ошибке, таким образом она эквивалентна конструкции wxASSERT(false). Эта проверка также отсутствует в финальной-версии программы. wxCHECK проверяет условие на истинность и осуществляет выход из функции с возвратом заданного значения, если условие не выполняется. В отличии от двух других групп макросов, wxCHECK присутствует и выполняется (правда уже без показа сообщения) и в финальной версии программы. Эти макросы имеют модификации, позволяющие вам выводить собственное сообщение об ошибке.

Давайте посмотрим несколько примеров использования этих макросов:

Макросы wxCHECK2 и wxCHECK2_MSG предназначены для выполнения произвольной операции вместо простого возврата из процедуры, если условие проверки не выполняются. wxCHECK_RET просто прерывает функцию, не возвращая ничего и используется, соответственно, в void-функциях. Информацию по редко используемым макросам wxCOMPILE_TIME_ASSERT и wxASSERT_MIN_BITSIZE, вы с легкостью найдете в справке.

Рисунок 15-1 показывает диалог сообщения об ошибке, появляющийся, если условие проверки не выполняется (равно false). Пользователь может остановить программу (Yes), проигнорировать ошибку (No) или проигнорировать сразу все дальнейшие предупреждения (Cancel). Если программа выполняется под управлением отладчика, остановка приведет к вызову прерывания отладчика, в результате вы перейдете к линии кода, в которой была обнаружена проблема и сможете посмотреть значения переменных в этой точке.

Рисунок 15-1. Сообщение об ошибке (Assertion alert)