std :: map :: emplace語法的問題

Question

我試圖將數據放入std::map。下面是我嘗試（從原始來源修剪，但肯定給的想法）：

template<typename T> class trie { 

private: 
std::map<typename T::value_type, std::unique_ptr<trie<T>>> children; 
std::unique_ptr<trie<T>> parent; 

// Later 
public: 
trie(const trie<T>& other, trie<T>* const parent) : 
parent{parent} 
{ 
    for(auto const &it : other.children) 
     children.emplace(it.first, {*it.second}); 
} 

}; 

錯誤如下：

trie.h: In instantiation of ‘trie<T>::trie(const trie<T>&, trie<T>*) [with T = std::basic_string<char>]’: 
main.cpp:7:23: required from here 
trie.h:90:3: error: no matching function for call to ‘std::map<char, std::unique_ptr<trie<std::basic_string<char> >, std::default_delete<trie<std::basic_string<char> > > >, std::less<char>, std::allocator<std::pair<const char, std::unique_ptr<trie<std::basic_string<char> >, std::default_delete<trie<std::basic_string<char> > > > > > >::emplace(const char&, <brace-enclosed initializer list>)’ 
    children.emplace(it.first, {*it.second}); 
^
trie.h:90:3: note: candidate is: 
In file included from /usr/include/c++/4.8.1/map:61:0, 
       from trie.h:4, 
       from main.cpp:2: 
/usr/include/c++/4.8.1/bits/stl_map.h:540:2: note: std::pair<typename std::_Rb_tree<_Key, std::pair<const _Key, _Tp>, std::_Select1st<std::pair<const _Key, _Tp> >, _Compare, typename _Alloc::rebind<std::pair<const _Key, _Tp> >::other>::iterator, bool> std::map<_Key, _Tp, _Compare, _Alloc>::emplace(_Args&& ...) [with _Args = {}; _Key = char; _Tp = std::unique_ptr<trie<std::basic_string<char> >, std::default_delete<trie<std::basic_string<char> > > >; _Compare = std::less<char>; _Alloc = std::allocator<std::pair<const char, std::unique_ptr<trie<std::basic_string<char> >, std::default_delete<trie<std::basic_string<char> > > > > >; typename std::_Rb_tree<_Key, std::pair<const _Key, _Tp>, std::_Select1st<std::pair<const _Key, _Tp> >, _Compare, typename _Alloc::rebind<std::pair<const _Key, _Tp> >::other>::iterator = std::_Rb_tree_iterator<std::pair<const char, std::unique_ptr<trie<std::basic_string<char> >, std::default_delete<trie<std::basic_string<char> > > > > >] 
    emplace(_Args&&... __args) 
^
/usr/include/c++/4.8.1/bits/stl_map.h:540:2: note: candidate expects 0 arguments, 2 provided 

所以我的問題是：

如何我是否正確初始化地圖元素，目標是指向樹的深層副本，並且沒有不必要的副本/移動？

在此先感謝！

Answer 1

通過傳遞{*it.second}作爲值的初始值，您可以有效地嘗試使用trie<T>初始化std::unique_ptr<trie<T>>。我相信你正在尋找這樣的：

public: 
trie(const trie<T>& other, trie<T>* const parent) : 
parent{parent} 
{ 
    for(auto const &it : other.children) { 
     // Separate creation of unique_ptr for exception safety, thanks to @DanielFrey 
     std::unique_ptr<trie<T>> p(new trie<T>(*it.second)); 
     children.emplace(it.first, std::move(p)); 
    } 
} 

注意，你還必須提供一個拷貝構造函數，因爲默認的一個被刪除，因爲你的類具有不可複製的成員。

---

與問題無關，但您應該重新考慮您的設計：您最有可能擁有所有權迴路。如果trie<T>向其子女存儲unique_ptr，並且這些子女將unique_ptr存儲回父母，則會發生雙重刪除錯誤。將其中的一個（可能是父指針）轉換爲一個原始指針。沒有參與所有權的情況下，原始指針可以觀察。

Answer 2

你需要

for(auto const &it : other.children) { 
    std::unique_ptr<trie<T>> element(new trie<T>(*it.second)); 
    children.emplace(it.first, std::move(element)); 
} 

，以防止萬一異常是從emplace拋出資源泄漏。如果可用（C++ 14），可以簡化代碼

for(auto const &it : other.children) { 
    children.emplace(it.first, std::make_unique<trie<T>>(*it.second)); 
} 

根據經驗，對所有智能指針的規則，你總是使用std::make_*或你必須使用一個單獨的行來創建他們每個人。