🚀 go-pugleaf

Dnia 10-04-2007, wto o godzinie 11:46 -0500, A.L. napisał(a):

> Czy moglby Pan przedstawic ZASADNICE roznice miedzy "parametryzowaniem
> typu kolekcji" przy pomocy templates i M4, to znaczy przedstawic
> zasadnicze rozneice meidzy funkcjonalnosia templates i M4 w tym
> kontekscie i TYLKO tym?

Szablon może wydedukować typ na podstawie wyrażenia zależnego od tego
typu, a następnie użyć kodu parametryzowanego tym typem. Zewnętrzny
generator makr musi mieć ten typ podany jawnie. Na przykład można
wydedukować typ elementów kolekcji z wyrażenia opisującego iterator
po tej kolekcji, żeby potem użyć odpowiedniego dla tego typu operatora
przypisania.

Konkretyzacje szablonów są zbierane ze wszystkich jednostek kompilacji.
Jeśli dana konkretyzacja pojawi się kilka razy, to jej wystąpienia są
scalane przez linker. Przy generowaniu konkretyzacji ręcznie programista
musi zapewnić, że każda użyta konkretyzacja pojawi się raz i tylko raz,
co jest trudne do pogodzenia z modularnością.

Szablon pozwala wybrać implementację operacji w zależności od cech typu,
jakim ta operacja jest parametryzowana (te cechy są zapisane w tzw.
traits, które są specjalizowane poszczególnymi typami albo schematami
typów).

> Bylbym rozneiz wdzieczny za rozwineicie tematu w kwestii "Java 1.4",
> to znaczy rozwineicie mysli "to co sie stosowalo w javei 1.4" i
> konkretnie co sie w owej wersji javy stosowalo?

Dany obiekt kolekcji w Javie 1.4 (poza tablicami) ma typ niezależny od
typu elementów, nawet jeśli zawiera tylko elementy konkretnego typu.
Obiekt odczytany z kolekcji ma z reguły statyczny typ Object, który
dopiero należy zrzutować na właściwy typ elementów danej kolekcji,
żeby wykonać na nim operację zależną od tego typu.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/