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

[Anonymous]

Правила NRVO/RVO разрешают/требуют исключения копирования, если (безусловное) возвращаемое значение создается вызываемой функцией - оно должно быть создано в местоположении возвращаемого значения кадра стека вызывающей стороны (хотя примитивные типы могут возвращаться в регистре).
В противном случае возвращаемые значения rvalue (временные) будут перемещены (если возможно), и даже локальные lvalue (именованные) также будут перемещены (xvalues на сайте возврата).
Параметры функции, передаваемые по значению, создаются вызывающей стороной, а не кандидатами на RVO, и будут перемещены, как и локальные значения lvalue.
Параметры ссылочной функции (как rvalue, так и lvalue), похоже, не подходят для неявного возврата перемещения. Они являются lvalue в теле функции, а не временными объектами/копиями, созданными вызывающей стороной и не созданными вызываемой функцией.
Поскольку NRVO/RVO невозможен, есть ли какой-либо недостаток явного перемещения возвращаемого значения, которое само по себе является перемещенным параметром функции? Он не может заблокировать еще лучшую оптимизацию RVO, как я понимаю. Являются ли какие-либо утверждения выше неверными?
[тесты с использованием 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]