Сбивающий с толку SegFault с использованием алгоритма сортировки STL - PullRequest
Новая
       38

Сбивающий с толку SegFault с использованием алгоритма сортировки STL

5 голосов
/ 14 марта 2010

Я пытаюсь воссоздать программу в столбце 15 программирования перлов с использованием STL. Я пытаюсь создать массив суффиксов, используя строку и вектор индексов. Я записываю список слов, которые я читаю, в строку, называемую вводом, которая действует как список слов, разделенных символом '', который я читаю из стандартного ввода в начале программы. Все работает, как и ожидалось, пока я не дохожу до сортировки кода. Я хотел бы использовать алгоритм сортировки STL, но я полностью озадачен ошибкой сегмента, которую, похоже, создаю.

У меня есть: 

vector<unsigned int> words;

и глобальная переменная 

string input;

Я определяю свою пользовательскую функцию сравнения: 

bool wordncompare(unsigned int f, unsigned int s) {
  int n = 2;

  while (((f < input.size()) && (s < input.size()))
         && (input[f] == input[s])) {
    if ((input[f] == ' ') && (--n == 0)) {
      return false;
    }

    f++;
    s++;
  }

  return true;
}

Когда я запускаю код: 

sort(words.begin(), words.end());

Программа завершает работу плавно.

Однако, когда я запускаю код: 

sort(words.begin(), words.end(), wordncompare);

Я генерирую SegFault глубоко в STL.

Код обратной трассировки GDB выглядит следующим образом: 

#0  0x00007ffff7b79893 in std::string::size() const () from /usr/lib/gcc/x86_64-pc-linux-gnu/4.3.4/libstdc++.so.6
#1  0x0000000000400f3f in wordncompare (f=90, s=0) at text_gen2.cpp:40
#2  0x000000000040188d in     std::__unguarded_linear_insert<__gnu_cxx::__normal_iterator<unsigned int*, std::vector<unsigned int, std::allocator<unsigned int> > >, unsigned int, bool (*)(unsigned int, unsigned int)> (__last=..., __val=90, __comp=0x400edc <wordncompare(unsigned int, unsigned int)>)
at /usr/lib/gcc/x86_64-pc-linux-gnu/4.3.4/include/g++-v4/bits/stl_algo.h:1735
#3  0x00000000004018df in std::__unguarded_insertion_sort<__gnu_cxx::__normal_iterator<unsigned int*, std::vector<unsigned int, std::allocator<unsigned int> > >, bool (*)(unsigned int, unsigned int)> (__first=..., __last=..., __comp=0x400edc <wordncompare(unsigned int, unsigned int)>)
at /usr/lib/gcc/x86_64-pc-linux-gnu/4.3.4/include/g++-v4/bits/stl_algo.h:1812  
#4  0x0000000000402562 in std::__final_insertion_sort<__gnu_cxx::__normal_iterator<unsigned int*, std::vector<unsigned int, std::allocator<unsigned int> > >, bool (*)(unsigned int, unsigned int)> (__first=..., __last=..., __comp=0x400edc <wordncompare(unsigned int, unsigned int)>)
at /usr/lib/gcc/x86_64-pc-linux-gnu/4.3.4/include/g++-v4/bits/stl_algo.h:1845
#5  0x0000000000402c20 in std::sort<__gnu_cxx::__normal_iterator<unsigned int*, std::vector<unsigned int, std::allocator<unsigned int> > >, bool (*)(unsigned int, unsigned int)> (__first=..., __last=..., __comp=0x400edc <wordncompare(unsigned int, unsigned int)>)
at /usr/lib/gcc/x86_64-pc-linux-gnu/4.3.4/include/g++-v4/bits/stl_algo.h:4822
#6  0x00000000004012d2 in main (argc=1, args=0x7fffffffe0b8) at text_gen2.cpp:70

У меня есть похожий код в другой программе, но в этой программе я использую вектор вместо вектора. По жизни я не могу понять, что я делаю неправильно. Спасибо!

1 Ответ

10 голосов
/ 14 марта 2010

Скорее всего, ваш компаратор не удовлетворяет строгому слабому порядку; например, он нарушает транзитивность, потому что существует некоторое кольцо значений, так что A требования . Я не вижу это на макушке головы, но я буду продолжать смотреть на это несколько минут.

...