🚀 go-pugleaf

Użytkownik "ethouris" <ethouris@gmail.com> napisał:

>> Czy Pan uwaza ze mozna postawic znak rownosci pomiedzy
>> "trzepiacymi konkretyzacjami" czy trzeba czy nie szablonami z C++
>> a rozwiazaniami szablonow w Javie czy C#  ktore.. tak naprawde
>> w ogole szablonami nie sa  (choc moze mylic skladnia podobna do C++) ,
>> ale  parametryzowalnymi obiektowymi kontenerami ?.

> Szablonami są jak najbardziej.

> Przecież z punktu widzenia programisty piszącego kod istotne jest
> tylko to, co jest w źródłach programu i co jak działa. Fakt, że
> wszystkie parametry szablonu są wewnętrznie magicznie przerabiane na
> Object to nieistotny szczegół.

Sektor czy Ty czujesz ze dzieki takiemu podejsciu
wystarcza w Javie _jedna_  (jak to w C++ sie nazywa)
"specjalizacja" szablonu obslugujaca wszystkie typu
wywodzace sie od klasy bazowej ?
Czy ty czujesz juz ze taki "szablon" mozna spokojnie
skompilowac, umiescic w bytecode a bedzie dobrze
dzialal wlasnie dzieki podejsciu obiektowemu
a nie "pieczatkowemu" jeno ?.
No to mi powiedz dlaczego slawetne export w C++ (ktore
ma niby robic to samo) tak sie nie podaje implementacji
przez tyle lat ?

Czy ty rozumiesz juz, ze to co jest w Javie
to jest typowy przyklad generyka
polimorficznego parametryzowanego typem ?
(sorry za nowomowe ale jakos tak mi sie
 powiedzialo wyjatkowo), i dzieki temu podlega kontroli
typow w taki sposob jak i kazda inna rzecz,
a to co jest w C++ to plaskie "trzaskanie
specjalizacji"  bez opameitanei i dopiero
linker sobie z tym radzi (bo zrobiono kolejny
wyjatek dla linkera ze gdy napotka natrzaskane
takie same specjalizacje w roznych modulach to
w przeciwienstwie do inych externali gdzie daje
duplicate error tu ma wybrac jedna.

>> Czy tu _gdziekolwiek_ nastepuje dedukcja typu parametru
>> przez szablon ? Szablon jest glupi jak but.

> Owszem. Następuje w operatorze ++, używanym wewnątrz find_if, który
> wybiera odpowiednią specjalizacje opartą o typ obiektu podanego jako
> ls.begin() i ls.end().

Sektorku kochany , racz zauwazyc ze operator ++ w ogole nie
dziala na typie ale na _iteratorze_ i duze g.. wie jaki jest typ obiektu
kontenera. On zna tylko typ iteratora (podanego mu explicite przez
kompilator) i wie ze na tymze ma wykonac metode operator ++
Potem, wie tylko ze ma wykonac metode operator *
a potem funkcje operatorowa operator ==
Tyle.
W calej find_if (czy innych tego rodzaju rozwizazaniach)
typ _samego obiektu_ nie jest nigdzie potrzebny.

Stad te Wasze bajki o "dedukcji typu" przez yntelygentny
szablon to wlasnie miedzy... bajki wlozyc.

AK