Valgrind：来自复制构造函数的大小为 8 的无效写入

Question

我正在使用 valgrind 尝试修复我正在处理的作业中的许多内存泄漏，它给了我一些不同的 read/write/uninitialized 值错误。我认为根据 valgrind 的输出我知道它来自哪里，但无法弄清楚如何在我的生活中修复它。我是 C++ 的新手，所以我可能只是做了一些完全不正确的事情，我如何分配（然后尝试访问错误分配的内存）数组的内存，但我无法弄清楚那到底是什么会的。

这是各种 valgrind 输出：

Invalid write of size 8
==13371==    at 0x4013F5: family::setFriends(char**) (family.cpp:62)
==13371==    by 0x401231: family::family(family const&) (family.cpp:31)
==13371==    by 0x402358: hashtable::node::node(family const&) (hashtable.h:29)
==13371==    by 0x401E81: hashtable::insert(char const*, family const&) (hashtable.cpp:87)
==13371==    by 0x4018CD: familymgr::addFamily(family&) (familymgr.cpp:15)
==13371==    by 0x402779: main (housinghelper.cpp:86)
==13371==  Address 0x5ad1810 is 0 bytes inside a block of size 32 free'd
==13371==    at 0x4C2F650: operator delete[](void*) (vg_replace_malloc.c:621)
==13371==    by 0x4013B5: family::setFriends(char**) (family.cpp:60)
==13371==    by 0x401231: family::family(family const&) (family.cpp:31)
==13371==    by 0x402358: hashtable::node::node(family const&) (hashtable.h:29)
==13371==    by 0x401E81: hashtable::insert(char const*, family const&) (hashtable.cpp:87)
==13371==    by 0x4018CD: familymgr::addFamily(family&) (familymgr.cpp:15)
==13371==    by 0x402779: main (housinghelper.cpp:86)
==13371==  Block was alloc'd at
==13371==    at 0x4C2E8BB: operator new[](unsigned long) (vg_replace_malloc.c:423)
==13371==    by 0x40120F: family::family(family const&) (family.cpp:29)
==13371==    by 0x402358: hashtable::node::node(family const&) (hashtable.h:29)
==13371==    by 0x401E81: hashtable::insert(char const*, family const&) (hashtable.cpp:87)
==13371==    by 0x4018CD: familymgr::addFamily(family&) (familymgr.cpp:15)
==13371==    by 0x402779: main (housinghelper.cpp:86)

未初始化值消息：

Use of uninitialised value of size 8
==13371==    at 0x401E98: hashtable::insert(char const*, family const&) (hashtable.cpp:90)
==13371==    by 0x4018CD: familymgr::addFamily(family&) (familymgr.cpp:15)
==13371==    by 0x402779: main (housinghelper.cpp:86)
==13371==  Uninitialised value was created by a stack allocation
==13371==    at 0x401882: familymgr::addFamily(family&) (familymgr.cpp:11)
==13371== 
==13371== Use of uninitialised value of size 8
==13371==    at 0x401EB9: hashtable::insert(char const*, family const&) (hashtable.cpp:91)
==13371==    by 0x4018CD: familymgr::addFamily(family&) (familymgr.cpp:15)
==13371==    by 0x402779: main (housinghelper.cpp:86)
==13371==  Uninitialised value was created by a stack allocation
==13371==    at 0x401882: familymgr::addFamily(family&) (familymgr.cpp:11)

'friends'是一个char**成员变量，在头文件中声明如下：

char **friends;

一切似乎都源于复制构造函数：

family::family(const family &fam) : ID(NULL), famName(NULL), 
friends(NULL){
    setID(fam.ID); 
    setFamName(fam.famName);
    setMembers(fam.members);
    setCapacity(fam.capacity);
    setNumFriends(fam.numFriends);

    setFriends(fam.friends);
}

这是主要构造函数，以防万一我没有从一开始就为 friends 正确分配内存：

    family::family(char *ID, char *famName, int members) :
    ID(NULL),
    famName(NULL),
    members(members),
    numFriends(-1),
    capacity(DEFAULT_CAPACITY)
{
    friends = new char*[capacity];
    for (int i = 0; i < numFriends; i++)
        friends[i] = NULL;

    setID(ID);
    setFamName(famName);
}

这里是被引用的 setFriends 函数：

void family::setFriends(char** friendIn){
friends = new char*[sizeof(friendIn[0])/numFriends];
if(friends!=NULL)
    delete [] friends;
for (int i = 0; i < capacity;i++){
    this->friends[i] = friendIn[i];
    }
}

bool familymgr::addFamily(family &inputFam) {
    char fam[100];
    inputFam.getID(fam);

    table->insert(fam, inputFam);
}

获取ID：

void family::getID(char *id) const {
    strcpy(id, this->ID);
}

我在这里做错了什么会产生所有这些错误？

Answer 1

Invalid Write 来自 setFriends，您在其中删除分配给 friends 的内存，然后写入它。你需要在 setFriends 中进行新的分配，然后再复制到朋友中。

未初始化值消息的出现是因为在 family 构造函数中有两个名为 ID 的变量：参数和 class 成员。当您调用 setID(ID) 时，这是在引用 class 成员（值为 NULL）， 而不是 参数 ID。将参数重命名为与 class.

中的字段不同的名称

Answer 2

您的 setFriends 方法写入不属于您的内存：

void family::setFriends(char** friendIn){
    friends = new char*[sizeof(friendIn[0])/numFriends];
    if(friends!=NULL) // <-- This will always be true, since friends was
                      //     assigned a non-null value in the new[]
                      //     expression above
        delete [] friends;  // <-- Here you free the memory you just allocated
    for (int i = 0; i < capacity;i++){
        // At this point, friends is no longer pointing to a valid object
        // so you are trying to write to memory you don't own
        this->friends[i] = friendIn[i];
    }
}

您应该反转 NULL 和 new[] 表达式的检查。此外，使用 sizeof(friendIn[0])/numFriends 没有任何意义。 sizeof(friendIn[0] 将始终为 4 或 8，具体取决于您平台的位数。我猜应该只是 capacity:

void family::setFriends(char** friendIn){
    if(friends != nullptr) {
        delete [] friends;
    }
    friends = new char*[capacity];
    for (int i = 0; i < capacity;i++){
        this->friends[i] = friendIn[i];
    }
}

这在从复制构造函数调用时会起作用，但请记住，您仍在制作 friends 的浅拷贝。两个 family 对象都将指向相同的字符串，如果您稍后 delete[] 这些字符串，那么仍然指向它们的任何对象都将不起作用。您真的应该只将 friends 设为 std::vector<std::string>> 而不是执行所有这些手动内存管理。那么你可以使 setFriends 更简单、更安全：

void family::setFriends(std::vector<std::string>> friendIn) {
    friends = std::move(friendIn);
}

Valgrind：来自复制构造函数的大小为 8 的无效写入

Valgrind: Invalid write of size 8 coming from copy constructor

c++

memory

arrays

valgrind

char