Полное руководство. С# 4.0
Шрифт:
Приведенный ниже результат выполнения этой программы подтверждает, что @if правильно интерпретируется в качестве идентификатора. @if равно 0 @if равно 1 @if равно 2 @if равно 3 @if равно 4 @if равно 5 @if равно 6 @if равно 7 @if равно 8 @if равно 9
Откровенно говоря, применять ключевые слова со знаком @ в качестве идентифи каторов не рекомендуется, кроме особых случаев. Помимо того, знак @ может пред шествовать любому идентификатору, но такая практика программирования считается плохой. Библиотека классов среды .NET Framework
В примерах программ, представленных в этой главе, применялись два встроен ных метода: WriteLine и Write. Как упоминалось выше, эти
ГЛАВА 3. Типы данных, литералы
В этой главе рассматриваются три основополагающих элемента С#: типы данных, литералы и переменные. В целом, типы данных, доступные в языке программи рования, определяют те виды задач, для решения которых можно применять данный язык. Как и следовало ожидать, в C# предоставляется богатый набор встроенных типов дан ных, что делает этот язык пригодным для самого широкого применения. Любой из этих типов данных может служить для создания переменных и констант, которые в языке C# называются литералами. О значении типов данных
Типы данных имеют особенное значение в С#, посколь ку это строго типизированный язык. Это означает, что все операции подвергаются строгому контролю со стороны компилятора на соответствие типов, причем недопустимые операции не компилируются. Следовательно, строгий кон троль типов позволяет исключить ошибки и повысить на дежность программ. Для обеспечения контроля типов все переменные, выражения и значения должны принадлежать к определенному типу. Такого понятия, как "бестиповая" переменная, в данном языке программирования вообще не существует. Более того, тип значения определяет те опера ции, которые разрешается выполнять над ним. Операция, разрешенная для одного типа данных, может оказаться не допустимой для другого.
ПРИМЕЧАНИЕ В версии C# 4.0 внедрен новый тип данных, называемый dynamic и приводящий к отсрочке контроля типов до времени выполнения, вместо того чтобы производить подобный контроль во время компиляции. Поэтому тип dynamic является исключением из обычного правила контроля типов во время компиляции. Подробнее о типе dynamic речь пойдет в главе 17. Типы значений в C
В C# имеются две общие категории встроенных типов данных: типы значений и ссы лочные типы. Они отличаются по содержимому переменной. Если переменная от носится к типу значения, то она содержит само значение, например 3,1416 или 212. А если переменная относится к ссылочному типу, то она содержит ссылку на значение. Наиболее распространенным примером использования ссылочного типа является класс, но о классах и ссылочных типах речь пойдет далее в этой книге. А здесь рассма триваются типы значений.
В основу языка C# положены 13 типов значений, перечисленных в табл. 3.1. Все они называются простыми типами, поскольку состоят из единственного значения. (Иными словами, они не состоят из двух или более значений.) Они составляют основу системы типов С#, предоставляя простейшие, низкоуровневые элементы данных, которыми можно оперировать в программе. Простые типы данных иногда еще называют при митивными.
Таблица. 3.1. Типы значений в C# Тип Значение bool Логический, предоставляет два значения: “истина” или “ложь” byte 8-разрядный целочисленный без знака char Символьный decimal Десятичный (для финансовых расчетов) double С плавающей точкой двойной точности float С плавающей точкой одинарной точности int Целочисленный long Длинный целочисленный sbyte 8-разрядный целочисленный со знаком short Короткий целочисленный uint Целочисленный без знака ulong Длинный целочисленный без знака ushort Короткий целочисленный без знака
В C# строго определены пределы и характер действия каждого типа значения. Исходя из требований к переносимости программ, C# не допускает в этом отношении никаких компромиссов. Например, тип int должен быть одинаковым во всех средах выполнения. Но в этом случае отпадает необходимость переписывать код для кон кретной платформы. И хотя строгое определение размерности типов значений может стать причиной незначительного падения производительности в некоторых средах, эта мера необходима для достижения переносимости программ.
ПРИМЕЧАНИЕ Помимо простых типов, в C# определены еще три категории типов значений: перечисления, структуры и обнуляемые типы. Все они рассматриваются далее в этой книге. Целочисленные типы
В C# определены девять целочисленных типов: char, byte, sbyte, short, ushort, int, uint, long и ulong. Но тип char применяется, главным образом, для пред ставления символов и поэтому рассматривается далее в этой главе. Остальные восемь целочисленных типов предназначены для числовых расчетов. Ниже представлены их диапазон представления чисел и разрядность в битах. Тип Разрядность в битах Диапазон представления чисел byte 8 0-255 sbyte 8 -128-127 short 16 -32 768-32 767 ushort 16 0-65 535 int 32 -2 147 483 648-2 147 483 647 uint 32 0-4 294 967 295 long 64 -9 223 372 036 854 775 808-9 223 372 036 854 775 807 ulong 64 0-18 446 744 073 709 551 615
Как следует из приведенной выше таблицы, в C# определены оба варианта различ ных целочисленных типов: со знаком и без знака. Целочисленные типы со знаком от личаются от аналогичных типов без знака способом интерпретации старшего разряда целого числа. Так, если в программе указано целочисленное значение со знаком, то компилятор C# сгенерирует код, в котором старший разряд целого числа использу ется в качестве флага знака. Число считается положительным, если флаг знака равен 0, и отрицательным, если он равен 1. Отрицательные числа практически всегда представ ляются методом дополнения до двух, в соответствии с которым все двоичные разряды отрицательного числа сначала инвертируются, а затем к этому числу добавляется 1.
Целочисленные типы со знаком имеют большое значение для очень многих алго ритмов, но по абсолютной величине они наполовину меньше своих аналогов без знака. Вот как, например, выглядит число 32 767 типа short в двоичном представлении. 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
Если установить старший разряд этого числа равным 1, чтобы получить значение со знаком, то оно будет интерпретировано как -1, принимая во внимание формат до полнения до двух. Но если объявить его как значение типа ushort, то после установки в 1 старшего разряда оно станет равным 65 535.