要素を挿入した後にデータ構造を反復処理する方法はありますか？

Question

下記コードスニペットでは、BasicBlockがFunction::iterator bsで、Instructionの文字を挿入します。内部ループは、BasicBlockに含まれる命令を反復処理します。今

、内側のループは、これらの命令を挿入した後、プログラムは命令シーケンスで無限ループに入る：

and 
mul 
xor 
and 
mul 
xor 
and 
mul 
xor 
and 
mul 
xor 
and 
mul 
xor 
and 
mul 
... 

私は回避が無限に入っている間、繰り返し処理されたデータ構造に挿入する方法ループ？

どういうわけか、イテレータはナット（または無効）になります。この問題に対処する方法の共通のイディオムはありますか？

for (Function::iterator bs = F.begin(), be = F.end(); bs != be; ++bs) { 
    for (BasicBlock::iterator is = bs->begin(), ie = be->end(); is != ie; ++is) { 
     Instruction& inst = *is; 
     BinaryOperator* binop = dyn_cast<BinaryOperator>(&inst); 

     if (!binop) { 
      continue; 
     } 

     unsigned opcode = binop->getOpcode(); 
     errs() << binop->getOpcodeName() << "\n"; 

     if (opcode != Instruction::Add) { 
      continue; 
     } 

     IRBuilder<> builder(binop); 
     Value* v = builder.CreateAdd(builder.CreateXor(binop->getOperand(0), binop->getOperand(1)), 
            builder.CreateMul(ConstantInt::get(binop->getType(), 2), 
                 builder.CreateAnd(binop->getOperand(0), binop->getOperand(1)))); 

     ReplaceInstWithValue(bs->getInstList(), is, v); // THINGS GO WRONG HERE! 
    } 
} 

Answer 1

残念ながら、あなたは十分な詳細を提供しなかったが、私は強くあなたが（他の要素に）既存のイテレータが無効化されるようにコンテナに新しい要素を挿入していると思われます。これは、多くのコンテナクラスの通常の動作です。 std::vector<>::insert()は、新しいsize()がcapacity()を超えている場合は（既存のイテレータのみが存在し、挿入ポイントより前の要素に対してイテレータが有効な場合）、既存のすべてのイテレータを無効にします。

これを回避する方法は、この問題の影響を受けない容器を使用することです。 a std::list<>std::list<>::insert()は既存のイテレータまたは参照を無効にしません。