Чем Вирту WITH не угодил?

[ilovb]

Я не говорю, что отменяет, я говорю что хватает...

Вот только компилятор не даст так написать. 

Или даст?

[DIzer]

ну... и проку бы было намного  больше если бы была разрешена множественная охрана WITH a:Checkbox, b:Radiogroup, c:Button DO....

[ilovb]

А смысл?

[DIzer]

не плодить ветки под каждое кастование...

[ilovb]

Ааааа понял 

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

WITH a:Checkbox, b:Radiogroup, c:Button DO...
мне привиделось:

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

WITH a:Checkbox, a:Radiogroup, a:Button DO.... 

У меня внимательность сегодня хромает 

[ilovb]

Мне нравится ваше предложение 

Компилятор это не усложнит, а WITH мощнее становится.

[Geniepro]

http://www.inf.ethz.ch/personal/wirth/Articles/Oberon/Oberon07.pdf

The With statement has been eliminated.

На оберонкоровском форуме обсуждали уже -- этот оператор WITH в реализации блекбокса приводил к порче памяти из-за неправильных кастов.
Там же было упомянуто, что в обероне-07 Вирт убрал этот WITH, возможно из-за такой уязвимости...

[ilovb]

Т.е. его трудно правильно реализовать?

Можно ссылочку, если знаете в какой ветке это обсуждалось?

[DIzer]

http://www.inf.ethz.ch/personal/wirth/Articles/Oberon/Oberon07.pdf

The With statement has been eliminated.

На оберонкоровском форуме обсуждали уже -- этот оператор WITH в реализации блекбокса приводил к порче памяти из-за неправильных кастов.
Там же было упомянуто, что в обероне-07 Вирт убрал этот WITH, возможно из-за такой уязвимости...

Веселое дело, вы хотите сказать, что его удалили только из за того что у создателей реализации росли руки не из того места?.... еть... радует , то что они хотя бы складывать умеют а то не видать юзерам операции сложения.... а коровцы нашли бы и под это логичное объяснение...

[ilovb]

В ЧЯ и FOR неправильно реализован на сколько я помню 

Значит его тоже в мусорку 

[DIzer]

Веселое дело, вы хотите сказать, что его удалили только из за того что у создателей реализации росли руки не из того места?.... еть... радует , то что они хотя бы складывать умеют а то не видать юзерам операции сложения.... а коровцы нашли бы и под это логичное объяснение...

например.. на .... складывать если этого даже Вирт не умеет...

[Valery Solovey]

В Обероне 07 так будет:

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

CopyOver(F, M(Oberon.CopyOverMsg).text, M(Oberon.CopyOverMsg).beg, M(Oberon.CopyOverMsg).end)

Можно так

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

M1 := M(Oberon.CopyOverMsg);
CopyOver(F, M1.text, M1.beg, M1.end)

[Губанов Сергей Юрьевич]

На Оберонкоре Трурль показывал как с помощью WITH завалить Блэкбокс. Деталей уже не помню, но общий смысл в следующем. Компилятор думает, что внутри блока WITH после кастинга динамический тип переменной на которую ссылается закастованная ссылка на протяжении всего блока уже не изменяется. Но это не всегда так. Дело в том, что той переменной, на которую мы получили ссылку теперь можно присвоить другое значение (например, с помощью другого указателя) с другим динамическим типом. Так получается, что WITH - это дыра в системе защиты типов.

[valexey]

На Оберонкоре Трурль показывал как с помощью WITH завалить Блэкбокс. Деталей уже не помню, но общий смысл в следующем. Компилятор думает, что внутри блока WITH после кастинга динамический тип переменной на которую ссылается закастованная ссылка на протяжении всего блока уже не изменяется. Но это не всегда так. Дело в том, что той переменной, на которую мы получили ссылку теперь можно присвоить другое значение (например, с помощью другого указателя) с другим динамическим типом. Так получается, что WITH - это дыра в системе защиты типов.

Но, по моему, тот же финт ушами в GPCP не прокатывает и ничего там завалить не выйдет.

[DIzer]

значит это хреновая охрана (реализация)... проблема  реализации... видать разума на который надеялся Вирт, писавший 16 страничное сообщение об языке, не хватает у его учеников для нормальной реализации...