4.3 Типы данных

Концепция типов данных в языках программирования обусловливается следующими положениями. Любой тип данных определяет:

• множество значений, которые может принимать переменная;

• формат внутреннего представления данных в памяти компьютера;

• допустимые действия над данными.

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

Обязательное описание типов приводит к некоторой избыточности информации в программе, но является важнейшим вспомогательным средством ее разработки.

Итак, типы данных  это множество допустимых значений данных, а также совокупность операций над ними.

4.3.1 Классификация типов данных

Типы можно классифицировать по разным признакам:

• по структуре элемента (простые, структурированные);

• по способу создания элемента (встроенные, определяемые пользователем);

• по моменту создания элемента (статические, динамические).

В C# выделяют по способу хранения элементов следующие типы данных:

• типы  значения;

• ссылочные типы (типы  ссылки);

• параметризованные типы (типы  шаблоны).

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

Типы значений также называют простыми или примитивными типами данных, они не имеют внутренней структуры и воспринимаются компилятором как единое данное. Термин «тип значения» применяется к переменным, которые непосредственно содержат значения.

К простым встроенным типам относятся: целые, вещественные, символьный, финансовый, логический.

Все перечисленные типы соответствуют стандартным классам библиотеки .NET и определены в пространстве имен System.

Ссылочные типы определяются в С# классами. Переменные ссылочных типов содержат ссылки на реальные значения.

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

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

4.3.2 Встроенные типы данных

Типы значений в С# относятся к категории встроенных типов.

Таблица 4.3 – Встроенные типы данных

Ключевое слово	Тип
bool	Логический, значения true/false
byte	8-битовый беззнаковый целый
char	Символьный
decimal	Числовой, для финансовых вычислений
double	С плавающей точкой с двойной точностью
float	С плавающей точкой с одинарной точностью
int	Целый
long	Длинный целый
sbyte	8-битовый целочисленный со знаком
short	Короткий целый
uint	Целый без знака
ulong	Длинный целый без знака
ushort	Короткий целый без знака

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

Ядро языка С# составляют 13 встроенных типов, которые определяются ключевыми словами С# и доступны для использования в любой C# программе (табл. 4.3).