15.3 Структуры

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

Так как структура является размерным типом, то экземпляр структуры хранит значение своих элементов, а не ссылки на них, и располагается в стеке данных, а не в куче. В связи с этим фактом структура не может участвовать в иерархии наследования, а может только реализовывать интерфейсы. Кроме того, структуре запрещено:

1. определять конструктор по умолчанию, поскольку он определен неявно и присваивает всем своим элементам значения по умолчанию (нули соответствующего типа);

2. определять деструктор, поскольку это бессмысленно.

Синтаксис структуры:

[атрибуты][спецификаторы] struct имя_структуры [: интерфейсы]

{

тело_структуры

}

Спецификаторы структуры имеют такой же смысл, как и для класса. Однако из спецификаторов доступа допускается использовать только public, internal и для вложенных структур еще и private. Кроме того, структуры не могут быть абстрактными, поскольку по умолчанию они бесплодны.

Интерфейсы, реализуемые структурой, перечисляются через запятую.

Тело структуры может содержать: константы, поля, конструкторы, методы, свойства, индексаторы, операторные методы, вложенные типы и события.

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

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

Так как структуры не могут участвовать в иерархии, то для ее членов недопустимо использовать спецификаторы protected и protected internal. Методы структур не могут быть абстрактными и виртуальными. А переопределяться могут только те методы, которые унаследованы от базового класса object.

Рассмотрим пример структуры SPoint, реализующей стандартный интерфейс IComparable. В данной структуре определены:

1. поля x и у;

2. конструктор, в который передаются заданные координаты точки;

3. метод Dlina, который позволяет вычислить расстояние от точки до начала координат;

4. перегружен метод ToString базового класса object;

5. реализован метод CompareTo стандартного интерфейса IComparable;

6. перегружены операции == и !=.

//описание структуры

struct SPoint: IComparable

{

public int x, y;

public SPoint (int x, int y)

{

this.x=a; this.y=y;

}

public double Dlina() //метод

{

return Math.Sqrt(x*x+y*y);

}

public override string ToString()

{

return "("+x.ToString()+", "+y.ToString()+")";

}

public int CompareTo (object obj)

{

SPoint b=(SPoint) obj;

if (this.Dlina()==b.Dlina()) return 0;

else if (this.Dlina()>b.Dlina()) return 1;

else return -1;

}

public static bool operator ==(SPoint a, SPoint b)

{

return (a.CompareTo(b)==0);

}

public static bool operator !=(SPoint a, SPoint b)

{

return (a.CompareTo(b)!=0);

}

}

class Program

{

static void Main()

{

//создание и заполнение массива структур

SPoint []a =new SPoint[4];

a[0]=new SPoint(-3,0);

a[1]=new SPoint(-0, 3);

a[2]=new SPoint(3,4);

a[3]= new SPoint(0,1);

//сравнение двух структур

if (a[0]==a[1])

Console.WriteLine("точки {0} и {1} равноудалены от начала координат\n",

a[0].ToString(),a[1].ToString());

else Console.WriteLine("точки {0} и {1} не равноудалены от начала координат\n",

a[0].ToString(),a[1].ToString());

Array.Sort(a); //сортировка массива структур

//просмотр массива структур

foreach (SPoint x in a)

{

Console.WriteLine("Точка: "+x.ToString());

Console.WriteLine("удалена от начала координат на расстояние равное: "+x.Dlina());

Console.WriteLine();

}

}

}

Как видно из примера, экземпляр структуры, как и экземпляр класса, создаются с помощью оператора new, но это не обязательно. Если оператор new не используется, то структура все равно создается, но не инициализируется. По этой причине следующая последовательность команд будет ошибочна:

SPoint one;

Console.WriteLine(one.ToString());

Если при объявлении структуры не был вызван конструктор, то поля нужно инициализировать вручную:

SPoint one;

one.x=100; one.y=100;

Console.WriteLine(one.ToString());

Так как структуры являются размерными типами, то присваивание одной структуры другой создает копию экземпляра структуры. Этот факт является важным отличием структуры от класса. В результате выполнения следующего фрагмента программы мы убедимся, что структуры one и two не зависят друг от друга.

SPoint one=new SPoint(); //вызов конструктора по умолчанию

SPoint two=new SPoint(1,1); //вызов собственного конструктора

Console.WriteLine(one.ToString());

Console.WriteLine(two.ToString());

one=two;

one.x=100;

Console.WriteLine(one.ToString());

Сonsole.WriteLine(two.ToString());

Как при решении практических задач выбрать, что использовать - класс или структуру? Если создаваемые типы данных содержат небольшое количество полей, с которыми удобнее работать как со значениями, а не как со ссылками, то расходы на выделение динамической памяти для небольших объектов снизят быстродействие программы, поэтому такие типы данных эффективнее реализовывать через структуры. Во всех остальных случаях эффективнее использовать классы. Однако передача структуры в методы по значению потребует и дополнительного времени, и дополнительной памяти для создания копии. В таких случаях эффективнее использовать классы.

Самостоятельная работа

В пространстве имен System.Collection определено несколько интерфейсов, определяющих функциональность многих стандартных классов в С#, в том числе и коллекций (которые будет рассматриваться в следующем разделе). Рассмотрим более подробно интерфейсные коллекции, описание которых приведено в следующей таблице:

