Непейвода Н.Н. Программирование. Раздел 3

Непейвода Н.Н. Программирование. Страница 270

Для обсуждаемого фрагмента 7.3.2 принципиально, что inta[SZA] — часть глобального описания, поскольку а является элементом обстановки и выде­ленного фрагмента, и функции main. Не очень принципиально, что данная переменная разделяется, т. е. совместно используется двумя функциями.

Описаниеint h; вполне можно было бы локализовать внутри выделенного цикла и совместить это описание с присваиванием значения:

int h = (imi+ima)/2; Такая модификация разумна, поскольку она следует правилам:

описывать переменные, используя как можно более узкие области види­мости (переменная должна быть видна в точности там, где она употреб­ляется);

стремиться к использованию инициализации переменных при их описа­нии.

Определение 7.3.3.Состояние контекста в языке традиционного типа — пара, состоящая из соответствия 3, сопоставляющего каждой переменной контекста ее значение в конкретный момент выполнения программы и вер­шины V абстрактносинтаксического дерева представления программы, где находится выполняемое действие.

Состояние обстановки— аналогичная пара, где 3 задает значения пере­менных обстановки. Конец определения 7.3.3.

Характер изменения состояния обстановки в значительной степени предо­пределяет организацию вычислений вообще и циклических вычислений в частности. Обстановка циклического фрагмента определяет, например, бу­дет ли выполняться цикл (условие срабатывания). Для циклаdo...whiletrueэто условие тождественно истинно, для циклов других видов оно сов­падает с условием цикла.

§ 7.4. АБСТРАКТНОСИНТАКСИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ ЦИКЛОВ

7.4.1. Представление циклов

Абстрактносинтаксическое представление оператора циклов достаточно просто. Для циклов с пред и постусловиями с точностью до наименова­ний головных вершин структуры оказываются одинаковыми (см. рис.7.2). Разница проявляется только в интерпретации.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама