調用struct函數的構造函數，C++

Question

這裏是我的問題的近似代碼。首先，我們有一個構造一個結構：

struct Pair{ 
Pair(int a, int b): (first (a) , second (b)) {} 
int first; 
int second; 
}; 

其在地圖中使用

map<string, Pair> mymap; 

我想在一個函數

void f(map<string, Pair>* mymap, string c,int x, int y) 
{ 
(*mymap)[c]=Pair(x,y); 
} 

但是編譯器初始化這個地圖首先說它找不到合適的構造函數，然後接下來的幾行是沒有爲構造函數提供足夠的參數。

我的一個朋友告訴我，我應該寫這樣的功能：

void f(map<string, Pair>& mymap, const string& c,int x, int y) 
{ 
    if (mymap.find(c) != mymap.end()) { 
    mymap[c] = Pair(x,y); 
    } 
} 

但他無法解釋爲何類型&應在此處使用的，而不是類型 *，和我想澄清這一點。有人可以解釋嗎？

Answer 1

的問題是，在operator[]地圖要求值類型是缺省構造的避免這種情況。如果你不想讓你的Pair是缺省構造的，你必須避免使用operator[]：

void f(map<string, Pair>& mymap, string c,int x, int y) 
{ 
    mymap.insert(std::make_pair(c,Pair(x,y))); 
} 

你可能誤解了你的朋友建議什麼。 operator[]的問題不是它需要默認構造函數如果它需要創建一個新元素，但它需要它以防萬一它可能需要。也就是說，元素是否存在並不重要。

---

如果您也意味着更新，那麼你也需要考慮這個選項：

void f(map<string, Pair>& mymap, string c,int x, int y) 
{ 
    auto res = mymap.insert(std::make_pair(c,Pair(x,y))); 
    if (!res.second) 
     res.first->second = Pair(x,y); 
} 

基本上insert操作返回一對在關鍵指向迭代器，並表示如果這是一個布爾insert創建了該對象，或者它已經存在（在這種情況下，映射中的值是未修改的）。通過存儲結果，我們可以測試，如果insert沒有創建值，我們可以通過返回的迭代器更新它。

Answer 2

標準容器需要一個默認的構造函數。他們將使用operator=在施工後的某個時間點設置正確的值。

Answer 3

在地圖上調用operator[]將需要您的類型爲默認可構造。您可以通過使用map::insert或map::emplace

Answer 4

您將需要一個默認contrructor：

Pair(): first() , second() {} 

這需要對地圖的operator[]，它創建了一個缺省構造時，與不存在的密鑰 -

和一個叫 mapped_type 執行的小於運營商 strict weak ordering：

struct Pair { 
    // as before 
    bool operator<(const Pair& rhs) const { 
    /some code to implement less-than 
    } 
}; 

或你可以傳遞一個比較仿函數或者功能實現爲嚴格的弱排序，作爲第三個模板參數 。