Segmentation fault, std::vector

Question

Witam.

Jakieś pomysły, dlaczego wywala mi segfault w momencie wywołania std::vector::clear()? Jest to vector prostych obiektów, bez żadnych wskaźników czy innych tego typu historii. Debugger wskazuje na plik stl_vector.h, na funkcję:

      /**
       *  Erases all the elements.  Note that this function only erases the
       *  elements, and that if the elements themselves are pointers, the
       *  pointed-to memory is not touched in any way.  Managing the pointer is
       *  the user's responsibility.
       */
      void
      clear() _GLIBCXX_NOEXCEPT
      { _M_erase_at_end(this->_M_impl._M_start); }

Sam vector to std::vector <Segment> body;, gdzie Segment jest zdefiniowany jako:

enum class Direction
{
    up,
    down,
    right,
    left,
};

class Segment
{
public:
    Segment();
    Segment(int x, int y, Direction dir, int block_size);

    bool intersect(const Segment &s) const;

    int get_x() const;
    int get_y() const;
    int get_size() const;
    Direction get_direction() const;

    void move_forward();
    void move_backward();
    void change_position(int x, int y);
    void set_position(int x, int y);
    void change_direction(Direction direction);

private:
    uint8_t pos_x, pos_y, size;
    Direction dir;
};

Comments

Musiałbyś pokazać znacznie większy kontekst albo cały kod. A co mówi debugger?

---

Wyciąłem kod z pierwotnej aplikacji i wrzuciłem w pusty projekt. Main wygląda tak:

#include "segment.hpp"
#include <vector>

int main()
{
    std::vector <Segment> body;
    Segment s(1, 1, Direction::right, 2);
    // dodaję kilka przesuniętych względem siebie segmentów:
    body.push_back(s);
    s.move_forward();
    body.push_back(s);
    s.move_forward();
    body.push_back(s);
    body.clear(); // ??
}

Deklaracja Segment wyżej. Definicje metod:

#include "segment.hpp"

bool Segment::intersect(const Segment& s) const
{
    if((this->pos_x < s.pos_x + s.size) &&
       (this->pos_x + this->size > s.pos_x) &&
       (this->pos_y < s.pos_y + size) &&
       (this->pos_y + this->size > s.pos_y))
       return true;
    else return false;
}

int Segment::get_x() const
{
    return pos_x;
}

int Segment::get_y() const
{
    return pos_y;
}

int Segment::get_size() const
{
    return size;
}


Direction Segment::get_direction() const
{
    return dir;
}

void Segment::change_position(int x, int y)
{
    pos_x += x;
    pos_y += y;
}

void Segment::set_position(int x, int y)
{
    pos_x = x;
    pos_y = y;
}

void Segment::move_forward()
{
    uint8_t dx = 0, dy = 0;
    switch(dir)
    {
    case Direction::down:
        dy = size + 1;
        break;
    case Direction::left:
        dx = -size - 1;
        break;
    case Direction::right:
        dx = size + 1;
        break;
    case Direction::up:
        dy = -size - 1;
        break;
    }
    change_position(dx, dy);
}

void Segment::move_backward()
{
    uint8_t dx = 0, dy = 0;
    switch(dir)
    {
    case Direction::down:
        dy = -size-1;
        break;
    case Direction::left:
        dx = size+1;
        break;
    case Direction::right:
        dx = -size-1;
        break;
    case Direction::up:
        dy = size+1;
        break;
    }
    change_position(dx, dy);
}

Segment::Segment(int x, int y, Direction direction, int block_size)
:pos_x(x), pos_y(y), size(block_size), dir(direction)
{
}

Segment::Segment()
:pos_x(0), pos_y(0), size(2), dir(Direction::right)
{
}


void Segment::change_direction(Direction direction)
{
    dir = direction;
}

...nic szczególnego. Same proste porównania i dodawanie.

Dochodząc do body.clear() dostaję segmentation fault.

Debugger pisze:

Program received signal SIGSEGV, Segmentation fault.
At /usr/include/c++/6/bits/stl_vector.h:1210

W call stacku mam tylko main i vector::clear, więc nic mi to nie mówi. Wszystkie pola mają wartości w porządku.

Pierwszy raz się z czymś takim spotykam. Powinno śmigać i hulać, aż miło. Jestem naprawdę skonsternowany.

---

No to masz wesoło :)

Wygląda jakby clear wywoływane było na usuniętym wektorze.

Może masz załączone jakieś optymalizacje?

Jaki masz kompilator?

---

Wygląda podejrzanie. Jesteś w stanie zreprodukować to mniejszym kodem (np. w jednym pliku)? Mógłbyś podać flagi użyte do kompilacji?

---

To było GCC 6.1.1., jedyna opcja to ta od C++11. Przeinstalowałem GCC-6. Problem zniknął, niesmak pozostał.

---

...oh, nie zauważyłem że to Ty jesteś autorem pytania. Jest jakaś szansa że trafiłeś na bug w GCC, bo bugi przy rozpakowywaniu paczek raczej nie są częste.

...tak, ufam apt'owi (czy cokolwiek używasz) bardziej niż GCC.

---

Cały czas pracowałem z GCC 4.9, ostatnio się rozejrzałem i zobaczyłem że w repo jest już wersja 6, to sobie zainstalowałem. Od tamtego czasu bawiłem się raczej GCC-ARM. Ale jak skompilowałem ten sam projekt jako build dla SFML, to nagle przestał mi działać. Po sporej dawce wyrwanych włosów napisałem tutaj.
Naprawdę nie wiem, co to się porobiło. Wersja GCC się przez ten czas nie zmieniła, nadal jest to 6.1.1. W ustawieniach repozytoriów nie grzebałem. Błąd był, a nie ma. Nie wiem, co o tym myśleć.

W weekend może przejrzę logi, czy coś. Tylko nie wiem, jakie. Jakieś pomysły?

---

4.9->5.0 była zmiana ABI, taki Debian miał z tym duże problemy przez jakiś czas, dużo paczek musieli przebudować. Trudno mi powiedzieć co mogło się u Ciebie dziać. Tym bardziej, że już nie reprodukujesz.

Answer 1

Z tego co wiem to jak masz vector nazwijmy go vec to powinno byc vec.clear()

Comments

Podałem nazwę metody, przy której program mi crashuje, nie konkretną linię z kodu. Jeśli Ci zależy, to podam i to:

std::vector <Segment> body;
/* operacje na body, głównie push_back() i 
wywołanie metod akcesorów i Segment::move_forward() [zmienianie współrzędnych]
*/
body.clear(); // tutaj następuje crash

 

---

A body nie powinno być przypadkiem wskaźnikiem?

---

Obiekt body nie powinien być wskaźnikiem.