C++ R-Value references

18.12.2023 19:57 | Přečteno: 888× | Hardware | poslední úprava: 18.12.2023 19:57

Na niektoré novinky C++ sa zvyká ľahko, napríklad std::function, std::span, std::string_view, concepts, pretiahnuté (Slováci, nesmejte sa) pipe operátory, coroutines atď., ale sú veci, pre ktoré nachádzam v praxi využitie len ťažko. Napr. std::move alebo r-value referencie. Vždy, keď ma napadne použiť napr. std::move, tak to vlastne ani nemá moc veľký zmysel. Pri návratových hodnotách to optimalizuje kompilátor používajúci RVO a keď tam použijem move sémantiku, tak by som správnej optimalizácii mohol skôr zabrániť zabrániť.

Ako si viem predstaviť, kde sa to preúvanie asi oplatí používať, napríklad pri práci s veľkými kontainermi, polami, teda najmä s grafikou, alebo možno pri sortovacích a vyhľadávacích algoritmoch. Párkrát som to aj použil, ale väčšinou to bola zbytočná optimalizácia, ktorá ušetrila možno jednu milisekundu. Neviete mi ukázať nejaké konkrétne prípady z reálneho sveta? Keď už mám ten C++ k dispozícii a iné jazyky túto vlastnosť nemajú (pozn: tak možno ešte Carbon a Rust??? ale o tom nemám info). Tak nech túto vychytávku využijem aspoň v jazyku, kde je to podporované.

       

Komentáře

[Hawkix]

1000x milisekunda je sekunda.

[nadtržítko]

Ja zas vim ze nejerotictejsi velicina ve fyzice je "na.nose.kunda:

[fAleš]

A víte jak se ve východním hantecu řekne nanosekunda? Kapíča!

[Want]

Aby tě nesežrala závist kapoune.

[Erbureth]

Důležité využití je, že se tím dá spravovat ownership paměti - např. std::unique_ptr se bez move sémantiky nedal implementovat.

[kralyk z abclinuxu]

Neviete mi ukázať nejaké konkrétne prípady z reálneho sveta?

Kromě výkonu a zmíněného unique_ptr je move občas užitečný na přesunutí různých RAII guards z jednoho místa na jiné, např. zamčené zámky, otvřené soubory apod.

pozn: tak možno ešte Carbon a Rust??? ale o tom nemám info

Rust nemá r-value reference, protože je nepotřebuje, move sémantiku podporuje přímo kompilátor, což je lepší v tom, že kompilátor zajistí, že přesunutou hodnotu nemůžeš na původním místě znova použít.

V Rustu je move default, v C++ je default kopie. Tj. kód foo.bar(baz); v Rustu bude move, v C++ kopie hodnoty baz. V C++ je potřeba explicitně provést move pomocí std::move(baz), v Rustu je potřeba explicitně udělat kopii pomocí baz.clone().

V Rustu je také možné přesouvat jakékoli typy, ne pouze ty, které to podporují díky správným konstruktorům. Druhá strana téhle mince je, že když je potřeba move zabránit, dělá se to trochu nešikovně přes Pin wrapper a projekce.