什么是C ++指针的默认构造函数?

我有这样的代码:

class MapIndex { private: typedef std::map<std::string, MapIndex*> Container; Container mapM; public: void add(std::list<std::string>& values) { if (values.empty()) // sanity check return; std::string s(*(values.begin())); values.erase(values.begin()); if (values.empty()) return; MapIndex *mi = mapM[s]; // <- question about this line if (!mi) mi = new MapIndex(); mi->add(values); } } 

我主要关心的是mapM [s]expression式是否将返回引用空指针,如果新项目添加到地图?

SGI文档说: data_type&operator [](const key_type&k)返回与特定键相关联的对象的引用。 如果地图尚未包含这样的对象,则operator []将插入默认对象data_type()。

所以,我的问题是插入默认对象data_type()是否会创build一个NULL指针,或者它可以创build一个无效的指针指向内存中的某个地方?

它会创build一个NULL (0)指针,无论如何这是一个无效的指针:)

是的,它应该是一个零(空)指针,因为stl容器将默认初始化对象,当他们没有显式存储(即访问一个不存在的关键在一个地图,你正在做的或调整一个向量到一个更大的大小)。

C ++标准8.5中的第5段指出:

默认初始化Ttypes的对象意味着:

  • 如果T是非POD类types(子句类),则调用T的默认构造函数(并且如果T没有可访问的默认构造函数,则初始化不合格)
  • 如果T是一个数组types,每个元素都是默认初始化的
  • 否则,对象的存储器将被初始化。

你还应该注意到,默认的初始化不同于简单的省略构造函数。 当你省略构造函数并简单地声明一个简单的types时,你会得到一个不确定的值。

 int a; // not default constructed, will have random data int b = int(); // will be initialised to zero 

更新:我完成了我的程序,我所问的那个线路有时会导致它崩溃,但是在稍后阶段。 问题是我创build一个新的对象,而不改变存储在std :: map中的指针。 真正需要的是引用或指向该指针的指针。

 MapIndex *mi = mapM[s]; // <- question about this line if (!mi) mi = new MapIndex(); mi->add(values); 

应改为:

 MapIndex* &mi = mapM[s]; // <- question about this line if (!mi) mi = new MapIndex(); mi->add(values); 

我很惊讶没有人注意到这一点。

expression式data_type()计算为默认初始化的对象。 在非PODtypes的情况下,默认的构造函数被调用,但是在PODtypes的情况下,比如指针,默认的初始化相当于零初始化。

所以是的,你可以依靠你的地图创build一个NULL指针。 为了解释,你可以参考伪构造器初始化器 。

不知道有关崩溃,但作为这种说法definetely内存泄漏

if(!mi)mi = new MapIndex();

总是返回true,因为指针mi并没有引用mapM为s的特定值而持有的东西。

我也会避免使用常规的指针,并使用boost :: shared_ptr或一些其他指针,销毁时释放内存。 这允许调用mapM.clear()或erase(),它应该调用存储在映射中的键和值的析构函数。 那么,如果这个值是POD(比如你的指针)那么就不会为此调用析构函数,除非手动删除,而迭代整个映射则会导致内存泄漏。