Question

当我通过valgrind运行我的程序时，我得到以下内容

==29852== Invalid read of size 8
==29852==    at 0x4EDEA50: std::_Rb_tree_increment(std::_Rb_tree_node_base const*) (in /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.21)
==29852==    by 0x414EEA: std::_Rb_tree_const_iterator<std::pair... >::operator++() (stl_tree.h:284)
==29852==    by 0x4268CF: Tree::removeConstantsPair(std::set...) (Tree.h:65)
==29852==    by 0x4239C4: yy_reduce(yyParser*, int) (parser.y:251)
==29852==    by 0x425F6D: Parse(void*, int, Token*, Tree*) (parser.c:1418)
==29852==    by 0x404837: main (main.cpp:95)

Tree.h中的第65行是

inline void removeConstantsPair(set<pair<string, string>>& vec){
    set<string>::iterator itr; 
    for(auto &v : vec){ //This is line 65
        itr = domainList.find(v.first);
        if(itr != domainList.end())
            vec.erase(v);
    }
}

然而，泄漏摘要说没有丢失的记忆。根据我的理解，如果我从已释放的内存中读取，则会发生无效读取，因此在我的情况下&vec必须已被释放。我的程序运行但不会崩溃。

有人可以解释为什么会出现内存读取错误。

Answer 1

问题很可能是由线路引起的：

        vec.erase(v);

使用范围循环并从容器中删除项目不是一个好主意。将你的循环改为：

for ( auto iter = vec.begin(); iter != vec.end(); /* Empty on purpose*/ )
{
   if(domainList.find(iter->first) != domainList.end())
   {
      iter = vec.erase(iter);
   }
   else
   {
      ++iter;
   }
}

Answer 2

＆＃34;无效的内存读取＆＃34;也可能出于许多其他原因，除了问题中陈述的原因。

一个例子：

通过new分配内存的请求通常会分配比新类实例所需内存多一点的内存。例如，特定的C ++实现可能会分配16个字节的多个内存。因此，对于new将返回12的类的实例，sizeof实际上将最终分配16个字节，并且尝试读取超过实际实例化对象的末尾将最终得到标记，正确，由valgrind作为无效的内存读取。

Answer 3

以下小程序在Visual Studio编译器下运行时显示错误：

#include <string>
#include <set>
#include <map>

std::set<std::string> domainList = {"abc", "123", "456"};

using namespace std;

void removeConstantsPair(set<pair<string, string>>& vec)
{
    set<string>::iterator itr; 
    for(auto &v : vec)
    { 
        itr = domainList.find(v.first);
        if(itr != domainList.end())
            vec.erase(v);  // <--erasing this iterator makes it invalid
    }
}

int main()
{
    std::set<std::pair<string, string>> vec = {make_pair("abc", "xyz"), 
                                               make_pair("456", "xyz"),
                                               make_pair("000", "xyz")};
    removeConstantsPair(vec);
}

当在for循环中对已擦除的迭代器进行增量时，Visual Studio调试运行时断言“表达式映射/设置迭代器不可递增”。

所以解决方法是确保要增加的迭代器不是被删除的迭代器。

void removeConstantsPair(set<pair<string, string>>& vec)
{
    set<string>::iterator itr;
    auto iterSet = vec.begin();
    while (iterSet != vec.end())
    {
        itr = domainList.find((*iterSet).first);
        if (itr != domainList.end())
        {
            auto erasedIter = iterSet;
            ++iterSet;
            vec.erase(erasedIter);
        }
        else
            ++iterSet;
    }
}

Valgrind：读取大小为8的错误

3 个答案: