C ++ вектор push_back () перезаписывает на другой вектор того же типа? - PullRequest
Новая
       27

C ++ вектор push_back () перезаписывает на другой вектор того же типа?

0 голосов
/ 05 января 2010

Я определил класс с именем nth_best_parse следующим образом: 

class nth_best_parse {
      public:
        int traversal;
        int nth_best_active;
        int nth_best_passive;
        double viterbi_prob;

        nth_best_parse();
        nth_best_parse(int t, int nbl, int nbr, double v) {traversal = t; nth_best_active = nbl; nth_best_passive = nbr; viterbi_prob = v;}
    };

Затем я объявил векторы этого nth_best_parse членами двух разных классов: 

class Edge {        // an edge associates an Earley style dotted-item with a span
      public:

        <some irrelevant stuff>

        Span span;      // Span of the edge
        bool isActive;
        vector<Traversal *> leading_traversals; // The list of traversals which lead to parsing of this edge

        vector<nth_best_parse> n_best_parses;


        union {
                DottedRule rule_state;  // Accessed if isActive is true
                int symbol;     // Accessed if isActive is false
                                // A symbol corresponding to the category of a passive edge
                                // Put inside this union to save space
        };

        inline int span_length() {return span.end - span.start;}

    };

<some other stuff>

class BPCFGParser {

  public:

    // Some data structures used in intermediary computations for calculating the n-best parses

//    vector<vector<int> > nth_best_pairs;
    vector<vector<nth_best_parse> > n_best_pairs_for_traversals;

    <some other stuff>

    void compute_n_best_parses(Edge *e, int n);

    <some other stuff>
}

Затем я запускаю эту программу с помощью gdb (кстати, я использую Linux Ubuntu 9.04, g ++ 4.3.3, GNU gdb 6.8-debian) и устанавливаю точку останова в конце определения compute_n_best_parses () с некоторыми условия (чтобы найти точный вызов этой функции, которую я хотел, я прослеживал от ошибки сегментации). Когда GDB достиг точки останова, я выпустил набор команд, и вывод GDB был таким: 

(gdb) print e->n_best_parses.size()
$27 = 1
(gdb) print e->n_best_parses[0]
$28 = (nth_best_parse &) @0x1e96240: {traversal = 0, nth_best_active = 0, nth_best_passive = 0, viterbi_prob = 0.16666666666666666}
(gdb) print e->n_best_parses[0].traversal
$29 = 0
(gdb) print &(e->n_best_parses[0].traversal)
$30 = (int *) 0x1e96240
(gdb) awatch *$30
Hardware access (read/write) watchpoint 6: *$30
(gdb) print e->n_best_parses
$31 = {<std::_Vector_base<nth_best_parse, std::allocator<nth_best_parse> >> = {
    _M_impl = {<std::allocator<nth_best_parse>> = {<__gnu_cxx::new_allocator<nth_best_parse>> = {<No data fields>}, <No data fields>}, 
      _M_start = 0x1e96240, _M_finish = 0x1e96258, _M_end_of_storage = 0x1e96288}}, <No data fields>}
(gdb) continue
Continuing.
Hardware access (read/write) watchpoint 6: *$30

Old value = 0
New value = 1
0x0000000000408a4c in __gnu_cxx::new_allocator<nth_best_parse>::construct<nth_best_parse> (this=0x1e96208, __p=0x1e96240, __args#0=@0x7fff8ad82260)
    at /usr/include/c++/4.3/ext/new_allocator.h:114
114     { ::new((void *)__p) _Tp(std::forward<_Args>(__args)...); }
(gdb) backtrace
#0  0x0000000000408a4c in __gnu_cxx::new_allocator<nth_best_parse>::construct<nth_best_parse> (this=0x1e96208, __p=0x1e96240, __args#0=@0x7fff8ad82260)
    at /usr/include/c++/4.3/ext/new_allocator.h:114
#1  0x000000000042169c in std::vector<nth_best_parse, std::allocator<nth_best_parse> >::push_back<nth_best_parse> (this=0x1e96208, __args#0=@0x7fff8ad82260)
    at /usr/include/c++/4.3/bits/stl_vector.h:703
#2  0x0000000000402bef in BPCFGParser::compute_n_best_parses (this=0x7fff8ad82770, e=0x7f5492858b78, n=3) at BPCFGParser.cpp:639
#3  0x00000000004027fd in BPCFGParser::compute_n_best_parses (this=0x7fff8ad82770, e=0x7f5492859d58, n=3) at BPCFGParser.cpp:606
#4  0x00000000004027fd in BPCFGParser::compute_n_best_parses (this=0x7fff8ad82770, e=0x7f549285a1d0, n=3) at BPCFGParser.cpp:606
#5  0x00000000004064d8 in main () at experiments.cpp:75

Строка 639 BPCFGParser.cpp была такой: 

PUSH_BEST_PAIR_FOR_TRAVERSAL(i,row,column,grammar->probs[temp_rule.symbol][temp_rule.expansion]);

Это был макрос, определенный в начале файла как: 

#define PUSH_BEST_PAIR_FOR_TRAVERSAL(x,y,z,t) n_best_pairs_for_traversals[x].push_back(nth_best_parse(x, y, z, e->leading_traversals[x]->active_edge->n_best_parses[y].viterbi_prob * e->leading_traversals[x]->passive_edge->n_best_parses[z].viterbi_prob * t))

Кстати, класс Traversal определяется как: 

class Traversal {   // Class for a traversal
      public:
        Edge *active_edge;
        Edge *passive_edge;
        Traversal();
        Traversal(Edge *a, Edge *p) {active_edge = a; passive_edge = p;}
    };

Так что на самом деле я помещаю что-то в вектор n_best_pairs_for_traversals, который является членом экземпляра класса BPCFGParser, а код push_back () каким-то образом перезаписывает вектор n_best_parses, который является членом экземпляра класса Edge , Как это вообще возможно?

Ответы [ 3 ]

5 голосов
/ 05 января 2010

У вас явно есть проблемы с повреждением памяти.
НО здесь недостаточно информации, чтобы помочь вам.

Но вы пишете код на C ++, а ваш класс содержит указатели.
Это плохой знак (вряд ли в классе C ++ должен быть указатель RAW).
Это также часто является причиной повреждения памяти для неопытных разработчиков C ++!

Ты повиновался правилу 4?

Убедитесь, что каждый класс, содержащий указатели RAW:

  • Конструктор
  • конструктор копирования
  • оператор присваивания
  • деструктор.
1 голос
/ 05 января 2010

Вы уверены, что передаете действительный первый аргумент в макрос? Возможно, вы делаете доступ за пределы, когда делаете n_best_pairs_for_traversals[x], потому что x больше, чем векторный размер.

0 голосов
/ 05 января 2010

Я предполагаю, что вы используете вектор для хранения объектов (возможно, Traversal?), Не понимая, что добавление новых элементов в этот вектор может сделать недействительными указатели на элементы, уже находящиеся в векторе. Вместо этого используйте deque, если это так.

...