Система типов

Переменные элементарных типов. Объявление и инициализация

Объявление – это предложение языка C#, которое используется непосредственно в теле класса для объявления членов класса (в этом случае объявлению может предшествовать спецификатор доступа) или для объявления переменных в конструкторах и методах класса.

Выполнение оператора объявления переменной типа-значения в методе класса приводит к созданию в памяти объекта соответствующего типа, возможно, проинициализированного определенным значением. Это значение может быть задано в виде литерала соответствующего типа или в виде выражения (синтаксис выражений рассматривается далее).

Предложение объявления предполагает (возможное) наличие различных спецификаторов, указание имени типа, имени объекта и (возможно) выражения инициализации. При этом имя типа может быть задано как Действительное Имя Типа (Имя FCL-типа) или как псевдоним типа (имя типа, как оно объявляется в C#). Соответствующее выражение инициализации может быть представлено литералом или выражением более сложной структуры.

Эквивалентные формы записи операторов определения переменных элементарных типов-значений:

int a;
System.Int32 a;

Эквивалентные формы записи операторов определения и инициализации переменных типа значения:

int a = 0;
int a = new int();
System.Int32 a = 0;
System.Int32 a = new System.Int32();

Здесь следует учитывать важное обстоятельство: CLR не допускает использования в выражениях неинициализированных локальных переменных. В C# к таковым относятся переменные, объявленные в теле метода. Так что при разработке алгоритма следует обращать на это особое внимание.

int a; // Объявление a.
int b; // Объявление b.
b = 10; // Инициализация b.
a=b+b; // Инициализация a.

Константы

Объявляются с дополнительным спецификатором const. Требуют непосредственной инициализации. В данном примере инициализируется литералом 3.14.

const float Pi = 3.14;

Операции и выражения

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

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

Общие характеристики используемых в C# операций представлены ниже.

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

• приоритет операций,
• типы операндов и приведение типов.

Приоритет операций