Un compilatore C++ può eseguire RVO per un valore di ritorno const?

Question

Diciamo che ho la funzione

#include <string> 

std::string const foo() 
{ 
    std::string s = "bar"; 
    return s; 
} 

int main() 
{ 
    std::string t = foo(); 
} 

Can un compilatore svolgere (nome) return-valore di ottimizzazione per t, anche se i tipi di s e t sono sia diverso dal tipo di ritorno di foo a causa della const -ness differenza?

(Se la risposta è diversa per C++ 03 e C++ 11 allora io sono sicuramente interessati a conoscere la risposta C++ 03).

Answer 1

Non v'è alcun modo per l'ottimizzazione RVO per rompere il promessa di un const, quindi non c'è alcun problema: RVO può essere eseguito.

---

Tuttavia, semantica move è influenzata dal const. Disattiva efficacemente la semantica del movimento, ovvero le chiamate di un costruttore T(T&&) o dell'operatore di spostamento. Quindi, in generale, non utilizzare const su un valore restituito.

Scott Meyers originariamente raccomandava const sui valori restituiti, per una codifica più sensata.

Quindi Andrei Alexandrescu, nel suo articolo su Mojo per DDJ, ha osservato che d'ora innanzi, con la semantica di spostamento, const sui valori di ritorno dovrebbe essere meglio vietato e il precedente consiglio di Scott è stato ignorato.

---

Ora non mi sono mai preso la briga di imparare i vari acronimi RVO specializzati, come NRVO e così via. E una ragione principale è che questi hanno cambiato significato a a metà, originariamente con un significato con alcune funzionalità personalizzate nel compilatore g ++. La terminologia qui è solo un casino.

Quindi, se la mia terminologia è errata e dovrei davvero aver usato qualche altro acronimo, quindi non esitate a correggere! :-)