Правила NRVO/RVO разрешают/требуют исключения копирования, если (безусловное) возвращаемое значение создается вызываемой функцией - оно должно быть создано в местоположении возвращаемого значения кадра стека вызывающей стороны (хотя примитивные типы могут быть возвращены в регистре).
В противном случае возвращаемые значения rvalue (временные) будут перемещены (если возможно), и даже локальные lvalue (именованные) также будут перемещены.
Параметры функции, передаваемые через value создаются вызывающей стороной, а не кандидатами на RVO, и будут перемещены, как и локальные lvalue.
Параметры функции, перемещенные из вызывающей стороны (а также параметры функции, передаваемые по ссылке), кажутся непригодными для неявного возврата перемещения.
Поскольку NRVO/RVO невозможно, есть ли какой-либо недостаток явного перемещения возвращаемого значения, которое само по себе является перемещенным параметром функции? Он не может заблокировать еще лучшую оптимизацию RVO, как я понимаю. Являются ли какие-либо утверждения выше неверными?
[тесты с использованием gnu c++17 подтверждают теорию, согласно которой неявное перемещение при возврате параметров, перемещенных в функцию, не выполняется - но не доказывают это мне].
пример:
T foo(T&& t) { return std::move(t); }
Подробнее здесь: https://stackoverflow.com/questions/798 ... -parameter
