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

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

Соотношение между понятиями имя, значение, тип, константа и пере­менная наиболее точно и строго определено в языке Алгол 68. Эта точность отражена и в языковых конструкциях описания имен. Так, описание typeИмя = выражение вырабатывающее значение типа тип; трактуется как определение идентификатора Имя, обладающего значением, т. е. определяется константа, но значение этой константы может быть вы­числено в ходе исполнения программы. Таким образом, имя, обозначающее константу, с того момента, когда оно появляется в программе, и до того мо­мента, когда оно исчезает изза выхода из его области определения, имеет одно и то же значение. Но при другом входе в тот же блок константа может иметь другое значение.

Может показаться, что появление константы, обозначающей значение, возникшее в ходе исполнения программы и не имеющее смысла вне кон­текста, определяемого данным исполнением, противоречит самой сущности константы. Но самому математическому понятию константы это не про­тиворечит. В математических текстах все время встречаются конструкции типа «Обозначим значение, которое существует согласно доказанному выше утверждению (5), через «о» Это утверждение (5) может не иметь смысла вне данного доказательства, а то и быть прямо ложным (если ведем дока­зательство приведением к абсурду), так что константа ао возникает и суще­ствует лишь в контексте данного математического рассуждения, зато в нем она имеет некоторое фиксированное значение все время, пока использует­ся. Именно это последнее свойство нужно нам и от имени, обозначающего программистскую константу.

Такая конструкция позволяет определять не только имена констант, но и имена переменных.

typeИмя1; рассматривается как сокращение для

ref typeИмя1 = loc type;

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама