Question

我有一个低级模板类，另一个类包含指向此类实例的指针。代码编译正确，但在通过valgrind运行时遇到以下错误：

==2642== Invalid free() / delete / delete[] / realloc()
==2642==    at 0x4C2A360: operator delete(void*) (vg_replace_malloc.c:507)
==2642==    by 0x4125B4: List<std::string>::~List() (in /home/alex/Documents/Documents/cpp/object_module/obj_test)
==2642==    by 0x411CB0: Obj3::~Obj3() (in /home/alex/Documents/Documents/cpp/object_module/obj_test)
==2642==    by 0x410AC1: main (in /home/alex/Documents/Documents/cpp/object_module/obj_test)
==2642==  Address 0x5a02878 is 8 bytes inside a block of size 88 alloc'd
==2642==    at 0x4C298A0: operator new[](unsigned long) (vg_replace_malloc.c:389)
==2642==    by 0x4124FE: List<std::string>::List() (in /home/alex/Documents/Documents/cpp/object_module/obj_test)
==2642==    by 0x411BC6: Obj3::Obj3(std::string, std::string, std::string, std::string, std::string) (in /home/alex/Documents/Documents/cpp/object_module/obj_test)
==2642==    by 0x41065A: main (in /home/alex/Documents/Documents/cpp/object_module/obj_test)

您可以在下面找到类文件，请注意我已经删除了与内存分配无关的代码。

这是List类：

#ifndef LIST_H
#define LIST_H

template <class T>
class List
{
  T *int_array;
  ...
  public:
    List() {int_array=new T[10];}
    ~List() {delete int_array;}
    ...
};
#endif

这是Obj3类：

#ifndef OBJ3_H
#define OBJ3_H

#include <string>
#include "list.h"

class Obj3
{
    private:
        //A list of scenes
        List <std::string> *scene_list;
        ...
    public:
            //Constructors & Destructor
            Obj3() {scene_list = new List <std::string>;}
            ~Obj3() {delete scene_list;}
            ...
#endif

最后，主要方法是：

#include "obj3.h"

void print_obj_attributes(Obj3& obj)
{
std::cout << obj.get_name() << std::endl;
...
}

int main()
{
Obj3 obj2;
std::cout << "Object 2" << std::endl;
print_obj_attributes(obj2);
}

执行整个程序，然后遇到错误。

Answer 1

您应该使用delete[]，因为new[]使用了int_array：

...
public:
  List() {int_array=new T[10];}
  ~List() {delete[] int_array;}
                 ~~
...

顺便说一下：你在做的是UB。 $ 5.3.5 / 2删除[expr.delete]（我强调）：

在第一个替代（删除对象）中，操作数的值 delete可以是空指针值，指向非数组对象的指针由前一个new-expression创建，或者是一个指向子对象的指针（1.8）代表这种对象的基类（第10条）。如果不，行为未定义。

Answer 2

错误消息为您提供线索：如果创建数组，则使用以下命令删除它：

delete[] int_array;

您目前拥有的内容：

delete int_array;

只会删除指向数组头部的指针。

C ++ - 从valgrind中删除无效

2 个答案: