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

Struct myStruct

Class MyClass

Namespace Сh09Ex03

Типы структур

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

1. Создать новое консольное приложение с именем Сh09Ex03 в директории C:\BegCSharp\Chapter9.

2. Измените код следующим образом:

{

{

public int val;

}

{

public int val;

}

/// <summary>

/// Summary description for Class1.

/// </summary>

{

static void Main(string[] args)

{

MyClass objectA = new MyClass ();

MyClass objectB = objectA;

objectA. val = 10;

objectB.val = 20;

myStruct structA = new myStruct();

myStruct structB = structA;

structA.val = 30;

structB.val =40;

Console. WriteLine(“objectA. val = {0}", objectA.val);

Console.WriteLine(“objects.val = {0}”, objectB.val);

Console.WriteLine(“structA.val = {0}”, structA.val);

Console.WriteLine(“structB.val = {0}”, structB.val);

Console.ReadLine();

}

}

}

3. Запустите приложение.

В этом приложении содержатся два определения типов, одно из которых описывает структуру с именем myStruct, обладающую единственным общим полем типа int с именем val, а второе описывает класс с именем MyClass, который содержит аналогичное поле. Далее мы выполняем одинаковые операции над экземплярами обоих типов:

• Объявляем переменную данного типа.

• Создаем новый экземпляр переменной данного типа.

• Объявляем вторую переменную данного типа.

• Присваиваем первую переменную второй переменной.

• Присваиваем значение полю val первого экземпляра переменной.

• Присваиваем значение полю val второго экземпляра переменной.

• Выводим значение поля val обеих переменных.

Хотя мы выполняем над переменными разных типов одни и те же операции, окончательные результаты оказываются различными. При выводе значений поля val обнаруживается, что обе переменные типа object обладают одинаковым значением, в то время как переменные типа структуры имеют различающиеся значения.

Итак, что же произошло?

Объекты — это ссылочные типы. Когда мы присваиваем объект некоторой переменной, мы на самом деле присваиваем этой переменной указатель, который ссылается на этот объект. С точки зрения программы указатель — это некий адрес в памяти. В данном случае это адрес, по которому располагается объект. Когда мы присваиваем ссылку на первый объект второй переменной типа MyClass, то мы, по сути, копируем этот адрес. Это означает, что обе переменных содержат ссылки на один и тот же объект.

Структуры — это значимые типы. В переменных не хранится никаких ссылок на структуру, вместо этого в них хранится сама структура. Поэтому, когда одна структура присваивается другой переменной типа MyStruct, происходит копирование всей информации из одной структуры в другую. Это поведение идентично тому, которое мы наблюдали ранее для переменных простых типов, таких как тип int.

Поэтому в качестве конечного результата мы получаем две переменные, содержащие разные структуры.

Весь механизм использования указателей скрыт от нас в управляемом коде, что позволяет этому коду быть существенно проще. На самом деле в С# существует возможность получить доступ к операциям более низкого уровня, таким как манипуляции над указателями, воспользовавшись "небезопасным" кодом, однако эту сложную тему мы здесь рассматривать не будем.

Дата добавления: 2014-01-04