Question

如何更正以下代码以避免错误消息？这段代码不适用吗？是否有可以使用的不同技术（packaged_task，asynch）？

#include <list>
#include <future>

using namespace std;

template<typename T>
struct sorter
{
    struct chunk_to_sort
    {
        std::list<T> data_m;
        std::promise<std::list<T> > promise_m;
    };
    list<chunk_to_sort> chunks_m;
    void do_sort(std::list<T>& chunk_data)
    {
        std::list<T> result;
        result.splice(result.begin(),chunk_data,chunk_data.begin());
        T const& partition_val=*result.begin();
        typename std::list<T>::iterator divide_point = std::partition(chunk_data.begin(),chunk_data.end(),[&](T const& val){return val<partition_val;});
        chunk_to_sort new_lower_chunk;
        new_lower_chunk.data_m.splice(new_lower_chunk.data_m.end(), chunk_data,chunk_data.begin(),divide_point);
        chunks_m.emplace_back(std::move(new_lower_chunk));
    }
};

int main()
{
    sorter<int> s;
    list<int> l;
    l.push_back(4);
    l.push_back(3);
    s.do_sort(l);
    return 0;
}

Answer 1

gcc和clang上的代码compiles successfully（一旦包含缺少的<algorithm>标题）。由于此行

，它在MSVC上失败

chunks_m.emplace_back(std::move(new_lower_chunk));

问题在于VS2013及更早版本do not implicitly generate a move constructor，因此emplace_back调用最终会尝试复制构造一个格式错误的chunk_to_sort，因为std::promise正在移动 - 仅

要解决此问题，请提供移动构造函数定义（也可能是移动赋值运算符定义）。

chunk_to_sort() = default;

chunk_to_sort(chunk_to_sort&& other)
: data_m(std::move(other.data_m))
, promise_m(std::move(other.promise_m))
{}

错误C2248：'std :: promise＆lt; _Ty＆gt; :: promise'：无法访问类'std :: promise＆lt; _Ty＆gt;'中声明的私有成员

1 个答案: