Выполняет ли компилятор оптимизацию возвращаемого значения в случае возвращаемой переменной-члена?

Question

Учитывая следующий код

class foo 
{ 
    private: 
     boost::shared_ptr <std::deque<foo> > m_ptr; 
    public: 
     foo(); 
     boost::shared_ptr <std::deque<foo> > get_my_ptr() 
     { 
      return m_ptr; 
     } 
}; 

И когда мы называем get_my_ptr() функцию как этот

boost::shared_ptr <std::deque<foo> > ptr = get_my_ptr() 

ли компилятор копия вызов конструктора для создания объекта PTR или он может выполнять nrvo? А в чем разница, мы будем называть его, как этот

const boost::shared_ptr <std::deque<foo> >& ptr = get_my_ptr() 

Answer 1

С помощью NRVO компилятор допускает опускание копирования и перемещения, если выражение оператора return является именем локального, энергонезависимого объекта с автоматическим временем хранения, который не является параметром функции. Этот локальный объект создается непосредственно в хранилище, где в противном случае будет скопировано возвращаемое значение функции. Эти условия не выполняются для переменных-членов. Я это возможно только, если вы создали локальную копию элемента:

boost::shared_ptr<std::deque<foo>> get_my_ptr() 
{ 
    auto p = m_ptr; 
    return p; 
} 

В вашем примере копии т е р будет называться, что позволит увеличить счетчик ссылок разделяемого указателя. То же самое произойдет, если вы привяжете возвращаемый объект к ссылке const.

Answer 2

компиляции не должен выполнять РВО, когда переменная член возвращается. Если это произойдет, объект останется с недопустимым членом.