4.1.5.2. Операторы условной передачи управления

В Си существует один оператор условной передачи управления (условно­го перехода), используемый в двух вариантах - укороченном и полном.

Укороченный оператор условного перехода

Укороченный оператор условного перехода используется для реализации структуры неполного ветвления.

Структуры оператора:

if (Р) ветвь_ДА;

или

if (Р)

ветвь_ДА;

где

if - ключевое слово (если);

Р - выражение, соответствующее проверяемому условию: ( ) - ограничители Р;

ветвь_ДА - выполняемый оператор (простой или составной). Выражение Р, как и проверяемое условие, может быть логическим или арифметическим. В большинстве случаев в качестве Р применяются логиче­ские выражения.

Логическое выражение - совокупность операндов, соединённых знака­ми логических действий.

В простейшем варианте логическое выражение имеет структуру опера­ции отношения:

а  b

где а и b - операнды (арифметические выражения), подлежащие сравне­нию;

 - символ операции отношения.

В качестве операций отношения используются стандартные (табл. 4.2).

Таблица 4.2

Обозначение в математике	<	=	>
Обозначение в Си	<	= =	>	<=	!=	>=

Примеры записи логических выражений (табл. 4.3).

Таблица 4.3

Запись в математике	Запись на Си
	sin(х)> 0.351
	1оg(а) <= роw( с, 2)
	соs(b) - 0.6 * а != 0
	fabs(t - 2.) = = 7.65 – pоw((d,1./3.)

Операции отношения по приоритету выполнения ниже всех арифметических, но между собой делятся на группы с большим и меньшим приоритетом: операции <, >, <=, >= имеют одинаковый больший приоритет и выполняются после арифметических операций;

операции = =,!= имеют одинаковый меньший приоритет и выполня­ются после отношений, принадлежащих к старшей группе.

Внимание ! Особенностью языка Си является отсутствие логических кон­стант. Их роль выполняют целые константы 0 (ноль) и 1 (не ноль).

Результатом вычисления логического выражения является целая константа 1 (ИСТИНА), если условие выполняется, либо 0 (ЛОЖЬ), в противном случае.

Так, результат вычисления выражения с<2. при с=3.0 есть ноль (ЛОЖЬ),

а при с = 1.5 - единица (ИСТИНА).

Арифметические выражения в операторе if используются относительно редко. Результат вычисления арифметического выражения есть константа.

Если полученная константа равна нулю - результат проверки есть ЛОЖЬ.

Если значение константы не равно нулю - результат проверки есть ИСТИНА.

Так, проверка выражения 4-z² сводится к анализу его результата. Если переменная z целочисленная и имеет значение 2 то результат проверки ^: 4-2² =0

ЛОЖЬ. При любом другом значении z получаемая константа не равна нулю, следовательно результат проверки - ИСТИНА.

Внимание! Проверка равенства нецелых операндов (хотя бы один явля­ется вещественным), как правило, безрезультатна. Это обу­словлено особенностью представления вещественных кон­стант в ЭВМ с использованием многоразрядной дробной мантиссы. Попытка выполнения над ними операции = = при­водит к не идентичности результатов за счет погрешности в младших разрядах мантиссы.

Следовательно, анализ на ноль не целых операндов не будет давать тойчивых результатов при проверке (0.0000001  0).

Укороченный условный оператор выполняется следующим образом:

• вычисляется логическое (арифметическое) выражение Р;

• результат вычисления анализируется. Если он не равен нулю (ИСТИНА), выполняется ветвь_ДА, а затем управление передаётся оператору, следующему за if. Если результат равен нулю (ЛОЖЬ) ветвь_ДА не выполняется и управление передаётся оператору, следующему за if.

Так фрагменты программ

if(t<=0.5) x1=g; x2=1.7;

if(t<=0.5) {x1=g; n=1;} x2=1.7;

работают следующим образом:

• вычисляется логическое выражение (t<=0.5);

• если результат ИСТИНА (например, при t=0.4), то будет выполнен оператор ветви ДА (простой х1=g; или составной {х1=g; n=1;}), а за­тем следующий за if (х2=1.7;);

• если результат ЛОЖЬ (например, при t=0.6) оператор ветви ДА (про­стой х1=g; или составной {х1=g; n=1;}) игнорируется и управление передаётся следующему за if оператору (х2=1.7;). Следовательно, стандартная структура укороченного оператора if позво­ляет реализовать неполное ветвление при расположении ветви «ДА» непо­средственно под проверяемым условием.

Возможно использование укороченного if для реализации второго вари­анта структуры неполного ветвления (расположение ветви «НЕТ» под прове­ряемым условием). При этом в качестве ветви ДА применяется gоtо m; и оператор if принимает вид

if(B) goto m;