Доступ к переменным

Во время отладки программист может посмотреть значения переменных в окнах «Видимые», «Локальные» и «Контрольные значения». Все они доступны в режиме отладки:

• В окне «Видимые» (меню «Отладка» - «Окна» - «Видимые») отображаются переменные, которые использовались на прошлом шаге и будут использоваться в следующем (текущем) шаге. Название несколько вводит в заблуждение, поскольку можно было бы подумать, что здесь отображаются все переменные в текущей области видимости. Только в этой вкладке показано, какие значения возвращают функции при выполнении операторов.

• В окне «Локальные» (меню «Отладка» - «Окна» - «Локальные») отображаются все локальные переменные текущей функции.

• В окне «Контрольные значения» (меню «Отладка» - «Окна» - «Контрольные значения» - «Контрольные значения 1/2/3/4») отображаются значения переменных, список которых программист определяет сам. При этом программист может не просто ввести имя переменной, но и целое выражение (например, «i+2»). К сожалению, в выражениях нельзя использовать вызовы функций.

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

Проверку значения того или иного выражения можно осуществить в окне «Быстрая проверка» меню «Отладка».

Утверждения

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

Например, в функции «sum1n» параметр «n» не должен принимать отрицательные значения. Поскольку тип выбран неверно, то такая ситуация может возникнуть, хотя и не должна. Внедрим в код утверждение, которое проверяет, что параметр «n» не должен принимать отрицательные значения. Для этого подключим библиотеку «cassert» и добавим проверку условия с помощью макроса «assert».

#include <iostream>

#include <cassert>

using namespace std;

int sum1n(int n)

{

assert(n>= 0);

int i, s=0;

for (i=0; i<n; i++)

s += i;

return s;

}

int main()

{

int sum;

sum = sum1n(-1);

cout<<"sum = "<<sum<<endl;

return 0;

}

При выполнении такой программы пользователь увидит следующее окно:

В окне приложения сообщается, какое условие было нарушено и в каком месте программы. Пользователю предлагается выбор:

• Кнопка «Прервать» позволяет прервать выполнение программы и перейти к редактированию исходного кода программы.

• Кнопка «Повтор» (рекомендуется) позволяет приостановить выполнение программы и перейти в режим пошаговой отладки.

• Кнопка «Пропустить» позволяет выполнить программу дальше, не обращая внимания на неправильные данные.

При нажатии на кнопку «Повтор» пользователь увидит следующее:

Далее необходимо нажать кнопку «Прервать» и просмотрев стек вызовов определить, в каком месте программы произошёл сбой.

Из рисунка видно, что сбой произошёл в файле «test.exe» в функции «sum1n» в строке 7. Указаны значения параметров функции «sum1n» («int n=-1»). Далее можно посмотреть, откуда была вызвана эта функция. В данном случае вызов был произведён из функции «main».

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

Может возникнуть впечатление, что утверждения замедляют работу программы, проверяя каждый раз условия. Это верно для программ конфигурации «Debug». Для конфигурации «Release» утверждения не компилируются, и программа выполняется без дополнительных проверок.

Приложение 8. Полезные советы по работе в среде VisualC++ 2008