Ассоциативный контейнер в оберонах

[DIzer]

Да. Именно поэтому в Java у класса Object (от которого наследуются все остальные) есть метод int   hashCode(). Без этого никак.

"Вот оно че, Михалыч!" 

Обероны в пролете короче 

Так по этому и речь ведем об области  его эффективного использования - что бы в "дерьмо" не попасть, случайно...
это здесь - а у коровцев один ответ -лучше оберонов ничего нет...

[valexey]

Да. Именно поэтому в Java у класса Object (от которого наследуются все остальные) есть метод int   hashCode(). Без этого никак.

"Вот оно че, Михалыч!" 

Обероны в пролете короче 

В обероне придется вводить родительсный тип типа Hashable, у которого будет подобный "метод". Соответственно все желающие хэшироваться должны будут наследоваться оттуда. Но возникает проблема - в Обероне нет множественного наследования. Ни множественного наследования реализаций, ни интерфейсов. Поэтому если у типа есть еще какое-то свойство (Drawable например), то придется либо Hashable наследовать от Drawable, либо наоборот. И то и другое смотрится как-то искусственно.

[valexey]

Т.е. чтобы эти плюшки кушать, оно в языке должно быть изначально прошито. (В жабе Object часть языка?)

В жабе Object да, часть языка.

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

[ilovb]

Да. Это вариант. Хотя не особо удобно конечно.

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

Да. Именно поэтому в Java у класса Object (от которого наследуются все остальные) есть метод int hashCode().

Угу, а в C# она int System.Object.GetHashCode().

[DIzer]

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

Мало... нужно иметь в языке обобщенный указатель (для определения типа ячейки в ассоциативном  массиве совместимого по присваиванию с произвольным типизированным указателем) - в КП есть AnyPtr - а в простых Оберонах вроде нет - может кто поправит?

[valexey]

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

Мало... нужно иметь в языке обобщенный указатель (для определения типа ячейки в ассоциативном  массиве совместимого по присваиванию с произвольным типизированным указателем) - в КП есть AnyPtr - а в простых Оберонах вроде нет - может кто поправит?

Нужно. Но это уже существенно меньшая проблема.

[DIzer]

Нужно. Но это уже существенно меньшая проблема.

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

[vlad]

Но возникает проблема - в Обероне нет множественного наследования. Ни множественного наследования реализаций, ни интерфейсов. Поэтому если у типа есть еще какое-то свойство (Drawable например), то придется либо Hashable наследовать от Drawable, либо наоборот. И то и другое смотрится как-то искусственно.

Множественное наследование всегда можно сделать вручную (как в C
Object.QueryInterface() - и вперед.

[valexey]

Но возникает проблема - в Обероне нет множественного наследования. Ни множественного наследования реализаций, ни интерфейсов. Поэтому если у типа есть еще какое-то свойство (Drawable например), то придется либо Hashable наследовать от Drawable, либо наоборот. И то и другое смотрится как-то искусственно.

Множественное наследование всегда можно сделать вручную (как в C
Object.QueryInterface() - и вперед.

Приведи на Обероне реализацию, плиз. Object.QueryInterface это ж вроде как ни разу не Си, это С++.

[DIzer]

Далее.. функцию хэширования в примитивном случае нам передавать не нужно... достаточно передать указатель на валидный объект - и ЗНАЧЕНИЕ возвращаемое этой функцией(только для односторонне ассоциативного массива) - в этом случае наш контейнер будет отличаться от обычного массива указателя лишь действиями по разрешению коллизий...

[DIzer]

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

[valexey]

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

Что бы хешировать весь объект тебе нужно иметь возможность получить оный объект в виде куска памяти/массива байтиков. А в обероне такой возможности нет.

[DIzer]

Правда тогда нужно передавать помимо указателя  размер- в оберонах это не прокатит (без использования систем), вроде бы.

[DIzer]

  да вы успели запостить раньше чем я