Kann ein Compiler automatisch ein Funktionsargument verschieben, wenn der Funktionsaufruf die Return-Anweisung ist?

Question

In der folgenden Situation kann ein Compiler das Funktionsargument v automatisch verschieben oder muss es manuell deklariert werden?

std::vector Filter(std::vector v); 

void DoSomeStuffAndCallFilter(std::vector v) 
{ 
    // do some stuff to v 

    // can the compiler automatically std::move v in this call? 
    // ie. return Filter(std::move(v)); 
    // 
    return Filter(v); 
} 

Answer 1

In Ihrem Fall kann der Compiler tun so als erlaubt Optimierung unter der As-if-Regel, weil es die destructor und Copy-Konstruktor Ihrer std::vector genau kennt, und kann somit beweisen, gibt es keinen Unterschied zu das beobachtbare Verhalten.

Dennoch ist es eine "Qualität der Implementierung Problem" und hängt von starken Optimierungen ab.