Реализация быстрой сортировки

@schoolboy_ · Регистрация: 02.03.2013

Студворк — интернет-сервис помощи студентам

Решил реализовать алгоритм быстрой сортировки. Иногда, программа работает корректно. Иногда, падает с ошибкой сегментации.

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
typedef int ELEMENT;
 
void quick_sort(ELEMENT *arr, size_t size)
{
  if (arr != NULL && size > 1)
     __quick_sort__(arr, 0, size - 1);
}
 
static void __quick_sort__(ELEMENT *arr, size_t index_low, size_t index_hight)
{
  size_t m = 0;
  if (index_hight > index_low)
  {
      m = __partition__(arr, index_low, index_hight);
    __quick_sort__(arr, index_low, m - 1);
    __quick_sort__(arr, m + 1, index_hight);
  }
}
 
static size_t __partition__(ELEMENT *array, size_t index_low, size_t index_hight)
{
  ELEMENT key = array[index_low];
  size_t j = index_low;
 
  for (size_t i = index_low + 1; i <= index_hight; ++i)
  {
    if(array[i] <= key)
    {
      j = j + 1;
      swap(&array[j], &array[i], sizeof(ELEMENT));
    }
 
  }
  swap(&array[index_low], &array[j], sizeof(ELEMENT));
  return j;
}

Вот что выдаёт gdb:

Кликните здесь для просмотра всего текста

Program received signal SIGSEGV, Segmentation fault.
0x0000555555554de4 in __partition__ (array=0x555555757260, index_low=0,
index_hight=18446744073709551615)
at /home/dosart/Programing_Language/C/Sort/src/QuickSort.c:37
37 if(array[i] <= key)

Ошибка пропадает, если заменить size_t на int. Не могу понять в чём причина. Насколько я понимаю, size_t обычно применяется для счетчиков циклов, индексации массивов, хранения размеров, адресной арифметики.

@JesD · 03.05.2019, 23:56

Дело в том, что переменная m может принимать значение 0:

C++
1
2
3
4
5
6
7
8
9
10
static void __quick_sort__(ELEMENT *arr, size_t index_low, size_t index_hight)
{
  size_t m = 0;
  if (index_hight > index_low)
  {
      m = __partition__(arr, index_low, index_hight); // здесь возможна ситуация, когда m = 0
    __quick_sort__(arr, index_low, m - 1); // здесь index_hight должен быть равен -1 ? Но не будет
    __quick_sort__(arr, m + 1, index_hight);
  }
}

Почему же это тогда работает, если мы заменим size_t на int ? На самом деле, все просто: переменная типа int может принимать отрицательные значения, поэтому при вызове рекурсивной функции, сработает условие

C++
1
  if(index_hight > index_low)

И мы больше не зайдем в этот блок. Однако когда мы имеем дело с size_t - необходимо помнить, что он не может принимать отрицательные значения. При попытке присвоить отрицательное число переменной типа size_t, мы в действительности присвоим ему число наибольшее. Поэтому когда m будет равным нулю, в переменную index_hight запишется что-то вроде 18446744073709551615. Соответственно, условие того, что правая граница больше - выполнится, и тогда мы в функции __partition__ попытаемся обратиться к элементу за границами массива, и в результате получим segmentation fault.

Самый простой метод исправления - просто добавить проверку:

C++
1
2
3
4
m = __partition__(arr, index_low, index_hight);
 
if(m > 0)
      __quick_sort__(arr, index_low, m - 1);

Новые блоги и статьи Все статьи Все блоги /
Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .
Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.

Реализация быстрой сортировки

Решение