[Oberon-07/11] Export non-scalar variable.

[ilovb]

Ну с простыми типами понятно. Нужно запретить присваивания и передачу VAR параметром. Хватит ли этого для сложных типов? у меня уверенности нет, что тех же мер достаточно.

[ilovb]

Где там противоречие с вашим утверждением?

Моё утверждение не противоречит Вашему, а скорее дополняет его (или расширяет).
(Я же не утверждал, что нет никаких проблем сделать экспорт read only для переменных сложных типов.)

Вот вот. Однако начали вы с "Дело, видимо, всё же в другом." 

ps Ладно, проехали... У меня тяжелый день просто был. 

[igor]

Вот вот. Однако начали вы с "Дело, видимо, всё же в другом." 

Согласен. Не совсем удачный заход... 

[igor]

Код: [Выделить]

TYPE
  Object* = RECORD
    field*: REAL;
  END;

VAR obj-: Object;  (* не разрешённый экспорт! *)

Может, Вирту не понравилось противоречие: тип Object как бы разрешает запись в поле field, а переменная obj, в то же самое время, - запрещает. Хотя согласен, что такое объяснение выглядит несколько натянутым. Честно говоря, я тоже голову сломал :-)

[akron1]

Причины запрета экспорта структурных переменных тоже не вижу... Разве что ослабляются межмодульные связи, м. б. чем-то упрощается раздельная компиляция и динамическая модульность. Скалярный ли тип указатель? Скорее да, собственной структуры у него нет.

[Valery Solovey]

Я не вижу где там может возникнуть эта самая проблематичность отличная проблематичности read-only скалярных переменных.

Например, в записи одно из полей может быть указателем.

[DddIzer]

Что такое скалярный тип? В репорте про это нет ни слова. Есть предположение что это Basic Types + Pointer types (в противовес Structured types = Record types + Array types).

не являющийся составным (не является объявленной, в определении языка, комбинацией других типов этого ЯП) - какие конкретно типы относятся к простым зависит от ЯП(его описания) - в Обероне (насколько я понимаю) - все, кроме типов RECORD и ARRAY.

[DddIzer]

Вирт в Oberon-07/11 (а возможно и раньше) запретил экспорт из модуля (даже в режиме read only) переменные не скалярный типов.

Отсюда возникает минимум два вопроса:

1) Зачем он это сделал? Чем переменные не скалярных типов хуже при read-only экспорте чем переменные скалярных типов? (мы тут всю голову сломали, но придумать вескую причину не смогли)

имеет смысл если только включить в список запрещенных для экспорта указатели (помимо записей и массивов).

[vlad]

имеет смысл если только включить в список запрещенных для экспорта указатели (помимо записей и массивов).

Согласен. Если и запрещать, то тогда вместе с указателями. Иначе смысла - 0. Или у Вирта была какая-нибудь особенность реализации, которую нам ну никак не угадать "общими размышлениями".

[vlad]

Согласен. Если и запрещать, то тогда вместе с указателями. Иначе смысла - 0. Или у Вирта была какая-нибудь особенность реализации, которую нам ну никак не угадать "общими размышлениями".

Вообще смысла в таких исключениях "можно, но только read-only" нет - тот же эффект можно получить через экспорт процедур, возвращающих нужные переменные. Скорее всего это просто оптимизация (в расчете на неоптимизирующий компилятор).

P.S. Хотя лично я до сих пор не вижу особой разницы между процедурами set/get для переменной модуля и просто экспортированной переменной модуля. Оно все равно по смыслу остается глобальной переменной со всеми присущими проблемами. Ну разве что брейк поинт можно воткнуть, чтобы рабораться кто и когда все портит. Но это уже борьба (неэффективная) со следствием (бардак в системе).

[Geniepro]

Ну так спросите у самого Вирта )))

[vlad]

Ну так спросите у самого Вирта )))

Вирт не отвечает на емыл. А ходатайствовать у Info21 как-то претит...

[Geniepro]

Вирт не отвечает на емыл.

Либо он редиска, либо он решил, что всё фигня, даже обероны )))

[DddIzer]

Согласен. Если и запрещать, то тогда вместе с указателями. Иначе смысла - 0. Или у Вирта была какая-нибудь особенность реализации, которую нам ну никак не угадать "общими размышлениями".

смысл в том, чтобы проггеры с "суконным рылом"  не гоношились в динамических структурах порождаемых экспортируемым модулем.

[valexey_u]

Согласен. Если и запрещать, то тогда вместе с указателями. Иначе смысла - 0. Или у Вирта была какая-нибудь особенность реализации, которую нам ну никак не угадать "общими размышлениями".

смысл в том, чтобы проггеры с "суконным рылом"  не гоношились в динамических структурах порождаемых экспортируемым модулем.

Эмм.. Не понял. А что динамического вот в этом:

Код: [Выделить]

VAR
  rec : RECORD i,j,k : INTEGER END;