调用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 
    } 
}; 

或你可以传递一个比较仿函数或者功能实现为严格的弱排序，作为第三个模板参数 。