Программист-прагматик. Путь от подмастерья к мастеру

СодержаниеГлава 4 Прагматическая паранойя 23 Программирование утверждений Не отключайте утверждения → Часть 2

Глава 61

Часть 2

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

Даже при наличии некоторых проблем с производительностью, отключите только те утверждения, которые действительно оказывают серьезное воздействие. Пример с программой сортировки, представленный выше, может быть самой важной частью вашего приложения и, наверное, должен работать быстро. Добавление процедуры проверки означает новое считывание данных, что может быть неприемлемо. Сделайте эту конкретную процедуру проверки необязательной [26], но оставьте в покое все остальные.

Становится как-то неловко, если программа, добавляемая для обнаружения ошибок, в результате создает новые. Это может происходить с утверждениями в том случае, если вычисление условия имеет побочные эффекты. Например, было бы дурным тоном написать на языке Java нечто вроде:

while (iter. hasMoreElements() {

  Test. ASSERT(iter. nextElement()! = null); http://technicalbooks.ru

  Object obj = iter. nextElement();

Вызов. nextElement() в ASSERT обладает побочным эффектом, заключающимся в перемещении указателя цикла за выбираемый элемент, так что цикл обрабатывает лишь половину элементов совокупности. Лучше было бы записать:

while (iter. hasMoreElements()) {

Object obj = iter. nextElement();

Test. ASSERT(obj! = null);

Эта проблема являются разновидностью так называемого «Heisen-bug» – процесса отладки, изменяющего поведение отлаживаемой системы (см. [URL 52]).

• Отладка

• Проектирование по контракту

• Балансировка ресурсов

• Программирование в расчете на совпадение

19.  Быстрый тест на ощущение реальности. Какие из перечисленных «невозможных» событий могут случаться в реальности? (Ответ см. в Приложении В. )

1.  Месяц, количество дней в котором меньше 28

2.  Stat(". ", sb)== –1 (т.  е. невозможно обращение к текущему каталогу)

3.  В языке С++: а = 2; b = 3; if (а + b! = 5) exit(1);

4.  Треугольник, сумма величин внутренних углов которого не равна 180°

5.  Минута, состоящая не из 60 секунд

6.  В языке Java: (а + 1) = а

20.  Разработайте несложный класс Java для проверки утверждений (Ответ см. в Приложении В. )

Навигация

Hosted by uCoz