Операторы ветвления позволяют изменить порядок выполнения операторов в программе. К операторам ветвления относятся условный оператор if и оператор выбора switch.
Условный оператор if используется для разветвления процесса обработки данных на два направления. Он может иметь одну из форм: сокращенную или полную.
Форма сокращенного оператора if:
if (B) S;
где В – логическое или арифметическое выражение, истинность которого проверяется; S – оператор.
При выполнении сокращенной формы оператора if сначала вычисляется выражение B, затем проводится анализ его результата: если B истинно, то выполняется оператор S; если B ложно, то оператор S пропускается. Таким образом, с помощью сокращенной формы оператора if можно либо выполнить оператор S, либо пропустить его.
Форма полного оператора if:
if (B) S1; else S2;
где B – логическое или арифметическое выражение, истинность которого проверяется; S1, S2 – операторы.
При выполнении полной формы оператора if сначала вычисляется выражение B, затем анализируется его результат: если B истинно, то выполняется оператор S1, а оператор S2 пропускается; если B ложно, то выполняется оператор S2, а S1 – пропускается. Таким образом, с помощью полной формы оператора if можно выбрать одно из двух альтернативных действий процесса обработки данных.
Для примера, вычислим значение функции:
Указанное выражение может быть запрограммировано в виде
if (x <= a)
y = Math.Sin(x);
if ((x > a) && (x < b))
y = Math.Cos(x);
if (x >= b)
y = Math.Sin(x) / Math.Cos(x);
или
if (x <= a)
y = Math.Sin(x);
else
if (x < b)
y = Math.Cos(x);
else
y = Math.Sin(x) / Math.Cos(x);
Важное примечание! В C-подобных языках программирования, к которым относится и C#, операция сравнения представляется двумя знаками равенства, например:
if (a == b)
Оператор выбора switch предназначен для разветвления процесса вычислений по нескольким направлениям. Формат оператора:
switch (<выражение>)
{
case <константное_выражение_1>:
[<оператор 1>];
<оператор перехода>;
case <константное_выражение_2>:
[<оператор 2>];
<оператор перехода>;
...
case <константное_выражение_n>:
[<оператор n>];
<оператор перехода>;
[default:
<оператор>;]
}
Замечание. Выражение, записанное в квадратных скобках, является необязательным элементом в операторе switch. Если оно отсутствует, то может отсутствовать и оператор перехода.
Выражение, стоящее за ключевым словом switch, должно иметь арифметический, символьный или строковый тип. Все константные выражения должны иметь разные значения, но их тип должен совпадать с типом выражения, стоящим после switch или приводиться к нему. Ключевое слово case и расположенное после него константное выражение называют также меткой case.
Выполнение оператора начинается с вычисления выражения, расположенного за ключевым словом switch. Полученный результат сравнивается с меткой case. Если результат выражения соответствует метке case, то выполняется оператор, стоящий после этой метки, за которым обязательно должен следовать оператор перехода: break, goto, return и т. д. При использовании оператора break происходит выход из switch и управление передается оператору, следующему за switch. Если же используется оператор goto, то управление передается оператору, помеченному меткой, стоящей после goto. Наконец, оператор return завершает выполнение текущего метода.
Если ни одно выражение case не совпадает со значением оператора switch, управление передается операторам, следующим за необязательной подписью default. Если подписи default нет, то управление передается за пределы оператора switch.