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

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

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

Как уже упоминалось, бессмысленно говорить о перечислении всех ве­щественных значений (для типа с фиксированной точкой это возможно, но только если его арифметика реализована корректно). Тем не менее, рассмат­ривая задание области значений как пары чисел, максимально и минимально допустимых, можно считать определенным вложение такой области в "аб­страктное" перечислениепризрак. В этом случае исходный набор операций, определенный для перечислений, сужается: из него исключаются succ и pred как противоречащие аксиоме непрерывности.

Для вещественных типов построение новых типов с наследуемым от родительского типа поведением, но не допускающих неявные приведения, не менее актуально, чем для типа целых. По этой причине конструкция

typeMyNewTisnewT;

в языке Ада играет наиболее важную роль, когда Т — один из веществен­ных типов или его подтипов. Она дает возможность программисту осуще­ствлять контролируемое компилятором "разделение мер", фигурирующих в содержательной задаче. Таким образом, имеет место удобное и недорогое средство дополнительного контроля. Почему это средство редко встретишь в практических языках? Во многом это объясняется традициями, но не толь­ко они причина. К примеру, для С/С++ с его концепцией приведений просто нет места для так называемых "новых" типов, которые все равно останутся полностью эквивалентными своим базовым типам. В этом плане некоторые дополнительные средства контроля предоставляются в рамках методологии объектноориентированного программирования.

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама