Использование C++ std::move для возврата параметра функции rvalue? ⇐ C++

[Anonymous]

Правила NRVO/RVO разрешают/требуют исключения копирования, если (безусловное) возвращаемое значение создается вызываемой функцией - оно должно быть создано в местоположении возвращаемого значения кадра стека вызывающей стороны (хотя примитивные типы могут возвращаться в регистре).
В противном случае возвращаемые значения rvalue (временные) будут перемещены (если возможно), и даже локальные lvalue (именованные) также будут перемещены (xvalues на сайте возврата).
Параметры функции, передаваемые по значению, создаются вызывающей стороной, а не кандидатами на RVO, и будут перемещены, как и локальные lvalue.
Измените для пояснения:
Параметры функции, перемещенные из вызывающей стороны (а также параметры функции, передаваемые по ссылке), кажутся неприемлемыми для возврата неявного перемещения.
Параметры ссылочной функции (как rvalue, так и lvalue), похоже, неподходящие для неявного перемещения вернуться. Они являются lvalue в теле функции, а не временными объектами/копиями, созданными вызывающей стороной и не созданными вызываемой функцией.
Поскольку NRVO/RVO невозможен, есть ли какой-либо недостаток явного перемещения возвращаемого значения, которое само по себе является перемещенным параметром функции? Он не может заблокировать еще лучшую оптимизацию RVO, как я понимаю. Являются ли какие-либо утверждения выше неверными?
Изменить для пояснения:
[тесты с использованием gnu C++17 поддерживают теорию, согласно которой неявное перемещение при возврате параметров, перемещенных в функцию, не выполняется - но не доказывают это мне].
[тесты с использованием gnu C++17 поддерживают теорию, которая неявно перемещает при возврате ссылочные параметры функции (lvalue, как и ожидалось, но также и rvalue, неожиданно) не выполняется - но не доказывайте мне этого].
пример:

Код: Выделить всё

T foo(T&& t) { return std::move(t); }

Изменить: более полный пример:

Код: Выделить всё

#include 

struct S {
S(int i) : a(i),g(0),dcp(new int{1}),lcp(new int{1}) {
std::cout 

Подробнее здесь: [url]https://stackoverflow.com/questions/79870903/c-use-of-stdmove-for-return-of-rvalue-function-parameter[/url]