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

[vlad]

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

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

Все наследуется от базового Object, у которого есть перегружаемый QueryInterface. Допустим у наc есть объект Object -> Drawable и его надо положить в контейнер, который хочет Object -> Hashable:
1. Реализуем свой Object -> Hashable -> MyHashable, в котом есть ссылка на оригинальный Object -> Drawable
2. У MyHashable реализуем QueryInterface, который умеет возвращать оригинальный Object -> Drawable.
3. Кладем в контейнер.
4. Когда надо вытащить из контейнера и получить оригинальный Object -> Drawable: вытаскиваем Hashable, вызываем у него QueryInterface, кастим результат к Drawable.

Все просто Только закат солнца вручную

P.S. В С++ оно не надо - там есть dynamic_cast, который замечательно работает с множественным наследованием.

[vlad]

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

Тут еще интересно, что использовать в качестве аргумента QueryInterface. Ручками назначать каждому интерфейсу идентификатор - это вообще ужос-ужос, так что без очередного расширизма не обойтись

[DIzer]

Все наследуется от базового Object, у которого есть перегружаемый QueryInterface. Допустим у наc есть объект Object -> Drawable и его надо положить в контейнер, который хочет Object -> Hashable:

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

[Madzi]

Ярослав Романченко, некоторое время назад, выкладывал пример с контейнерами в А2 (обероны) на oberonCore. А я его немного развил

[valexey]

Ярослав Романченко, некоторое время назад, выкладывал пример с контейнерами в А2 (обероны) на oberonCore. А я его немного развил

На сколько я помню, там был тихий, типонебезопасный, ужас.

[DIzer]

Ярослав Романченко, некоторое время назад, выкладывал пример с контейнерами в А2 (обероны) на oberonCore. А я его немного развил

На сколько я помню, там был тихий, типонебезопасный, ужас.

А что означает  "типонебезопасный"?

[Madzi]

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

[DIzer]

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

А вот это может быть ужасом - если используется внутри контейнера... при определенный обстоятельствах... сборщик мусора может взять и посчитать ссылки хранящиеся в контейнере инвалидными... иными словами обьекты выпадают из поля зрения GK -ужас если речь идет об этом.

[valexey]

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

А ты пробовал собирать тот код который у тебя там выложен?

Мне откровенно не понятно каким образом соберется вот это:

PROCEDURE TestList*();
VAR
   list : ArrayList; (* можно заменить на LinkedList *)
   long : Longint;
BEGIN
   NEW(list);
   ASSERT(list # NIL);
 
   NEW(long);
   long^.value := 13;
 
   list.Add(long);
   long := NIL;
 
   KernelLog.String("List size: ");
   KernelLog.Int(list.Size(), 4);
   KernelLog.Ln();
 
   long := list.Get(0);
 
   KernelLog.String("Element value: ");
   KernelLog.Int(long^.value);
   KernelLog.Ln();
END TestList;

Тип возвращаемого значения Get - ListItem, а Longint - это потомок ListItem'a (Longint* = POINTER TO RECORD(ListItem). Следовательно необходим апкастинг.

Кроме того, в этот ArrayList я могу положить не только LongInt а все что угодно другое унаследованное от ListItem'a, следовательно при апкастинге при доставании вылетит исключение во время исполнения приложения. Это и есть - не типобезопасно.

[DIzer]

а что в Активе нет is,  as?

[valexey]

а что в Активе нет is,  as?

И is и as это приведение типов (апкастинг в данном случае). Если в списке будет лежать что-то не то, будет ошибка в рантайме. Её конечно можно обработать, но от этого не легче. Нет типобезопасности.

[DIzer]

я это к чему - ну ошибка - она же в конечном примере...а не в реализации библиотеки.

[DIzer]

а что в Активе нет is,  as?

И is и as это приведение типов (апкастинг в данном случае). Если в списке будет лежать что-то не то, будет ошибка в рантайме. Её конечно можно обработать, но от этого не легче. Нет типобезопасности.

Что означает не то? -не потомок пустой записи? а как он туда попадет - где дырка в интерфейсе?

[valexey]

Что означает не то? -не потомок пустой записи? а как он туда попадет - где дырка в интерфейсе?

Означает что был у меня список int'ов, а какой-то гад туда окошко положил. И то и другое потомок ListItem'a, но при доставании у меня ВНЕЗАПНО случится не то что я хочу.

Это собственно ровно то, из за чего в java были введены (с версии 1.5) дженерики. Они делают контейнеры типобезопасными (на производительность в жабе это в общем то не влияет).

[DIzer]

Что означает не то? -не потомок пустой записи? а как он туда попадет - где дырка в интерфейсе?

Означает что был у меня список int'ов, а какой-то гад туда окошко положил. И то и другое потомок ListItem'a, но при доставании у меня ВНЕЗАПНО случится не то что я хочу.

Это собственно ровно то, из за чего в java были введены (с версии 1.5) дженерики. Они делают контейнеры типобезопасными (на производительность в жабе это в общем то не влияет).

Алексей.... я считаю , что это не проблема ДАННОЙ реализации контейнера- обобщенка работающая чисто на наследовании имеет такой изьян, хотя можно пропихнуть кастомную CheckType(oblPtr:PEmptyPtr):BOOLEAN  и потребовать ее реализацию при создании экземпляра коллекции  - чтобы вылетело при попытке запихнуть что-то не то.... но это из другой оперы...