c++ - 相当奇怪的 clang 问题

Question

在发表这篇文章之前，我尝试了几次 Google 搜索，但老实说，我不知道要搜索什么。我有一个 C++ 项目，并且一直很高兴地使用 GNU 编译器 (g++)。今天我尝试用 clang++ 编译并得到了一个段错误。

好的，好的，我可以处理这个。在仔细阅读我的代码并打印一些东西后，我能够解决问题。然而，解决方案让我深感困扰和困惑。

情况是这样的:我正在使用一个树状数据结构来存储一个名为 Ligament 的类，但我将它存储在一个 std::vector 中。我通过存储一个“ child ” vector 来做到这一点，这些 child 实际上只是 vector 中 parent 和 child 之间的整数偏移量。这样我就可以使用 this 指针访问 child ，即

child = this[offset];

然而，这些都不重要。这是这个问题:我有一个 Ligament::addChild(int) 函数，它接受一个整数并将其推到属于 Ligament 的 vector 的后面:

void Ligament::addChild(uint32_t offset){
   children.push_back(offset);
}

非常简单的东西。通常，我会向 addChild 传递一个参数，该参数是从名为 fill 的递归函数返回的:

//starting at root
uint32_t fill(vector<Ligament>& lVec, TiXmlElement * el){
    //store current size here, as size changes during recursion
   uint32_t curIdx = lVec.size();
   lVec.push_back(createLigament());

   //Add all of this Ligament's children
   TiXmlElement * i = el->FirstChildElement("drawable");
   for (; i; i=i->NextSiblingElement("drawable")){
      uint32_t tmp = fill(lVec, i) - curIdx;
      lVec[curIdx].addChild(tmp);

      //Does not work in clang++, but does in g++
      //lVec[curIdx].addChild(fill(lVec,i)-curIdx);
   }

   //return the ligament's index
   return curIdx;
}

填充函数在一个 XML 元素上被调用并遍历它的子元素，深度优先。

抱歉，如果所有内容都不清楚，但问题的核心似乎是 for 循环中的内容。出于某种原因，在将 fill 调用的返回值发送到 addChild 函数之前，我必须将其存储在一个变量中。

如果我不将它存储在临时变量中，addChild 函数似乎不会更改子项的大小，但我无法想象为什么。

为了检查所有这些，我在这些调用之前和之后打印出子 vector 的大小，它从未超过 1。只有当我调用 addChild 的值不是直接从函数返回时，它似乎工作。

我还在 addChild 函数内部以及调用 for 循环之前打印出 offset 的值。在所有情况下，这些值在 clang++ 和 g++ 中都是相同的。

由于问题已解决，我可以继续前进，但这是我期望的工作。我做错了什么吗？

如果我可以做更多的事情来使这个问题更清楚，请随时对我大喊大叫。

另外:我现在意识到通过这些递归按引用传递 lVec 可能不好，因为 push_back 调用可能会导致地址更改。这是合理的担忧吗？

编辑:

所以正如人们所指出的，我最后的担忧原来与这个问题有关。 fill 调用有可能调整 vector 的大小，而 lVec[curIdx] = 修饰符将更改 vector 中的元素。这些事情发生的顺序可能会产生严重的后果。

作为后续，使用 tmp 变量是否可以接受？仍然存在重新分配的问题……我想我会使用 SHR 的 map 建议，然后在完成所有操作后将其转换为 vector 。

Answer 1

// Does not work in clang++, but does in g++:
lVec[curIdx].addChild(fill(lVec,i)-curIdx);

您看到的错误是由于对评估顺序的依赖。由于 fill(lVec, i) 可能导致 lVec 重新分配它的元素，如果 lVec[curIdx] 之前被评估，程序将有未定义的行为填充(lVec，我)。函数参数的评估顺序 - 以及确定要调用哪个函数的后缀表达式 - 未指定。