Привет всем!

Имеется возможность реализовывать методы конкретно для rvalue и lvalue значений, например,

C++ (Qt)
struct My
{
    void method () && {}
    void method () & {}
};
 

таким образом закладывать для rvalue экземпляров типа My более эффективную реализацию, или даже предусматривать разный api

C++ (Qt)
struct My
{
    void rvalueMethod () && {}
    void lvalueMethod () & {}
};
 

Однако использование поверх типа My любого указателя (или обертки) с доступом к членам через оператор -> не позволяет вызвать rvalue методы.
Например, для указателей std

C++ (Qt)
::std::make_shared< My >()->lvalueMethod(); // OK
::std::make_shared< My >()->rvalueMethod(); // Error
 

На просторах интернета нашел только http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3723.html

Можно ли вообще реализовать вызов rvalue метода посредством оператора -> ?

Достаточно очевидно, что у _шаред_ птра не может быть рвалуе оператора. Надо объяснять почему?

Так вот, что бы такое намутить в своих классах?
Проблема в том, что оператор -> должен возвращать указатель, т.е. конкретный адрес памяти.
А он, как я понимаю, не для всех экземпляров существует (что-то может быть размещено, например, непосредственно в регистрах ЦП).
Собственно нельзя получить указатель на rvalue

C++ (Qt)
int * a = &3; // Error
 

Но и не нужен сам указатель, нужен просто доступ к rvalueMethod() без всяких cast и move.

Собственно, и делаю такую библиотечку, куда входит набор враперов.
Хотел добиться абсолютной прозрачности API для  враперов, но похоже есть пока непреодолимые языковые ограничения.
В принципе, не очень критично, так как случай крайне редкий. Тем не менее - это является ограничением возможности их использования.

Вообще с стандарте C++  целый раздел есть по rvalue и вот неплохой материал для изучения
https://habr.com/post/322132/

Методы без уточнения &/&& одинаковы и для lvalue и rvalue значений.
К rvalue значениям относятся в том числе временные объекты, время жизни которых ограничено вызовами методов.
Факт того, что время жизни временного объекта скоротечно), может быть использован для реализации более эффективного кода (без лишних копирований, аллокаций и т.п.).
Предусмотрена возможность явного преобразования lvalue ссылки к rvalue с помощью ::std::move. В этом случае контроль времени жизни ложится на хрупкие плечи программиста).

Ой Может не стоит так-то, "через край" (все хорошо в меру, и изучение тонкостей языка тоже). А освободившееся время посвятить предметной части, не раз замечал что это гораздо эффективнее.

Преувеличение. Просто не хватает терпения, аккуратности. Сначала бузует все по значению ( QString ), а потом начинает "мувать". Как известно, чисто не там где убирают...

Статью "ни асилил" 
Ни фига не понял, что "физически" произошло? Кто (или где) сохранил строку "Hello"? Поясните. Спасибо

Все что объявляется явно в виде переменной является lvalue значением указанного типа, у которого имеется конкретный адрес.
Сам тип значения может быть T (value), T& (lvalue) или T&& (rvalue). Ссылки тоже являются полноценными типами.
Для инициализации ссылочных типов с помощью временных объектов, стандартом оговорен механизм "продления жизни" возвращаемых значений.
Каким образом технически работает механизм "продления жизни" скрыто в недрах компилятора (может быть разным для разных компиляторов).
Таким образом в примере представлен случай формирования экземпляра lvalue, типа rvalue ссылки на экземпляр значения с "продленной жизнью", возвращенный функцией std::string("Hello").