On 02/02/2011 02:45 PM, Maciej Sobczak wrote:
> On Feb 2, 1:00 pm, Jędrzej Dudkiewicz<jedrzej.dudkiew...@nospam-
> gmail.com> wrote:
>
>>>> Robi c rzut wska nika albo overlay - to drugie jest ciekawsze, bo w
>>>> og le nie potrzeba adnego wska nika.
>>
>>> Brzmi dobrze. Jaki przyk ad?
>>
>> Patrzy em tutaj:
>>
>> http://en.wikibooks.org/wiki/Ada_Programming/Types#O
verlays
>>
>> Wygl da na to, e to taka unia unii i struktury i rzutowania wska nika,
>> tylko ma fajniejsz nazw .
>
> Nie chodzi tylko o nazwę. Chodzi o to, że w ten sposób bardziej
> bezpośrednio wyraża się intencje programisty - chcę mieć inny widok na
> ten sam obiekt. Po cholerę mi tu jakieś unie albo wskaźniki? Unie to
> struktury danych
... zapewniające inny widok na ten sam obiekt. Przy
opisie overlay nie ma nic o obiekcie, z tego co rozumiem. W
szczególności możesz ten sam obiekt "przykryć większym widokiem", i nikt
Ci tego nie zabroni. Unia jak w pysk strzelił, nawet nie unia, tylko
rzutowanie adresu na wskaźnik na unię. Ale zgadzam się, że jako
narzędzie wyróżnione znacznie bezpieczniejsze i eleganckie.

> W C++ jest lepiej, bo można zadeklarować referencję i zainicjalizować
> ją przez reinterpret_cast - w sumie o to samo chodzi, ale nadal ciężko
> uznać, że coś jest trywialne. Trywialne jest w Adzie - chcę
> zadeklarować obiekt w miejscu innego obiektu. Proste.
>
> A teraz coś lepszego:
>
> type My_Int is new Integer;
> for My_Int'Alignment use 16;

Ładne.

> Mam nadzieję, że nie trzeba tłumaczyć co to robi. Poproszę o wersję w
> *standardowym* C, który ponoć jest najlepiej predysponowany do
> "programowania systemowego" (cokolwiek to znaczy).

Może ktoś inny, bo ja tej tezy nie broniłem.

JD