Не может понять, почему совершенная пересылка не работает

Question

Я пытаюсь понять, как идеальные экспедиторскую работу, но я не могу понять, почему конструктор копии вызывается в коде ниже

#include <utility> 
#include <iostream> 
using std::cout; 
using std::endl; 

class Something { 
public: 
    Something() = default; 
    Something(__attribute__((unused)) const Something& other) { 
     cout << "Copy constructor called" << endl; 
    } 
    Something(__attribute__((unused)) Something&& other) { 
     cout << "Move constructor called" << endl; 
    } 

    void print() { 
     cout << "Something::print() called" << endl; 
    } 
}; 

void function_1(Something&& one) { 
    cout << "version two called" << endl; 
    Something inner{one}; 
    inner.print(); 
} 
void function_1(const Something& one) { 
    Something inner(one); 
    inner.print(); 
} 

template <typename... T> 
void test_function(T&&... ts) { 
    function_1(std::forward<T>(ts)...); 
} 

int main() { 

    const Something some1 {Something()}; 

    test_function(some1); 
    test_function(Something()); 

    return 0; 
} 

Это производит следующий вывод

Copy constructor called 
Something::print() called 
version two called 
Copy constructor called 
Something::print() called 

Изменение кода для включения std::move в справочной системе rvalue работает, но я не ожидал, что это понадобится. Когда ссылка является ссылкой rvalue, правильный конструктор следует вызывать автоматически правильно? Правильная ссылка разрешена, но вызывается неправильный конструктор. Любая помощь будет принята с благодарностью!

Answer 1

Ссылка на rvalue связывает с rvalues. Он сам не является rvalue, потому что у него есть имя.

Но все, что имеет имя в точке использования, является значением lvalue по умолчанию, даже ссылкой rvalue. Ваш код мог бы использовать Something&& one три раза, и если первое использование неявно move s вы были бы завинчены.

Вместо этого он является значением lvalue в точке использования (по умолчанию) и привязывается к rvalue.

Если вы хотите, чтобы сигнал больше не требовал, чтобы его состояние сохранялось, std::move.

Идеальная пересылка может использоваться для записи обоих ваших function_1 s, помещая std::forward<Blah>(blah) в точке, где вы хотите переместиться из blah, если это была ссылка rvalue.

---

Теперь выше полна лжи, ибо есть xvalues ​​prvalues ​​lvalues ​​и т.д. - стандарт является более сложным. Например, использование переменной в операторах return может превратить именованное значение в значение r. Но основное эмпирическое значение стоит знать: оно имеет имя, оно является значением lvalue (кроме случаев, когда оно явно литое или истекающее).

Answer 2

Этот код будет называть копией ctor, а не перемещением ctor.

void function_1(Something&& one) { 
    cout << "version two called" << endl; 
    Something inner{one}; 
    inner.print(); 
} 

Этот код вызывает перемещение ctor.

void function_1(Something&& one) { 
    cout << "version two called" << endl; 
    Something inner{std::move(one)}; 
    inner.print(); 
} 

Выражение one технически L-значение. Это относится к rvalue-reference. Но чтобы получить rvalue-reference, вы должны использовать std::move. Обычно все, что имеет имя, является значением l. Без имени, как временные конструкции вашего выражения Something() в main():

test_function(Something()); 

может быть Rvalue-х и может вызвать движение без использования std::move.