Объектно-ориентированное программирование.-6

но выполнение программы – зеленой стрелкой. Строка кода, для которой установлена точка останова, отображается на красном фоне; текущая конструкция при отладке – на желтом фоне; конструкция, на которой было остановлено выполнение программы – на зеленом фоне (рис. 2.35).

Все эти действия доступны только из среды разработки. Дополнительные команды смотрите в меню «Отладка». Прервать выполнение программы из консоли позволяет нажатие комбинации клавиш Ctrl+C или закрытие окна консоли.

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

Также при отладке отображаются окна с дополнительной информацией, в том числе:

•«Видимые» – обзор значений видимых переменных, полей и свойств;

•«Локальные» – обзор значений локальных переменных;

•«Точки останова» – информация об имеющихся точках останова. Здесь можно некоторые точки удалить или отключить временно, а также задать условия останова;

•«Стек вызовов» – содержимое стека вызовов.

Например, на рис. 2.36 среда разработки настроена так, что отображаются окна «Видимые» и «Стек вызовов».

Рис. 2.36 – Обзор значений переменных и стека вызовов

71

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

Рис. 2.37 – Необработанная исключительная ситуация

Если же программа была запущена без отладки (Ctrl+F5) или не из среды разработки, то отобразится окно с информацией об ошибке (рис. 2.38). При нажатии на кнопку «ОК» информация об исключении будет выведена на консоль, и затем приложение будет закрыто. При нажатии на кнопку «Отмена» будет запущен отладчик Visual Studio.

Рис. 2.38 – Ошибка приложения

После исправления всех ошибок времени исполнения в приложении можно построить его финальную версию (Release), выбрав соответствующий пункт в выпадающем списке на панели инструментов или в свойствах проекта («Проект» → «Свойства…», закладка «Построение»).

72

3. ОСНОВЫ ЯЗЫКА C#

У нас уже есть простая, но работающая программа. Можно приступать

кизучению конструкций языка C#, добавляя их к этой программе. Рассмотрим также алфавитный список ключевых слов языка C# с крат-

ким указанием их функций и разделов учебного пособия, в которых о них говорится более подробно (табл. 3.1).

Табл. 3.1 – Список ключевых слов языка C#

Также есть ряд контекстно-зависимых ключевых слов (табл. 3.2). Т.е. они считаются таковыми только в определенных конструкциях языка.

Табл. 3.2 – Контекстно-зависимые ключевые слова языка C#

Вне указанных конструкций они ключевыми словами не считаются. Например, можно объявить переменную с именем «value», но только вне описания свойства или события.

77

§ 3.1. Типы данных. Идентификаторы

Все типы данных делятся на два больших класса – типы данных по значению и типы данных по ссылке. Существуют и указатели, но их можно использовать только в небезопасном коде, о них мы поговорим позже, в § 5.5. Отметим одно важное отличие языка C# от языка C++. В языке C++ конструкция, подобная следующей:

<тип> <имя переменной>;

объявляет новую переменную типа <тип> с указанным именем. Причем для переменной сразу же выделяется место в памяти на стеке, а если тип – это класс, то после этого вызывается конструктор данного класса. В языке C# этого не происходит! Память нужно выделять самостоятельно, используя оператор new:

<тип> <имя переменной> = new <тип>([<аргументы конструктора>]);

Существуют и другие способы инициализации переменных, о них мы поговорим ниже.

Каждый тип данных имеет значение по умолчанию (т.е. значение, принимаемое при инициализации конструктором по умолчанию, если он доступен):

•0 для целых типов;

•0.0 для чисел с плавающей точкой;

•false для булева типа;

•'\u0000' для символьного типа;

•0 для перечисляемого типа (даже если константа с таким значением не определена);

•null для ссылочных типов;

•пустое значение для обнуляемых типов.

Для получения значения по умолчанию в явном виде также используется ключевое слово default:

<тип> <имя переменной> = default(<тип>);

3.1.1. Базовый класс System.Object

Все объекты .NET имеют единый базовый класс – System.Object. Соответственно, все типы данных (а они, очевидно, также являются классами)

78

наследуются от Object. И все методы, объявленные в классе Object, доступны для любого типа данных C#. Самые полезные из них – это:

public virtual string ToString(); public virtual bool Equals(object obj);

public static bool Equals(object objA, object objB);

public static bool ReferenceEquals(object objA, object objB); public Type GetType();

Первый метод возвращает строковое представление класса. Этот метод является виртуальным, поэтому то, как он будет работать, зависит от логики классов-потомков.

Следующие два метода проверяют эквивалентность двух экземпляров классов .NET. Причем второй вариант метода, статический, реализован через первый, поэтому запись Object.Equals(A, B) эквивалентна записи A.Equals(B) (но не B.Equals(A)!). При перегрузке метода Equals также следует перегрузить метод GetHashCode (см. п. 4.7.3.5).

Пример, демонстрирующий перегрузку методов ToString и Equals:

class Five

{

public override string ToString()

{

return "Five";

}

public override bool Equals(object obj)

{

return obj.ToString() == "Seven";

}

public override int GetHashCode()

{

return base.GetHashCode();

}

}

class Seven

{

public override string ToString()

{

return "Seven";

}

public override bool Equals(object obj)

{

return obj.ToString() == "Seven";

}

public override int GetHashCode()

{

return base.GetHashCode();

}

79

}

static int Main(string[] args)

{

Five c5 = new Five(); Seven c7 = new Seven(); Console.WriteLine(c5); Console.WriteLine(c7);

Console.WriteLine(c5.Equals(c7));

Console.WriteLine(c7.Equals(c5)); Console.WriteLine(Object.Equals(c5, c7)); Console.WriteLine(Object.Equals(c7, c5)); return 0;

}

В данном примере мы пользуемся тем, что первый вариант метода Equals виртуальный, и перегружаем его (см. § 4.7). Также перегружаем методы ToString. Теперь класс Five считает, что он эквивалентен тому классу, чье строковое представление – «Seven». Класс Seven считает, что он также эквивалентен такому классу. В результате работы на консоль будет выведен следующий текст:

Five

Seven

True

False

True

False

Следовательно, в некоторых ситуациях запись A.Equals(B) не эквивалентна записи B.Equals(A).

Четвертый метод проверяет совпадение ссылок на объекты. Рассмотрим следующий пример:

int x1 = new int(); int y1 = x1;

Console.WriteLine("x1 = " + x1 + "; y1 = " + y1); Console.WriteLine(x1.Equals(y1) ? "x1 == y1" : "x1 != y1"); Console.WriteLine(Object.ReferenceEquals(x1, y1) ?

"ref x1 == ref y1" : "ref x1 != ref y1");

Object x2 = new Object(); Object y2 = x2;

Console.WriteLine("x2 = " + x2 + "; y2 = " + y2); Console.WriteLine(x2.Equals(y2) ? "x2 == y2" : "x2 != y2"); Console.WriteLine(Object.ReferenceEquals(x2, y2) ?

"ref x2 == ref y2" : "ref x2 != ref y2");

При копировании типов по значению копируются значения объектов, а при копировании ссылочных типов – только ссылки (об этом мы будем говорить далее в этом параграфе). Поэтому на консоли увидим:

x1 = 0; y1 = 0

80