69740

Пріоритет і порядок виконання

Домашняя работа

Информатика, кибернетика и программирование

Пріоритет і асоціативність операцій мови Сі впливаяють на порядок групування операндів і обчислення операцій у виразі. Пріоритет операцій суттєвий тільки за наявності декількох операцій, що мають різний приоритет. Вирази з більш пріоритетними операціями обчислюються першими.

Украинкский

2014-10-09

50 KB

0 чел.

Самостійне вивчення

Тема 4: Пріоритет і порядок виконання

Пріоритет і асоціативність операцій мови Сі впливаяють на порядок групування операндів і обчислення операцій у виразі. Пріоритет операцій суттєвий тільки за наявності декількох операцій, що мають різний приоритет. Вирази з більш пріоритетними операціями обчислюються першими.

В таблиці 1 приведені операції в порядку зменшення пріоритету. Операції, розташовані в одному рядку таблиці, або з'єднані в одну групу, мають однаковий пріоритет і однакову асоціативність.

Знак операції

Назва

Асоціативність

() [] . ->

Первинні

Зліва направо

- ~ ! * &

++ --  sizeof

Приведення типу

Унарні

Зправа наліво

* / %

Мультиплікативні

Зліва направо

+ -

Адитивні

Зліва направо

<<  >>

Здвиг

Зліва направо

<> <=  >=

Відношення

Зліва направо

= =   !=

Відношення

Зліва направо

&

Порозрядне і

Зліва направо

~

Порозрядне виключаючи або

Зліва направо

|

Порозрядне включаючи або

Зліва направо

&&

Логічне і

Зліва направо

||

Логічне або

Зліва направо

? :

Умовна

Зправа наліво

= *=  /=  %=  +=  -=  <<= >>=  &=  |=  ^=

Просте і составне присвоювання

Зправа наліво

,

Послідовне обчислення

Зліва направо

З таблиці 1. виходить, що операнди, що представляють виклик функції, індексний вираз, вираз вибору элемента і вираз в дужках, мають найбільший пріоритет і асоціативність зліва направо. Приведення типу має той же пріоритет і порядок виконання, що і унарні операції.

Вираз може містити декілька операцій одного пріоритету. Коли декілька операцій одного і того ж рівня пріоритету з'являються у виразі, то вони застосовуються відповідно до їх асоціативності—або справа наліво, або зліва направо.

Слід зазначити, що в мові Сі прийнятий невдалий порядок пріоритету для деяких операцій, зокрема для операцій зсуву і порозрядних операцій. Вони мають більш низький пріоритет, ніж арифметичні операції (складання і ін.). Тому вираз

а - b & 0xFF + 5

обчислюється як

а = b & (0xFF + 5)

а вираз

а + с > > 1

обчислюється як

(а + с) > > 1

Мультиплікативні, адитивні і порозрядні операції володіють властивістю комутативності. Це значить, що результат обчислення виразу, що включає декілька комутативних операцій одного і того ж пріоритету, не залежить від порядку виконання цих операцій. Тому компілятор залишає за собою право обчислювати такі вирази у будь-якому порядку, навіть у разі, коли у виразі є дужки, що специфікують порядок обчислення.

В СП ТС реалізована операція унарного плюса, яка дозволяє гарантувати порядок обчислення виразів в дужках.

Операція послідовного обчислення, логічні операції І і АБО, умовна операція і операція виклику функції гарантують певний порядок обчислення своїх операндів. Операція послідовного обчислення забезпечує обчислення своїх операндів по черзі, зліва направо (кома, що розділяє аргументи у виклику функції, не є операцією послідовного обчислення і не забезпечує таких гарантій). Гарантується лише те, що до моменту виклику функції всі аргументи вже обчислені.

Умовна операція обчислює спочатку свій перший операнд, а потім, залежно від його значення, або другий, або третій. Логічні операції також забезпечують обчислення своїх операндів зліва направо. Проте логічні операції обчислюють мінімальне число операндів, необхідне для визначення результату виразу. Таким чином, другий операнд виразу може взагалі не обчислюватися.

Приклад:

int х, у, z, f();

z = х > у | | f(x, у);