Интерфейс	Описание
IEnumerator	Содержит методы, которые позволяют поэлементно получать содержимое коллекции
IEnumerable	Определяет метод GetEnumerator( ), который поддерживает нумератор для любого класса коллекции
ICollection	Определяет элементы, которые должны иметь все коллекции
IComparer	Определяет метод Compare( ) , который выполняет сравнение объектов, хранимых в коллекции
IList	Определяет коллекцию, к которой можно получить доступ посредством индексатора
IDictionary	Определяет коллекцию (словарь), которая состоит из пар ключ/значение
IDictionaryEnumerator	Определяет нумератор для коллекции, которая реализует интерфейс IDictionary
IHashCodeProvider	Определяет хеш-функцию

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

Интерфейс ICollection наследует интерфейс IEnumerable. В ICollection объявлены основные методы и свойства, без которых не может обойтись ни одна коллекция:

Элемент интерфейса	Его тип	описание
int Сount {get;}	Свойство	Определяет количество элементов коллекции в данный момент. Если Count равно нулю, то коллекция пуста.
void CopyTo (Array target, int startIdx)	Метод	Обеспечивает переход от коллекции к стандартному С#-массиву, копируя содержимое коллекции в массив, заданный параметром target, начиная с индекса, заданного параметром startIdx .

Интерфейс IList наследует интерфейс ICollection и определяет поведение коллекции, доступ к элементам которой разрешен посредством индекса с отсчетом от нуля. Помимо методов, определенных в интерфейсе ICollection, интерфейс IList определяет и собственные методы:

Элемент интерфейса	Его тип	Описание
int Add(object obj)	Метод	Добавляет объект obj в вызывающую коллекцию. Возвращает индекс, по которому этот объект сохранен
void Clear()	Метод	Удаляет все элементы из вызывающей коллекции
bool Contains(object obj)	Метод	Возвращает значение true, если вызывающая коллекция содержит объект, переданный в параметре obj, и значение false в противном случае
int IndexOf(object obj)	Метод	Возвращает индекс объекта obj, если он (объект) содержится в вызывающей коллекции. Если объект obj не обнаружен, метод возвращает -1
void Insert(int idx, object obj)	Метод	Вставляет в вызывающую коллекцию объект obj по индексу, заданному параметром idx. Элементы, находившиеся до этого по индексу idx и далее, смещаются вперед, чтобы освободить место для вставляемого объекта obj
void Remove(object obj)	Метод	Удаляет первое вхождение объекта obj из вызывающей коллекции. Элементы, находившиеся до этого за удаленным элементом, смещаются назад, чтобы ликвидировать образовавшуюся "брешь"
void RemoveAt(int idx)	Метод	Удаляет из вызывающей коллекции объект, расположенный по индексу, заданному параметром idx. Элементы, находившиеся до этого за удаленным элементом, смещаются, ликвидируя образовавшуюся "брешь"
bool IsFixedSize { get; }	Свойство	Принимает значение true, если коллекция имеет фиксированный размер. Это означает, что в такую коллекцию нельзя вставлять элементы и удалять их из нее.
bool IsReadOnly { get; }	Свойство	Принимает значение true, если коллекция предназначена только для чтения.
object this[int idx] { get; set; }	Индексатор	Используется для считывания или записи значения элемента с индексом idx. Нельзя применить для добавления в коллекцию нового элемента.

Интерфейс IDictionary наследует интерфейс ICollection. Он определяет поведение коллекции, которая устанавливает соответствие между уникальными ключами и значениями. Коллекции, реализующий интерфейс IDictionary называют словарями. Ключ - это объект, который используется для получения соответствующего ему значения. Сохраненную однажды пару можно затем извлечь по заданному ключу.

Элемент интерфейса	Его тип	Описание
void Add (object к, object v)	метод	Добавляет в вызывающую коллекцию пару ключ/значение, заданную параметрами к и v. Ключ к не должен быть нулевым. При попытке задать нулевой ключ генерируют исключение типа NotSupportedException Если окажется, что ключ к уже хранится в коллекции, генерируется исключение типа ArgumentException
void Clear ()	метод	Удаляет все пары ключ/значение из вызывающей коллекции
bool Contains (object к)	метод	Возвращает значение true , если вызывающая коллекция содержит объект к в качестве ключа. В противном случае возвращает значение false
IDictionaryEnumerator GetEnumerator()	метод	Возвращает нумератор для вызывающей коллекции
void Remove (object к)	метод	Удаляет элемент, ключ которого равен значению к
bool isFixedSize { get }	свойство	Равно значению true , если коллекция имеет фиксированный размер
bool isReadOnly { get }	свойство	Равно значению true, если коллекция предназначена только для чтения
ICollection Keys { get }	свойство	Получает коллекцию ключей
icollection Values { get}	свойство	Получает коллекцию значений
object this[object key] { get; set; }	индексатор	Этот индексатор можно использовать для получения или установки значения элемента, а также для добавления в коллекцию нового элемента. "Индекс" в данном случае является ключом элемента.

Интерфейс IDictionaryEnumerator является производным от интерфейса IEnumerator и распространяет свои функциональные возможности нумератора на область словарей.

В интерфейсе IComparer определен метод Compare (), который позволяет сравнивать два объекта:

int Compare(object vl, object v2)

Метод Compare () возвращает положительное число, если значение vl больше значения v2, отрицательное, если vl меньше v2, и нуль, если сравниваемые значения равны. Этот интерфейс можно использовать для задания способа сортировки элементов коллекции.

Интерфейс IHashCodeProvider должен быть реализован коллекцией, если программисту необходимо определить собственную версию метода GetHashCode ().