为什么在映射中存储时需要默认构造函数

Why is a default constructor required when storing in a map?

本文关键字：默认 构造函数 存储 映射 为什么      更新时间：2023-10-16

我得到错误:

error: no matching function for call to 'A::A()'
note: candidates are: A::A(const A&)
note:                 A::A(const std::string&, size_t)
从这个:

#include <map>
#include <string>
using std::map;
using std::string;
class A {
public:
    string path;
    size_t size;
    A (const string& p, size_t s) : path(p), size(s) { }
    A (const A& f) : path(f.path), size(f.size) { }
    A& operator=(const A& rhs) {
        path = rhs.path;
        size = rhs.size;
        return *this;
    }
};
int main(int argc, char **argv)
{
    map<string, A> mymap;
    A a("world", 1);
    mymap["hello"] = a;      // <----- here
    A b(mymap["hello"]);     // <----- and here
}

请告诉我为什么代码需要一个没有参数的构造函数。

由于map需要DefaultConstructible值，因此当使用下标操作符并且没有找到键时，它将其映射到默认构造值

通常map项值不需要默认构造函数

它在c++ 03中是必需的，但是在c++ 11中删除了这个要求，它通常不是提出容器范围的需求，而是使用更细粒度的需求方案，其中包含对特定成员函数的使用的需求。

map::operator[]就是这样一个成员函数，因为它将创建一个具有给定键和默认构造值的项，如果具有该键的项不存在。

这也是为什么没有map::operator[]的const版本的原因:它可能会修改映射。

在c++ 11及以后的版本中，您可以使用at访问器访问const映射中具有给定键的项，而无需冗长的&find .

由于map::at不尝试创建一个项目，它不要求项目类型是默认可构造的。

所以你的问题的一个实际解决方案是使用map::at代替map::operator[]。

mymap["hello"]可以尝试创建一个值初始化的A，因此需要一个默认构造函数。

如果你使用T类型作为map值(并计划通过operator[]访问值)，它需要是默认可构造的-即你需要一个无参数(默认)构造函数。

如果没有找到带有键的值，则映射上的operator[]将对映射的值进行值初始化。

很长时间没有使用c++，但是如果我没记错的话，如果你没有为一个类定义构造函数，编译器会为你创建一个无参数的构造函数。一旦你定义了一个带参数的构造函数，编译器就不会为你创建一个无参数的构造函数，所以你必须自己创建一个。这加上K-ballo暴露的内容导致了您的错误。

相关文章：