Спочатку обчислюється вираз х>у. Якщо воно істинне, то змінній z привласнюється значення 1, а функція f не викликається. Якщо ж значення х не більше у, то обчислюється вираз f(x,y). Якщо функція f повертає ненульове значення, то змінній z присвоюється 1, інакше 0.

Розглянутий приклад показує основні можливості використання порядку виконання логічних операцій. Це, по-перше, підвищення ефективності за рахунок розміщення найбільш вірогідних умов в якості перших операндів логічних операцій. По-друге, це можливість вставки у вираз перевірок, при помилковості яких подальші дії не проводитимуться. Так, в наступному умовному операторі if читання чергового символу з файлу виконуватиметься тільки в тому разі якщо кінець файлу ще не досягнутий:

if((!feof(pf))&& (с = getc(pf)) ...

Тут feof — функція перевірки на кінець файлу, getc — функція читання символу з файлу

Побічні ефекти

Побічний ефект виражається в неявній зміні значення змінної в процесі обчислення виразу. Всі операції присвоювання можуть викликати побічний ефект. Виклик функції, в якій змінюється значення якої-небудь зовнішньої змінної, або шляхом явного присвоювання, або через покажчик, також має побічний ефект. Порядок обчислення виразу залежить від реалізації компілятора, за винятком випадків, в яких явно гарантується певний порядок обчислень. При обчисленні виразу в мові Сі існують так звані контрольні крапки. По досягненні контрольної крапки всі попередні обчислення, у тому числі всі побічні ефекти, гарантовано проведені. Контрольними крапками є операція послідовного обчислення, умовна операція, логічні операції І і АБО, виклик функції. Інші контрольні крапки:

—кінець повного виразу (тобто виразу, який не є частиною іншого виразу);

—кінець виразу, який ініціалізував вираз для змінної класу пам'яті auto;

—кінець виразів, що управляють виконанням операторів if, switch, for, do, while і вирази в операторі return.

Наведемо приклади побічних ефектів:

add(i +  1, i = j + 2);

Аргументи виклику функції add можуть бути обчислені у будь-якому порядку. Вираз i + 1 може бути обчислений перед виразом i = j + 2, або після нього, з різним результатом в кожному випадку. Унарні операції інкремента і декремента також містять в собі присвоювання і можуть бути причиною побічних эфектів, як це показано в наступному прикладі:

int i, а[10]; i = 0;

а[i+ + ]= i;

Невідомо, яке значення буде присвоєно елементу а [0]—нуль або одиниця, оскільки для операції присвоювання порядок обчислення аргументів не обумовлюється.


 

А также другие работы, которые могут Вас заинтересовать

73650. Организация надзора за метрологическим обеспечением единства измерений 64.5 KB
  Организация надзора за метрологическим обеспечением единства измерений Студент должен иметь представление: о целях и задачах государственного метрологического надзора; о сферах применения государственного и ведомственного надзора; о видах государственного надзора; знать: порядок проведения и оформления государственного надзора. Государственный надзор за состоянием и применением средств измерений эталонами аттестованными методиками выполнения измерений и соблюдением метрологических правил. Права государственных...
73651. Економічна система 430.38 KB
  Сутність та структура економічної системи. Національні та міжнародна економічні системи. Формування глобальної економічної системи У результаті вивчення даної теми студенти зможуть поглибити власні знання які стосуються розуміння природи визначальних характеристик і особливостей функціонування економічних систем. Сутність та структура економічної системи Проблема економічних систем суспільства їх генезису чинників та логіки становлення є однією з найбільш актуальних у сучасній економічній науці.
73652. Опыт единоличной власти в России в XVI-XX веков 52.54 KB
  В многовековой истории России за редким исключением государство брало верх над обществом. как системы политических и экономических мер установление в России режима личной власти царя. Сложившаяся геополитическая ситуация благоприятствовала национальному возрождению России и превращению ее в крупное европейское государство.
73655. Закрепощение крестьян в России в конце XVI - начале XVII века 37.18 KB
  Очевидно что переходы крестьян в это время были введены в определенные границы и одна из задач работы состоит в выяснении существа этих границ. Самоквасовым еще две грамоты с упоминанием заповедных лет писал что в заповедный год выход или вывоз крестьян.