-
Условное выражение
В C#, как и в C++, разрешены условные выражения. Конечно, без них можно обойтись, заменив их условным оператором. Вот простой пример их использования, поясняющий синтаксис их записи:
//Условное выражение
int a = 7, b = 9, max;
max = (a > b) ? a : b;
Условное выражение начинается с условия, заключенного в круглые скобки, после которого следует знак вопроса и пара выражений, разделенных двоеточием " : ". Условие задается выражением типа bool. Если оно истинно, то из пары выражений выбирается первое, в противном случае результатом является значение второго выражения. В данном примере переменная max получит значение 9.
Заметьте, условное выражение является примером тернарного выражения - выражения с тремя операндами. И здесь, как и в случае условных логических операций, не требуется, чтобы все операнды были определены. Если булевский операнд определен и имеет значение true, то вычисляется второй операнд, а третий операнд не вычисляется и может быть в этот момент не определен.
-
Операция присваивания
Нам осталось рассмотреть последнюю по приоритету, но не по важности операцию присваивания. Синтаксически присваивание в языке C# является частным случаем выражения и может встречаться всюду, где разрешено появление выражений. Выражение присваивания является выражением с побочным эффектом. Оно не только возвращает значение некоторого типа в качестве результата, но и изменяет значения одной или нескольких переменных в качестве побочного эффекта. В реальных программах присваивание чаще всего встречается не как выражение, а как оператор присваивания. Превратить выражение присваивания в оператор присваивания проще простого. Нужно выражение закончить символом точка с запятой и использовать его там, где разрешается использовать операторы.
Начнем с формального определения синтаксиса выражения присваивания:
<переменная> <знак присваивания> <выражение>
Знаков
присваивания много, они перечислены в
таблице
3.1. Чаще всего используется знак
равенства, но иногда ему могут
предшествовать и другие знаки операций.
С чем связано наличие многих знаков у
одной операции? Языку C# это досталось
в наследство от языка С++, где авторы
языка были большими любителями краткости
записи в ущерб ее ясности. Поэтому в
языке допустимы такие выражения, как
x++,
x+=y,
мало понятные обычному математику.
Второе из этих выражений является
выражением присваивания и удовлетворяет
выше приведенному синтаксису со знаком
присваивания +=. Его можно рассматривать
как краткую запись выражения
.
Аналогичный смысл имеют и другие знаки
присваивания - (*=, /= и другие).
В правой части синтаксической формулы, определяющей выражение присваивания, стоит выражение, которое может быть в свою очередь выражением присваивания. Отсюда следует допустимость множественного присваивания. Синтаксически вполне корректен следующий пример:
/// <summary>
/// Множественное присваивание
/// </summary>
static void AssignTest()
{
double x = 1, y = 2, z = 3, w =9, u = 7, v = 5;
if((x += y -= z += w *= (u + v) / (u - v)) < 0)
Console.WriteLine("x = {0}, y = {1}, z = {2}," +
"w = {3}, u = {{4}, v = {5}", x, y, z, w, u, v);
}
В операторе if записано выражение, задающее множественное присваивание. Какова семантика, как вычисляются выражения присваивания?
Операция присваивания является правосторонней операцией, и особенностью вычисления выражения присваивания является то, что оно вычисляется справа налево. В нашем примере вначале будет вычислено самое правое выражение (u + v) / (u - v), значение которого будет равно 6. Двигаясь налево по ходу присваивания, значение выражения будет изменяться. Последним будет вычислено выражение, которое получит переменная x. Значение этого выражения равно -54, именно оно является окончательным значением выражения множественного присваивания и будет участвовать в сравнении с нулем. Условие в операторе if получит значение true, и метод WriteLine выведет на консоль значения переменных, полученных ими как побочный результат вычисления выражения присваивания. Эти значения соответственно равны: -54, -55, 57, 54, 7, 5. Заметьте, скобки, окружающие выражение присваивания, необходимы, иначе операция сравнения выполнялась бы раньше, чем присваивание, что приводило бы к ошибке.
Для пояснения деталей семантики выражений присваивания использована довольно экзотическая конструкция в операторе if. В реальных программах такие конструкции применять не следует. Они "от лукавого". Простота записи и понимаемость - одни из главных критериев при создании промышленного кода. При изучении возможностей языка допустимо рассмотрение экзотических случаев.