Чи ефективніше повернення за посиланням rvalue?

наприклад:

Beta_ab&&
Beta::toAB() const {
    return move(Beta_ab(1, 1));
}

Beta_ab&&
Beta::toAB() const {
    return move(Beta_ab(1, 1));
}

Це повертає звисаючу посилання, як і у випадку з посиланням на значення lvalue. Після повернення функції тимчасовий об'єкт буде знищений. Ви повинні повернутись Beta_abза вартістю, як наведено нижче

Beta_ab
Beta::toAB() const {
    return Beta_ab(1, 1);
}

Тепер належним чином переміщення тимчасового Beta_abоб'єкта у повернене значення функції. Якщо компілятор зможе, він уникне цілком переміщення, використовуючи RVO (оптимізацію повернутого значення). Тепер ви можете зробити наступне

Beta_ab ab = others.toAB();

І він перемістить побудову тимчасового в abабо зробить RVO, щоб пропустити виконання ходу або скопіювати взагалі. Я рекомендую вам прочитати посилання 101 BoostCon09 Rvalue, де пояснюється це питання, і як (N) RVO трапляється взаємодіяти з цим.

Ваш випадок повернення рецензії на оцінку було б гарною ідеєю в інших випадках. Уявіть, у вас є getAB()функція, яку ви часто використовуєте тимчасово. Це не оптимально, щоб він повертав посилання const lvalue для тимчасових тем rvalue. Ви можете реалізувати це так

struct Beta {
  Beta_ab ab;
  Beta_ab const& getAB() const& { return ab; }
  Beta_ab && getAB() && { return move(ab); }
};

Зауважте, що moveв цьому випадку це необов’язково, оскільки abце не є ні локальним автоматичним, ні тимчасовим рейтингом. Тепер, ref- && kvalifier каже, що друга функція викликається у часових значень rvalue, роблячи наступний хід, а не копіювати

Beta_ab ab = Beta().getAB();

Це може бути більш ефективно, наприклад, у дещо іншому контексті:

template <typename T>
T&& min_(T&& a, T &&b) {
    return std::move(a < b? a: b);
}

int main() {
   const std::string s = min_(std::string("A"), std::string("B"));
   fprintf(stderr, "min: %s\n", s.c_str());
   return 0;
}

Як цікаве спостереження, на моїй машині clang++ -O3генерується 54 інструкції для коду вище та 62 інструкції для звичайного std::min. Однак, -O0він створює 518 інструкцій для коду вище, а 481 для регулярного std::min.