std :: move with std :: make_pair

Question

之間有什么區別：

std::map <int,std::pair<T,T>> m;
T t1,t2;
m.emplace(1,std::make_pair(t1,t2));

和：

std::map <int,std::pair<T,T>> m;
T t1,t2;
m.emplace(1,std::move(std::make_pair(t1,t2)));

這里的std::move多余了嗎？ 請問std::map::emplace和perfect forwarding可以直接在std::map中分配std::pair ？

Answer 1

std::make_pair(...)和std::move(std::make_pair(...))都是rvalue表達式（第一個是prvalue，第二個是xvalue）。 由於emplace采用轉發引用，因此兩者都被推導為相同的類型，因此在這種情況下std::move是多余的，但在一般情況下，冗余的std::move可以禁止copy-elision。

m.emplace(1, std::make_pair(t1, t2));

相當於：

auto&& arg = std::make_pair(t1, t2);
std::pair<const int, std::pair<T, T>> e(1, std::forward<std::pair<T, T>>(arg));

它執行map元素值的以下初始化：

auto&& arg = std::make_pair(t1, t2);
std::pair<T, T> p(std::forward<std::pair<T, T>>(arg));

請注意，這與以下內容不同：

std::pair<T, T> p(t1, t2);

前者首先創建一個prvalue對（制作t1和t2副本），然后將其移出（將復制的t1和t2移動到p ）。 不會發生任何復制。

后者使用t1和t2來初始化存儲在該對中的兩個T s。

為了避免第一種語法產生不必要的移動，您可以改為使用分段構造：

m.emplace(std::piecewise_construct
        , std::forward_as_tuple(1)
        , std::forward_as_tuple(t1, t2));

這相當於：

auto&& arg = std::tuple<T&, T&>(t1, t2);
std::pair<T, T> p(std::get<0>(std::forward<std::tuple<T&, T&>>(arg))
                , std::get<1>(std::forward<std::tuple<T&, T&>>(arg)));

這將從綁定到原始t1和t2引用成員初始化該對的元素。

Answer 2

m.emplace(std::make_pair(1, std::make_pair(t1,t2)));

將調用移動構造函數。