🚀 go-pugleaf

Dnia Fri, 16 Mar 2007 16:39:31 +0000, Sektor van Skijlen napisał(a):

> Typ wartościowy jest typem, którego obiekt jest identyfikowany
> zawsze przez wartość. Więc jeśli portfel z tą samą ilością
> pieniędzy nie jest tym samym portfelem, to portfel nie jest
> typem wartościowym.

Hmm... ale chyba jest dobrym przykładem, że czasami chcemy go
potraktować jako typ wartościowy, a czasami jako niewartościowy:

  if (portfel1==portfel2)  //Czy mają tyle samo pieniędzy?
  if (portfel1 IS portfel2)  //Czy to ten sam portfel, czy inny?

> Nic nie zależy od żadnego kontekstu.
>
> Saldo jest stanem (cząstkowym) konta. Saldo jest wartością.
> Konto jest obiektem.

No cóż, ale C++ już taki dziwny jest, że nie ma "gołych" wartości
[a przynajmniej nic mi o tym nie wiadomo], tylko wszystko jest
trzymane w jakichś obiektach ;) W przypadku tego konta to akurat
da się sprawy rozdzielić:

   if (konto1.saldo==konto2.saldo) //porównanie wartości
   if (konto1==konto2) //porównanie tożsamości

chyba że ktoś dla wygody przeładuje sobie operator== żeby
działał jako porównanie składników saldo ;)
Ale już np. dla typu int z twojego przykładu:

>   int x = 2;
>   int y = 2;
>
> Powiedz mi teraz, czy "x jest y".

sprawa nie jest taka prosta ;)  bo tutaj porównując x i y
w taki sposób:

   if (x==y) ...

porównujesz wartości. Jeśli chodzi ci o tożsamość, to już
trzeba by zapisać to np. tak:

   if (&x == &y) ...

i wtedy już wiadomo, czy "x jest y" ;)

Nie wiem tylko, czy dobrze rozumiem to, co próbujesz
wytłumaczyć, bo już się pogubiłem w tej całej dyskusji... :/

-- 
SasQ