OberonCore

Уважаемые специалисты,

В обероне-2, как известно, можно присваивать значение более узкого численного типа переменной более широкого типа в соответствии с правилом:

INTEGER C LONGINT C REAL C LONGREAL

Запрет на присваивание в обратную сторону аргументируется потерей информации.
На практике же это приводит к тому, что 32-разрядное целое мржно присвоить 4-байтной вещественной переменной, а такое присваивание идёт с потерей точности.

Также потеря информации происходит при присваивании записи значения её расширения.

Решены ли эти аопросы в компонентном паскале?

С уважением,
GH.

В КП REAL то же, что в Обероне LONGREAL - (REAL 64 bit IEEE).

Хотя в сообщении записано всё тоже правило:
REAL >= SHORTREAL >= LONGINT >= INTEGER >= SHORTINT >= BYTE

Потеря информации действительно возможна, однако при преобразовании нет переполнения.

Не факт, что увеличение разрядности переменных для хранения вещественных значений (SHORTREAL) исключит потерю точности. Вполне возможно, что у REAL те же проблемы.

Округление. Теряем наименее значащие разряды, а не все (в тех случаях, когда запрещено).

Присваивать можно только нерасширяемые записи.