libxml2のxmlNodePtrの種類の変更私はそれ

Question

を観察するとき、私はxmlNodePtrのタイプは私に変わってしまう素敵な特異なバグをデバッグ昨日いくつかの時間を費やしました。この例では、エラーを示しています

でコンパイル

#include <iostream> 

#include <vector> 
#include <string> 
#include <memory> // std::unique_ptr 

#include <cstdint> 

#include <libxml/tree.h> 
#include <libxml/parser.h> 

struct SomeDataType { 
    std::vector<std::vector<std::string>> data; 

    explicit SomeDataType(uint32_t rows_, uint32_t columns_) 
     : data(rows_) 
    { 
     for (uint32_t row = 0; row < rows_; ++row) { 
      data[row].resize(columns_); 
     } 
    } 
}; 

static std::vector<xmlNodePtr> GetChildren(xmlNodePtr node) 
{ 
    std::vector<xmlNodePtr> children; 

    xmlNodePtr child = node->children; 
    while (child) { 
     if (child->type == XML_ELEMENT_NODE) { 
      children.push_back(child); 
     } 
     child = child->next; 
    } 

    return children; 
} 

int main() { 
    std::unique_ptr<xmlDoc, void(*)(xmlDoc*)> document = { xmlParseEntity("libxml2-fail.xml"), xmlFreeDoc }; 

    SomeDataType{ 3, 2 }; 

    xmlNodePtr root = xmlDocGetRootElement(document.get()); 

    for (const xmlNodePtr &child : GetChildren(root)) { 
     const xmlNodePtr &entry = GetChildren(child)[0]; // Problem here... 
     std::cout << "Expected " << XML_ELEMENT_NODE << " but was " << entry->type << std::endl; 
     std::cout << entry->name << std::endl; 
    } 
} 

：

g++ -g -std=c++14 -Wall -Wextra -pedantic -I/usr/include/libxml2 libxml2-fail.cpp -lxml2 -o fail.out 

xmlファイル：

<?xml version="1.0" encoding="utf-8"?> 
<data> 
    <tag> 
    <subtag>1</subtag> 
    </tag> 
</data> 

実行中は私に次のような出力が得られます。

を通じてステッピング

Expected 1 but was 17 

gdbで、すべて私は私たちが回線const xmlNodePtr & = ...に達するまでうまいです。代わりに、タイプXML_ELEMENT_NODEを持つのではなく、XML_ENTITY_DECL型を持ちます。

for (const xmlNodePtr &entry : GetChildren(child)) { 
    ... 
} 

：そうのような一つの要素を超えるときに私が代わりにループ私は問題を持っていない

48   const xmlNodePtr &entry = GetChildren(child)[0]; 
(gdb) n 
49   std::cout << "Expected " << XML_ELEMENT_NODE << " but was " << entry->type << std::endl; 
(gdb) p *entry 
$1 = {_private = 0x0, type = XML_ENTITY_DECL, name = 0x0, children = 0xb7e67d7c <std::string::_Rep::_S_empty_rep_storage+12>, last = 0x0, parent = 0x69, next = 0x0, prev = 0x9, doc = 0x0, ns = 0x805edb8, content = 0x805edb8 "", properties = 0x0, nsDef = 0x0, psvi = 0x0, line = 60648, extra = 2053} 
(gdb) p *child 
$2 = {_private = 0x0, type = XML_ELEMENT_NODE, name = 0x805ee98 "tag", children = 0x805eea8, last = 0x805ef98, parent = 0x805edb8, next = 0x805efe8, prev = 0x805ee08, doc = 0x805ece8, ns = 0x0, content = 0x0, properties = 0x0, nsDef = 0x0, psvi = 0x0, line = 3, extra = 0} 
(gdb) p GetChildren(child) 
$3 = std::vector of length 1, capacity 1 = {0x805eef8} 
(gdb) p *entry 
$4 = {_private = 0x0, type = XML_ELEMENT_NODE, name = 0x805ef38 "subtag", children = 0x805ef48, last = 0x805ef48, parent = 0x805ee58, next = 0x805ef98, prev = 0x805eea8, doc = 0x805ece8, ns = 0x0, content = 0x0, properties = 0x0, nsDef = 0x0, psvi = 0x0, line = 4, extra = 0} 
(gdb) 

：私は、次のコマンドを実行している場合しかし、参照xmlNodePtrは私が期待する型にモーフィング

私はconst参照とても似xmlNodePtrをしないとき、私にも問題はありません。

xmlNodePtr entry = GetChildren(child)[0]; 

しかしによると、 10、それは問題ではありません。

SomeDataType構造体が妙に必要です。それ以外の場合は、entryがNULLポインタになるため、segfaultが返されます。

このバグは何をしてから来ていますか？

Answer 1

あなたが行う場合は、この：あなたが効果的に寿命延長されない方法で一時的に参照を結合している

const xmlNodePtr &entry = GetChildren(child)[0]; // Problem here... 

。 operator[]は、参照を返すので、あなたは一時的に参照を結合していない - あなたが参照への参照を結合しています。しかし、operator[]から返された参照は、基礎となるの一時的なvectorの要素を参照して、GetChildren()によって返されます。これは、行末で範囲外になり、自分自身が迷子になります。

---

しかし、あなたの代わりにしようとしたとき：のためのシンタックスシュガーです

for (const xmlNodePtr &entry : GetChildren(child)) { 

：ここ

{ 
    auto&& __range = GetChildren(child); // bind temporary to reference 
             // lifetime IS extended 
    auto b = begin(__range); 
    auto e = end(__range); 
    for (; b != e; ++b) { 
     const xmlNodePtr& entry = *b; 
     // ... 
    } 
} 

は、*bは一時的または一時的のいずれかの一部ではない - それはです寿命容器への言及は、__rangeは、ループの本体全体を通してである、ない限り継続します。ダングリングリファレンスはありません。

---

同様に、

xmlNodePtr entry = GetChildren(child)[0]; 

だけで一切、何の参照の問題をコピーされません。