Возвращаемый объект, который не может быть скопирован значением

Question

У меня есть объект, операция копирования которого была бы слишком медленной, поэтому я решил сделать это delete и заставить пользователей двигаться только. Копия этого объекта не имеет никакого смысла. Но тогда у меня есть эта функция:

Object loadFromFile(const std::string& name) { 
    Object obj; 
    ... 
    return obj; 
} 

Даже если копия элизия происходит здесь и не конструктор копирования не вызывается, это не может скомпилировать, потому что конструктор копирования требуется существовать и быть доступным. Это моя вторая попытка:

Object&& loadFromFile(const std::string& name) { 
    Object obj; 
    ... 
    return std::move(obj); 
} 

Это компилируется. Ура!

Но новая проблема скачков при попытке использовать его:

Object x = loadFromFile("test.txt"); 

Это снова требует конструктор копирования. Я не мог заставить его работать даже явно используя ход:

Object x = std::move(loadFromFile("test.txt")); 

Единственным решением, которое я пришел было:

const Object& x = loadFromFile("test.txt"); 

Но x должен быть неконстантным, как он собирается быть изменен позже ,

Как с этим бороться?

Answer 1

Это один неправильно:

Object&& loadFromFile(const std::string& name) { 
    Object obj; 
    ... 
    return std::move(obj); 
} 

Вы возвращаете ссылку на локальную переменную, и это неопределенное поведение. Объект умирает и то, что вы возвращаете, является ссылкой на ваш нос, поэтому демоны могут выйти из него.

Второй прав:

Object loadFromFile(const std::string& name) { 
    Object obj; 
    ... 
    return obj; 
} 

Действительно, в этом случае поиск сначала выполняется так, как будто obj был Rvalue (Standard 12.8.32):

Когда критерии выполняется исключение операции копирования/перемещения, но не для объявления исключения, а подлежащий копированию объект обозначается lvalue или , когда выражение в операторе return является (возможно, в скобках) id-выражением, которое именует объект с автоматической продолжительностью хранения decla красный в теле или параметр-объявление-предложение самой внутренней закрывающей функции или лямбда-выражения, разрешение перегрузки для выбора конструктора для копии сначала выполняется так, как если бы объект был обозначен rvalue.Если первое разрешение перегрузки завершилось с ошибкой или не было выполнено, или если тип первого параметра выбранного конструктора не является ссылкой rvalue на тип объекта (возможно, с квалификацией cv), разрешение перегрузки выполняется снова, рассматривая объект как именующий. [Примечание. Это двухступенчатое разрешение перегрузки должно выполняться независимо от того, произойдет ли копирование. Он определяет вызывающий конструктор, если исключение не выполняется, и выбранный конструктор должен быть доступен, даже если вызов отменен. -end note]

И необходимо выбрать конструктор перемещения Object(Object&&).

Answer 2

Можете ли вы передать его как выходной параметр? Что-то вроде:

void loadFromFile(const std::string& name, Object& obj) { 
    //Operations on obj 
} 

Answer 3

Ops, моя ошибка, извините.

Я удалил конструктор копирования, но на самом деле не реализовал ход, предполагая, что он уже будет там. Проблема с созданием конструктора перемещения.

Спасибо за свет @ Джосеф Мэнсфилд.