ЗАМЕЧАНИЕ. Операции присваивания

Операции присваивания

Условная операция

Условная операция (?:) — тернарная, то есть имеет три операнда. Ее формат:

операнд_1? операнде: операнд_3

Первый операнд — выражение, для которого существует неявное преобразование к логическому типу. Если результат вычисления первого операнда равен true, то результатом условной операции будет значение второго операнда, иначе — третье­го операнда. Вычисляется всегда либо второй операнд, либо третий. Их тип мо­жет различаться.

Тип результата операции зависит от типа второго и третьего операндов:

1. если операнды одного типа, он и становится типом результата операции (Это наиболее часто используемый вариант применения тернарной операции.);

2. иначе, если существует неявное преобразование типа от операнда 2 к операн­ду 3, но не наоборот, то типом результата операции становится тип операнда 3;

3. иначе, если существует неявное преобразование типа от операнда 3 к операн ду 2, но не наоборот, то типом результата операции становится тип операнда 2

4. иначе возникает ошибка компиляции.

Условную операцию часто используют вместо условного оператора if для сокращения текста программы.

Пример применения условной операции: требуется, чтобы некоторая це­лая величина увеличивалась на 1, если ее значение не превышает n, а иначе при­нимала значение 1. Это удобно реализовать следующим образом:

i = (i < n)? i + 1: 1;

Условная операция правоассоциативна, то есть выполняется справа налево. На­пример, выражение
а? b: с? d: е вычисляется как а? b: (с? d: e). Строго говоря, такой «хитрой» записи следует избегать. Программа не должна напоми­нать шараду.

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

Формат операции простого присваивания (=):

переменная = выражение

Механизм выполнения операции присваивания такой: вычисляется выражение и его результат заносится в память по адресу, который определяется именем пере­менной, находящейся слева от знака операции. То, что ранее хранилось в этой об­ласти памяти, естественно, теряется. Схематично это полезно представить себе так:

Переменная <- Выражение

Напомним, что константа и переменная являются частными случаями выражения.

Примеры операторов присваивания:

а = b + с / 2;

b = а;

а = Ь:

х = 1;

х = х + 0.5;

Обратите внимание: b = а и а = b — это совершенно разные действия!

Чтобы не перепутать, что чему присваивается, запомните мнемоническое правило: присваивание — это передача данных «налево».

Начинающие часто делают ошибку, воспринимая присваивание как аналог ра­венства в математике. Чтобы избежать этой ошибки, надо понимать меха­низм работы оператора присваивания. Рассмотрим для этого последний пример (х = х + 0.5). Сначала из ячейки памяти, в которой хранится значение перемен­ной х, выбирается это значение. Затем к нему прибавляется 0.5, после чего полу­чившийся результат записывается в ту же самую ячейку, а то, что хранилось там ранее, теряется безвозвратно. Операторы такого вида применяются в про­граммировании очень широко.

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

вещественнаяпеременная:= целоевыражение;

Результатом операции присваивания является значение, записанное в левый операнд. Тип результата совпадает с типом левого операнда.

В сложных операциях присваивания (+=, *-, /= и т. п.) при вычислении выраже­ния, стоящего в правой части, используется значение из левой части. Например, при сложении с присваиванием ко второму операнду прибавляется первый, и ре­зультат записывается в первый операнд, то есть выражение а += b является более компактной записью выражения а = а + b.

Результатом операции сложного присваивания является значение, записанное в левый операнд.

ЗАМЕЧАНИЕ

В документации написано, что тип результата совпадает с типом левого операнда, если он не менее int. Это означает, что если, например, переменные а и b имеют тип byte, присваивание а += b недопустимо и требуется преобразовать тип явным обра­зом: а += (byte)b. Однако на практике компилятор ошибку не выдает.

Напомню, что операции присваивания правоассоциативны, то есть выполняют­ся справа налево, в отличие от большинства других операций (а = b = с озна­чает а = (b = с)).

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