21
Czy ktoś wie o bibliotece struktur danych C++, zapewniającej funkcjonalne (niezmienne lub "trwałe" w sensie FP) funkcjonalne odpowiedniki znanych struktur STL?Struktury danych funkcjonalnych w C++
Przez "funkcjonalny" mam na myśli to, że same obiekty są niezmienne, podczas gdy modyfikacje tych obiektów zwracają nowe obiekty dzielące te same obiekty wewnętrzne, co obiekt nadrzędny tam, gdzie jest to właściwe.
Idealnie, taka biblioteka byłaby podobna do STL i działałaby dobrze z Boost.Phoenix (uwaga - w rzeczywistości nie używałem Phoenixa, ale o ile wiem, zapewnia on wiele algorytmów, ale bez struktur danych, chyba że Leniwie obliczona zmiana do istniejącej struktury danych się liczy - prawda?)
Czy nie można uzyskać w przybliżeniu wymaganego efektu, przekazując i zwracając wszystkie obiekty według wartości? –
Tylko jeśli mógłbym znieść wydajność i obciążenie pamięci. Sztuczka z funkcjonalnymi strukturami danych polega na tym, że udostępniają one elementy wewnętrzne, gdy tylko jest to możliwe. Jest to bezpieczne, ponieważ obiekty są niezmienne i jest o wiele mniej potrzebnych pamięci i procesorów, niż zwracanie wartości na dużych strukturach danych. – drg
Naprawdę zainteresowałem się tym samym pytaniem, współtworząc raport z doświadczeń pod adresem http://portal.acm.org/citation.cfm?id=1596591. W tamtym czasie doszedłem do wniosku, że naprawdę potrzebujesz zbierania śmieci: zaletą trwałej struktury jest dzielenie się, ale w obecności dzielenia się nie ma już wyraźnej własności żadnego węzła, więc jakiś centralny autorytet (GC) musi zdecydować, które węzły mogą zostać odzyskane. To, lub nie ma znaczenia dla twojej aplikacji, że węzły są przydzielane tylko i nigdy nie są zwalniane. –