RapidXML 访问兄弟节点似乎无缘无故地导致段错误

RapidXML accessing sibling nodes causes segfaults for seemingly no reason

所以我最近掌握了 RapidXML 以用作在我的程序中解析 XML 的一种方式,我一直主要将其用作一种乱七八糟的方式,但我一直遇到一些非常奇怪的问题,我真的很难找到。尝试和我一起解决这个问题,因为我已经非常彻底地尝试解决这个问题,但我一定遗漏了一些东西。

首先是 XML:

<?xml version="1.0" encoding="utf-8" ?>
<resources>
    <image key="tilemap_roguelikesheet" path="res/media/tilemaps/roguelikesheet.png" />
    <image key="tilemap_tiles" path="res/media/tilemaps/tiles.png" />
</resources>

发生段错误的函数:

void TextureManager::LoadResource(const char* pathToFile)
{
    rapidxml::xml_document<>* resource = Resources::LoadResource(pathToFile);
    std::string imgName;
    std::string imgPath;

    if (resource != NULL)
    {
        rapidxml::xml_node<>* resourcesNode = resource->first_node("resources");

        if (resourcesNode != NULL)
        {
            for (rapidxml::xml_node<>* child = resourcesNode->first_node("image"); child; child = child->next_sibling())
            {
                //Crash here on the second loop through.
                imgName = child->first_attribute("key")->value();
                imgPath = child->first_attribute("path")->value();
                Astraeus::Log(moduleName, "Image Name: " + imgName);
                Astraeus::Log(moduleName, "Image Path: " + imgPath);

                TextureManager::AddTexture(imgName, imgPath);
            }
        }
        else
        {
            Astraeus::Error(moduleName, "Resources node failed to load!");
        }

        resource->clear();

    }
    else
    {
        std::string fileName(pathToFile);
        Astraeus::Error(moduleName, fileName + " could not be loaded.");
    }
}

所以段错误发生在for循环的第二个循环遍历所有节点,并在它尝试进行imgName分配时触发。这就是事情变得有点奇怪的地方。在调试程序时,初始子节点分解显示它有指向下一个节点的内存指针,它是 elements/attributes 等。在调查这些节点时,您可以看到这些值存在并且 rapidxml 似乎已经成功解析了文件。

然而,当第二次循环发生时,child 显示仍然具有完全相同的内存指针,但这次值的细分显示它们基本上是 NULL 值,因此程序失败,我们得到代码 139。如果您尝试查看前面的节点,那我们刚刚从中得出的值也是 NULL。

现在说,我注释掉调用AddTexture函数的那一行,节点能够打印出所有的节点值,一点问题都没有。 (Log 方法本质上只是打印到控制台,直到我用它做一些更时髦的事情。)所以问题一定出在函数上吗?这是:

void TextureManager::AddTexture(const std::string name, const std::string path)
{

    Astraeus::Log(moduleName, "Loading texture: " + path);
    if (texturesLookup.find(name) != texturesLookup.end())
    {
        Astraeus::Error(moduleName, "Texture Key: " + name + " already exists in map!");
    }
    else
    {

        texturesLookup.insert(std::make_pair(name, path));
        //Texture* texture = new Texture();

        /*if (texture->LoadFromFile(path))
        {
           //textures.insert(std::make_pair(name, texture));
        }
        else
        {
            Astraeus::Error(moduleName, "Failed to add texture " + name + " to TextureManager!");
        }*/
    }
}

忽略字符串被传递的事实,因此不应该以任何方式影响节点,这个函数仍然有点不确定。如果我注释掉它可以工作的所有内容,但有时会再次崩溃。一些代码被注释掉了,因为我没有直接添加键名,加上一个指向纹理的内存指针,而是切换到存储键和路径字符串,然后我可以稍后将纹理加载到内存中作为一种解决方法。这个解决方案工作了一点,但果然又开始出现段错误。

我无法真正可靠地复制或缩小每次导致问题的原因,因此非常感谢您的帮助。 RapidXML 文档是否以某种方式超出范围或其他原因并被删除?

根据记录,class 与存储纹理指针的贴图实际上只是静态的。

谢谢!

我不确定,但我认为 Martin Honnen 表达了这一点。

如果next_sibling()return指向两个"image"元素之间的文本节点的指针,当你写

imgName = child->first_attribute("key")->value();

你得到 child->first_attribute("key") 是一个空指针,所以 ->value() 正在取消引用一个空指针。崩溃!

我想你应该得到 next_sibling("image") 元素;像

for (rapidxml::xml_node<>* child = resourcesNode->first_node("image");
     child;
     child = child->next_sibling("image"))

并且为了确保不使用空指针,我强烈建议您检查属性指针(您真的确定 "image" 元素曾经携带"key" 和 "path" 元素?);像这样

         if ( child->first_attribute("key") )
            imgName = child->first_attribute("key")->value();
         else
            ;  // do something

         if ( child->first_attribute("path") )
            imgPath = child->first_attribute("path")->value();
         else
            ;  // do something

p.s.: 抱歉我的英语不好

这条线让我咬牙切齿...

 rapidxml::xml_document<>* resource = Resources::LoadResource(pathToFile);

LoadResource returns 一个指针,但你从来没有在任何地方释放它...?

您能 100% 确定该函数不会返回指向现在超出范围的对象的指针吗?喜欢这个经典的bug...

int * buggy()
{
  int i= 42;
  return &i;   // UB
}

正如@max66 所说。你应该使用 next_sibling("image")。如果失败了,您需要找出原因。

所以对于将来再次回来的任何人来说,这就是正在发生的事情。

是的,这是一个范围问题,但不是 xml_document 我最初一直想的那样。资源加载函数中的 xml_file 变量超出范围,这意味着由于 RapidXML 在内存中存储内容的方式,一旦超出范围就会释放内存,这导致下一次特定函数发生动态分配时,它会搞砸 xml 文档并用垃圾数据填充它。

所以我想最好的办法是确保 xml_file 和 xml_document 不超出范围。我已经添加了以前答案中的一些建议,但我会指出这些项目在代码中,在被删除以帮助调试过程之前。

感谢大家的help/advice。