Vlákno názorů ke článku RVO pro korutiny (C++20) od Baloun - Pokud funguje RVO, tak se na to taky...

Pokud funguje RVO, tak se na to taky dívat tak, že dělá z čehokoliv co vrací daný typ konstruktor. Tím se vlastně všechny varianty funkce emplace stávají nedostatečný. Řešením by bylo doplnit funkce emplace další, kde by se předával tento "konstruktor". Většinou to ale není problém, protože prostě dojde k move.

Emplace je volání konstruktoru. Problém je, že co_return vrací jen jednu hodnotu.

emplace se píše jako

emplace(arg1,ar­g2,arg3...)

zatímco emplace(T(arg1,ar­g2,arg3...)) je automaticky move

stejně tak emplace(funkce()) je automaticky move

Určitým řešením by bylo co_return {arg1,arg2,arg3...} ale nebyl jsem schopen tuhle variantu jakkoliv zprovoznit.

takže zatím zbývá emplace(with_re­turn_of([]{re­turn T(arg1,arg2,ar­g3....);}))

Ano právě že emplace je volání konstruktoru. Mě osobně přijde překvapivý, že with_return_of funguje, protože emplace v tomto případě nevolá konstruktor, ale operátor přetypování ve kterém je konstruktor. Dobrý vědět.

Protože new(addr) T(foo()) není volání konstruktoru, ale volání funkce s RVO, tedy funkce dostane pointer addr a konstrukce proběhne v return.

new (addr) T(x), pokud x je typu, kterým nelze T() zavolat, ale obsahuje operator T(), pak

new (addr) T(x.operator T()) ---> new (addr) T(foo())