std :: pair和class destructors

Question

可能重复:
三个规则是什么？

如何std::pair为其组件调用析构函数？我正在尝试将类的实例添加到a std::map,但是我的类的析构函数出错了.

我已经将我的问题/问题缩小到以下非常简单的例子.

下面,my_class仅int在构造时创建一个数组,并在销毁时删除它.不知何故,我得到一个"双删除"错误:

//my_class.h
class my_class {
  public:
    int an_int;
    int *array;

    //constructors:
    my_class()
    {
      array = new int[2];
    }
    my_class(int new_int) : an_int(new_int)
    {
      array = new int[2];
    }

    //destructor:
    ~my_class()
    {
      delete[] array;
    }
};  //end of my_class

与此同时,在main.cpp ...

//main.cpp
int main(int argc, char* argv[])
{
  std::map<int, my_class>   my_map;

  my_map.insert( std::make_pair<int, my_class> (1, my_class(71) ) );

  return 0;
} // end main

编译很顺利,但这会产生以下运行时错误:

*** glibc detected *** ./experimental_code: double free or corruption (fasttop):

或者,与valgrind:

==15258== Invalid free() / delete / delete[] / realloc()
==15258==    at 0x40249D7: operator delete[](void*) (vg_replace_malloc.c:490)
==15258==    by 0x8048B99: main (my_class.h:38)
==15258==  Address 0x42d6028 is 0 bytes inside a block of size 8 free'd
==15258==    at 0x40249D7: operator delete[](void*) (vg_replace_malloc.c:490)
==15258==    by 0x8048B91: main (my_class.h:38)

(行号被关闭,因为我删除了评论和内容)

我一定错过了std::pair......？

感谢所有提前!

Answer 1

添加my_class到stl容器时,将调用复制构造函数.由于您没有定义一个,它会执行成员复制,并且my_class创建两个指向同一个int数组的对象,当删除这些对象时,可能会删除两个相同的int数组

请看三条规则

在C++ 11中,如果您担心效率,也请查看移动构造函数.

Answer 2

通过定义没有复制构造函数和赋值运算符的析构函数,您的类违反了规则3.一旦你定义了这些,你的代码应该运行正常:STL容器严重依赖于这些,所以你应该问自己,每次使用类作为STL容器的模板参数时是否已经实现了所有这三个.