🚀 go-pugleaf

Dnia Sun, 04 Mar 2007 17:46:12 +0100, Marcin 'Qrczak' Kowalczyk skrobie:
> Dnia 04-03-2007, nie o godzinie 14:50 +0000, Sektor van Skijlen
> napisa³(a):

> > > if obj is anotherObj : # sprawdza czy to te same obiekty
> > > if obj == anotherObj : # sprawdza czy zawarto¶æ obiektów jest równa.
> >
> > > Czy o to Ci chodzi?
> >
> > W³a¶nie NIE o to mi chodzi. Chodzi o to, ¿e ma byæ dostêpny TYLKO operator ==,
> > natomiast od definicji typu zale¿y czy porównuje on to¿samo¶æ, czy warto¶æ.

> To siê sprawdza, ale tylko w jêzykach, w których podstawowe warto¶ci s±
> realizowane przez obiekty immutable. Je¶li tak nie jest, czyli kiedy
> typ, który powinien byæ typem warto¶ciowym, jest realizowany jako obiekt
> ze stanem, czyli kiedy ten obiekt ze stanem tak naprawdê modeluje
> zmienn± tego typu, a nie warto¶æ tego typu, to mamy konflikt: równo¶æ
> zmiennych powinna porównywaæ zmienne jako takie, ale czê¶ciej chcemy
> porównywaæ bie¿±ce warto¶ci tych zmiennych i to zazwyczaj robi operator
> ==. Czyli po pierwsze dzia³a niezgodnie z ogólnymi wytycznymi, a po
> drugie porównanie zmiennych w razie czego te¿ powinno byæ dostêpne.

Ha! W razie czego!

No w³a¶nie o to chodzi, ¿e nie. Je¶li okre¶lamy dany typ jako warto¶ciowy, to
to¿samo¶æ przechowuj±cego j± obiektu nie powinna nas interesowaæ w ogóle.

Je¶li jest to potrzebne do jakich¶ wewnêtrznych operacji, to powinno byæ
dostêpne w inny sposób, jakim¶ specjalnym interfejsem, dostêpnym tylko
wewn±trz implementacji. U¿ytkownik powinien dostaæ do tego standardowe API, z
operatorem porównania porównuj±cym warto¶ci.

Zauwa¿, po co w C++ stosuje siê wska¼niki i referencje do takich typów jak
int, czy std::string. Je¶li ju¿, to stosuje siê albo uogólnienie przekazywania
(const T&), albo przekazuje siê do zmodyfikowania (T&, T*). Czy widzia³e¶
kiedykolwiek w jakim¶ rzeczywistym programie, ¿eby kto¶ porównywa³ dwa
wska¼niki do int (pomijaj±c przypadek, gdy wska¼nik do int jest u¿ywany jako
iterator do tablicy int-ów - czyli zastosowanie jest inne, ni¿ warto¶æ
referencji)?

Dlatego to¿samo¶ci± dla obiektów warto¶ciowych jest warto¶æ. Obiekty mog±
sobie t± warto¶æ przekazywaæ jak chc±, a nawet - jak pamiêtasz, dyskutowali¶my
o tym - warto¶ci mog± byæ symulowane przez predefiniowane unikalne obiekty i w
takim przypadku porównanie to¿samo¶ci takich obiektów jest równowa¿ne
porównaniu warto¶ci, choæ to ju¿ jest szczegó³ implementacyjny.


--
//  _    ___         Michal "Sektor" Malecki <sektor(whirl)kis.p.lodz.pl>
\\ L_ |/ `|  /^\ ,()                         <ethouris(O)gmail.com>
// \_ |\  \/ \_/ /\ C++ bez cholesterolu: http://www.intercon.pl/~sektor/cbx
"Java is answer for a question that has never been stated"