OberonCore

Мне не понятен один момент, почему при создании символьного файла туда сохраняются ЗНАЧЕНИЯ констант. Если значение константы в импортированном модуле поменяется, то надо перекомпилировать и тот модуль, который его импортирует. Почему бы не сохранять в символьный файл просто название константы и место, в объектом файле, где оно храниться, тогда если константа измениться, модуль который его импортирует не потребует перекомпиляции.

Дело в том, что в каждый модуль, где используется константа, её значение внедряется при компиляции. Иногда уже в неявном, вычисленном виде.

Например:

x := 2* MyMath.pi - компилятор возьмёт значение константы pi из модуля MyMath, умножит на 2 и в ваш модуль запишет прямо в код результат. А ссылка на константу другого модуля вставляется именно затем, чтобы отследить, если она поменялась, и потребовать от программиста перекомпиляции. Вообще, раз введённые константы менять не следует.

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

Делается так:



Практический пример: есть константы с обозначениями валют. Они неизменны, но могут появляться новые. Удобно иметь величину, которая хранит максимальную существующую константу валюты (для разных переборов).



Тогда во внешних модулях можно спокойно, устойчиво к любому добавлению констант, перебирать:

Спасибо за ответ.