Почему я не могу переместить измененную функцию, которая содержит перенесенное будущее?

Question

Я в основном пытаюсь делать это сделать:

using Type = SomeTypeThatIWantToMove; 

std::promise<Type> promised_result; 
std::future<Type> promised_future = promised_result.get_future(); 

using Callback = std::function<void()>; 

Callback function_which_should_be_movable = 
      [this, future_result(std::move(promised_future))]() mutable 
{ 
    this->some_function(future_result.get()); // signature: void some_function(const Type&) 
}; 

using ResultBuilder = std::function<Type(Callback&&)>; 

// result_builder is of type ResultBuilder 
Type thingy = result_builder(std::move(function_which_should_be_movable)); 

MinGW скажите, что Move-конструктор function_which_should_be_movable удаляется, так как копировально-конструктор станд :: будущее будет удален. Однако я не понимаю, почему компилятор попытается скопировать будущее, а не переместить его.

Answer 1

function_which_should_be_movable имеет тип std::function. По cppreference:

template< class F > function(F f);F должны отвечать требованиям из Callable и CopyConstructible.

Выражение лямбда, которое вы пытаетесь использовать для создания объекта std::function, не может быть скопировано, и, следовательно, проблема.

Что касается причин, почему std::function имеет это требование, пожалуйста, ознакомьтесь с этим вопросом: Why the initializer of std::function has to be CopyConstructible? (что задается именно мною). Проще говоря, техника стирания типа, используемая std::function, будет создавать экземпляр-копия F. Это происходит независимо от того, действительно ли вы, пользователь объекта std::function, использовали этот экземпляр-конструктор или нет.