🚀 go-pugleaf

On Thu, 21 Jan 1999, Michal Mosiewicz wrote:

> > Jeśli chcemy referencje na referencje / wskaźniki na wskaźniki (a ja chcę
> > - żeby implementacja listy mogła dostać argument "gdzie podłączyć następny
> > element" - inaczej robi się sztuczne ograniczenie), to nie wystarczą
> > osobne operatory na podstawienia i porównania adresów i wartości,
> 
> Tego zdania to już zupełnie nie rozumiem. Przecież żadna implementacja
> listy absolutnie nie wymaga żadnych wskaźników. Na przykład w Javie
> możesz sobie po prostu napisać:

Dysklejmer: Nie znam Javy, mam tylko szczątkowe informacje o niej.

> //Lista jednokierunkowa
> class ObiektListowy {
>    ObiektListowy nastepnik;
>    ....
>    public ObiektListowy nastepny() {
>      return nastepnik;
>    }
>    public ObiektListowy podlacz(ObiektListowy o) {
>      ObiektListowy r = nastepnik;
>      nastepnik = o;
>      return r;
>    }
> }

Z powyższej składni wynika, że nie da się zawrzeć jednego obiektu wewnątrz
drugiego. Można najwyżej umieścić referencję do niego. O ile następnik
mógłby być referencją albo wskaźnikiem, o tyle właściwe dane elementu
listy są w naturalny sposób częścią tego elementu, a nie są tylko do niego
podłączone.

Dla mnie to jest sztuczne ograniczenie, które na dodatek odbija się na
efektywności (dodatkowe pośrednie odwołanie do pamięci, większa zajętość
pamięci (dla wskaźnika oraz techniczne struktury sterty dla dodatkowego
obiektu)).

Z powyższej składni wynika, że operator = tworzy nową referencję, a nie
kopiuje obiektu. Czy tak samo jest dla liczb całkowitych?

* Jeśli tak, to to musi być bardzo nieefektywne. Przy każdej operacji
  typu a=b+c obiekt jest niszczony i tworzony na nowo.

* Jeśli nie, to znaczy, że pewne typy wbudowane pracują na innych prawach
  niż wszystkie typy definiowane przez użytkownika (AFAIK właśnie tak jest
  w Javie). Dla mnie to jest nienormalne z założenia.

W każdym razie wygląda na to, że w Javie nie ma referencji, przynajmniej
dla typów definiowanych przez użytkownika. Są same wskaźniki! Tyle że tego
na oko nie widać, bo każda funkcja oczekuje tych wskaźników i wskazywane
obiekty same się zwalniają.

> Czy może być prostszy kod? Nie rozumiem zupełnie co to znaczy,
> >>argument, "gdzie podłaczyć następny element"<< ale jeśli chodzi Ci o
> to, żeby wskazywać na jakiś element listy, to nie potrzebne są żadne
> referencje na referencje, tylko po prostu referencja do tego elementu
> listy.

Nie wskazywać element, tylko wskazywać miejsce, w które należy wstawić
nowy element.

Załóżmy, że chcę zdefiniować operację przypisz, która działa jak operator
przypisania, tzn.
  a.przypisz (b);
jest dokładnie równoważne
  a = b;
albo drugą wersję, która jest równoważna
  b = a;
W szczególności jeśli dla pierwszej wersji wcześniej było c = a (a dla
drugiej c = b), to teraz wartość c ma się nie zmienić (mam nadzieję, że
dobrze rozumiem znaczenie = w Javie, której nie znam). Jak to zrobić?

-- 
 __("<    Marcin Kowalczyk * qrczak@knm.org.pl http://kki.net.pl/qrczak/
 \__/       GCS/M d- s+:-- a21 C+++>+++$ UL++>++++$ P+++ L++>++++$ E->++
  ^^                W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP->+ t
QRCZAK                  5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-