W dniu czwartek, 3 stycznia 2019 10:14:01 UTC+1 użytkownik Maciej Sobczak napisał:
> > Rozbawiła mnie też mikro-sekcja zatytułowana "uwaga na martwe referencje".
> > Wygląda na to, że starym C++owym zwyczajem wyrażenia lambda są po prostu kolejnym
mechanizmem do strzelania sobie w stopę.
>
> I co w tym zabawnego?

Może to kwestia perspektywy.
Dla programistów C++ pewnie nic.

> C++ tradycyjnie oferuje dżentelmeński układ, w którym daje programiście jakąś
wartość dodaną w zamian za udział programisty w upewnieniu się co do poprawności
różnych konstrukcji.

Co w takim razie wnoszą referencje w C++? (oprócz niepotrzebnej komplikacji)
Co takiego staje się możliwe dzięki nim, co nie było możliwe bez nich?

> W tym wypadku wartością dodaną jest możliwość korzystania z jakieś ograniczonej
formy lambdy, bez konieczności posiadania garbage collectora. Dzięki temu można tego
użyć w tych projektach, gdzie garbage collectora nie może być z innych powodów i to
jest unikalna oferta, której inne języki nie mają.

Pierwszy kompilator języka Scheme, ORBIT, dawał ograniczoną
formę lambdy i nie potrzebował garbage collectora.
Więcej, autorzy tej implementacji napisali garbage collector
właśnie w tym ograniczonym podzbiorze.

> Inaczej - istnieje pewna klasa projektów, w których nikt[*] nie ma lepszej oferty.

Jeśli pominiemy takie języki jak np. Rust.

> Kompletnie nie rozumiem, dlaczego tak bardzo starasz się krytykować C++ nie
oferując w jego zastępstwie niczego lepszego.

Przecież na każdym kroku wskazuję na lepsze rzeczy.
W szczególności do nauki programowania wymieniłem kilka
rzeczy, które są o rzędy wielkości lepsze od tego, co
ma do zaoferowania C++.

> [*] Najbliżej do tego jest Ada, która ma funkcje lokalne (ale jednak nie anonimowe
lamdy), ale tylko downward-closure, z upward-closure się nie dało zachowując ogólną
kulturę języka jaką jest brak niejawnych zachowań niezdefiniowanych.

Standard GNU C znosi niepotrzebne ograniczenia języka C.
Pozwala definiować funkcje wewnątrz funkcji (nested functions)
i posiada rozszerzenie "statement expressions", o którym kiedyś
wspominałem. Przy pomocy tych dwóch mechanizmów można sobie robić
anonimowe lambdy przy pomocy makr preprocesora.

https://stackoverflow.com/questions/10405436/anonymo
us-functions-using-gcc-statement-expressions