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

@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);

Новые блоги и статьи Все статьи Все блоги /
Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Нашел на реддите интересную статью под названием «Кто-нибудь знает, где получить бесплатный компьютер или. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro
Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .

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

Решение