On 3 Paź, 22:26, Michal Kleczek <k...@g...com> wrote:
[...]
>
> Bylem jednym z krytykow dziedziczenia liniowego. Na temat "posredniej
> denotacji klas" nie wypowiem sie, bo ni diabla nic z tego nie rozumiem.
>
> --
> Michal

Ups. Źle musiałem wyjaśnić. Powiem tak - C++ każe mi dla każdej klasy
utworzyć i używać (np. przy tworzeniu instancji) odrębnej nazwy. A ja
się buntuję. Mówię - nazwę utworzę, proszę bardzo. Ale używał będę -
tylko do tych kilku klas - nazw "pośrednich", składających się z par
dwóch wartości. Te nazwy pośrednie będą opisowe, (w tym wypadku będą
mówiły jaki byt klasa opisuje i jak to robi). Mógłbym oczywiście
wiedzę o tym, co klasa robi umieścić w identyfikatorze, jak każą dobre
obyczaje (w końcu kto nazywa klasę X12345). Ale to mi nie wystarcza.
Identyfikator jest "niszczony" na poziomie analizy leksykalnej, dla
kompilatora nie ma znaczenia. Chcę, żeby wiedza o tym, co klasa robi,
była dostępna i dla kompilatora. I jestem gotów płacić cenę bardziej
złożonych nazw. Te moje template'y są w sensie logicznym funkcjami -
przyporządkowują parom wartości całkowitych rzeczywiście istniejące
klasy. Ja zamiast mówić "klasa maze_physical" mówię "ta klasa, która
opisuje labirynt jako zbiór przeszkód". I kiedy utworzę np. nowy byt -
dajmy na to jakąś rodzinę obiektów (powiedzmy "zwierciadeł") w moim
labiryncie, zechcę użyć nazwy pośredniej
CHRZASZCZ::representation<UNIT::MIRROR>, wówczas stanie się "cud":
kompilator powie: błąd, nie ma "klasy, KTÓRA opisuje zwierciadło w
sensie logicznym", "klasy, KTÓRA opisuje zwierciadło jako przeszkodę",
itd. Zacznie używać moich pośrednich nazw, zupełnie tak, jakby
rozumiał, co one znaczą. Może to nie jest wiele, ale bardzo wierzę w
sens dawania kompilatorowi (czy też w ogóle, komputerowi) jak
największej ilości wiedzy. Rezerwowanie jej do zrozumiałej tylko dla
człowieka systematyki identyfikatorów jest złe.

Bardzo się starałem wytłumaczyć. Mogę tylko zapewnić, że nie próbuję
narobić szumu z jakichś względów - prestiżowych, czy innych. Naprawdę
wierzę w to podejście.

Paweł Biernacki