Czy kompilator C++ może wykonać RVO dla wartości zwracanej przez const?

Question

Powiedzmy mam funkcję

#include <string> 

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

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

Czy kompilator wykonać (nazwa) return wartość optymalizacja dla t, choć typy s i t są zarówno różne od typu zwracanej foo powodu const Różnica w różnicy?

(Jeśli odpowiedź jest inna dla C++ 03 i C++ 11 to jestem zdecydowanie zainteresowany poznaniem C++ 03 odpowiedzi).

Answer 1

Nie ma sposobu na optymalizację RVO złamać obietnica const, więc nie ma problemu: można wykonać RVO.

---

Jednak ruch semantyka wpływa const. Skutecznie wyłącza semantykę przenoszenia, czyli wywołania konstruktora T(T&&) lub operatora przypisania przeniesienia. Więc na ogół nie używaj const dla zwracanej wartości.

Scott Meyers pierwotnie polecił const dla zwracanych wartości, dla bardziej rozsądnego kodowania.

Następnie Andrei Alexandrescu, w swoim artykule Mojo dla DDJ, zauważył, że odtąd, z ruchem semantyki, const na wartościach zwrotu powinno być lepiej zbanowane, a wcześniejsza rada Scotta zignorowana.

---

Teraz nigdy nie zadałem sobie trudu, aby nauczyć się różnych specjalistycznych akronimów RVO, takich jak NRVO i tak dalej. Głównym powodem jest to, że zmieniono znaczenie w znaczeniu, początkowo mającym jedno znaczenie z pewną niestandardową funkcjonalnością w kompilatorze g ++. Terminologia tutaj jest po prostu bałaganem.

Tak więc, jeśli moja terminologia jest zła i naprawdę powinienem użyć innego akronimu, prosimy o poprawienie! :-)