Хищник писал(а):
вопрос писал(а):
Например "изменяемая в цикле переменная не может быть указателем для прыжка, если не может быть отслежен диапазон изменений" - такое правило и ... вроде плоская модель, а ни одного jmp в никуды
Понятно, что это предположение, но разве есть другой язык, который позволяет?
x86 позволяет сделать jmp eax - этим все сказано. Форт позволяет execute (на стеке может быть что угодно).
Да, только сначала кто-то компилирует jmp eax и может и отказаться это делать, если непонятно, что в eax и куда jmp.
Я не настаиваю, это предположения... но правдоподобные
Хищник писал(а):
А изменяемая в цикле переменная - да легко. Для всех объектов в списке выполняем виртуальный метод - вот и перебор адресов с переходом туда. А если число объектов заранее неизвестно (например, является результатом действий пользователя в рантайме), то вот и неотслеживаемый диапазон изменений переменных цикла в CT.
Точно, и вот в такой вполне предсказуемой ситуации компилятор
мог бы (боюсь показаться слишком упорным) предлагать добавить процедуру вычисления границ массива.
Хищник писал(а):
Вобщем, не надо Форту приписывать несвойственные ему характеристики. Быстрый, универсальный, простой, безопасный, гибкий.... и все-все-все в одном флаконе? Да еще кроссплатформенное?
)
Нет, из всего - только 2 - гибкость и простота (а простота включает,
может мне показалось, лучший контроль происходящего и второе следствие простоты - ненагружающая кроссплатформенность
(?) )