W dniu piątek, 4 stycznia 2019 08:15:55 UTC+1 użytkownik Maciej Sobczak napisał:

> > Co w takim razie wnoszą referencje w C++? (oprócz niepotrzebnej komplikacji)
>
> Uwaga: dopiero co usiłowałeś udowodnić, że operator przypisania jest niepotrzebny.

Tak?
W którym miejscu próbowałem "udowodnić coś takiego"?

Ogólnie wydaje mi się, że gdybyś odnosił się do rzeczy,
które napisałem, zamiast do tych, które wydaje Ci się,
że napisałem, obaj byśmy na tym skorzystali.

> Uwaga na dwie różne rzeczy. Referencje same w sobie to aliasy i służą właśnie do
tego, żeby upraszczać zapis (o tym pisał AK) a nie żeby cokolwiek komplikować.

A jednak coś komplikują.

> Drugie zastosowanie referencji to przekazywanie argumentów bez konieczności ich
kopiowania. Służą wydajności i są czytelniejsze, niż wskaźniki a pozwalają nie
kombinować z dodatkowymi "trybami" czy innymi "modami" parametrów podprogramów.

Kwestia tego, czy występuje "konieczność kopiowania" argumentów, ma
sens tylko w kontekście, w którym dokonujemy modyfikacji argumentów.

> > Co takiego staje się możliwe dzięki nim, co nie było możliwe bez nich?
>
> Pisanie bardziej czytelnego kodu. Widać to bardzo dobrze gdy porówna się API
bibliotek mających osobne wersje dla C i C++.

Dzięki. Lubię konkrety, a w szczególności obiektywne sformułowania
w rodzaju "bardziej czytelny kod".

> > > W tym wypadku wartością dodaną jest możliwość korzystania z jakieś ograniczonej
formy lambdy, bez konieczności posiadania garbage collectora.
> >
> > Pierwszy kompilator języka Scheme, ORBIT, dawał ograniczoną
> > formę lambdy i nie potrzebował garbage collectora.
>
> W jaki sposób realizował upward-closure?

Używając garbage collectora napisanego w Schemie bez upward-closure.

> > > Inaczej - istnieje pewna klasa projektów, w których nikt[*] nie ma lepszej
oferty.
> >
> > Jeśli pominiemy takie języki jak np. Rust.
>
> Ciekawe:
>
> https://doc.rust-lang.org/1.1.0/book/closures.html
>
> "So if we returned this closure, the function call would be over, the stack frame
would go away, and our closure is capturing an environment of garbage memory!"
>
> Jest podane rozwiązanie tego problemu, ale nie wiem, czy ten mechanizm jest
stosowalny tak samo wygodnie dla różnych przypadków, które można sobie wyobrazić. W
C++ po prostu dano użytkownikom narzędzie i obowiązek do samodzielnego rozstrzygania
takich problemów. W tym przypadku problem nie jest trudny do rozstrzygnięcia i nie
wiem, czy chcę mieć aż tak dużą dodatkową komplikację na poziomie języka, żeby ten
problem rozwiązać.
> Tzn. potrafię nie mieć problemu z wiszącymi referencjami w C++ przy składni
prostszej, niż oferuje Rust, więc w tym konkretnym przypadku Rust jest dla mnie
niepotrzebnym kosztem.
>
> Rust jest ciekawym pomysłem (ogólnie w aspekcie zarządzania czasem życia obiektów),
ale potrzeba jeszcze czasu, żeby ocenić jego przydatność w praktyce.
> Pod pojęciem praktyki rozumiem np. system, dla którego istnieje kompilator C++ a
dla którego nie istnieje kompilator Rust. Praktyka to również dostępne narzędzia
pomocnicze w rodzaju analizatorów statycznych. Być może Rust zyska sympatię
użytkowników i stanie się popularny, nie potrafię tego jeszcze rozstrzygnąć.
>
> > Standard GNU C
>
> To tak jakbyś napisał "Standard Visual C".

Być może. Takie użycie sugeruje sam komplikator, do którego podaje się
flagę -std=gnu99 (zamiast np. -std=c99).