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

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

Именно табличное задание операторов выбора лучше всего соответству­ет их логической сути: разбору случаев в доказательстве. Конструкция раз­бора случаев имеет вид

При разборе случаев они не обязаны исключать друг друга, и получающиеся утверждения не обязаны все различаться.

6.2.3. Условные выражения

В языкахAlgol 60, Алгол 68, С иJavaимеется очень удобная конструкция: условные выражения. Условное выражение языка С имеет вид

где А — выражение, значение которого вычисляется в случае истинности Р, В — в случае его ложности. Во всех других языках семантика условных выражений такая же.

Заметим, что в Алголе 68практически все операторы выдают значение и могут использоваться в качестве составных частей выражений. Например, допустимо выражение

В выражениях этого языка могут стоять даже разборы случаев типа case. Дополнительной семантической функцией разделителя последовательно вы­полняемых операторов ";" является забывание значения предшествующего оператора.

Языки, в которых все операторы (а иногда и описания) вырабатывают значение, называются языками с концепцией значения. Такие языки хоро­шо согласуются с некоторыми архитектурами компьютеров, в частности, со стековой архитектурой системBarroughsи Эльбрус, где вырабатываемые значения помещаются в стек, вершиной которого служит последнее из по­лученных значений, а также со старыми архитектурами, где был регистр {сумматор), в котором всегда сохранялся результат предыдущей команды. Логически концепция значения соответствует взгляду на программу как на функцию, вычисляющую результат по исходным данным. Концепция зна­чения великолепно сочетается со структурным программированием. Но ее отсутствие в языкахPascalиC/C++вполне естественно. Причина этого — в типах данных.

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама