Цикл while без тела

@golovaztik · Регистрация: 02.08.2015

Доброго времени суток. Искал быструю сортировку массива из чисел типа int. Наткнулся на такое:

C++

void quick_sort( int * start, int * en ) 
{
  if( start != en )
    {
     int * left  = start;
     int * right = en;
     int * pivot = left++;
  while( left != right )
        {
         if(  *left < *pivot  )
           {
             ++left;
           }
         else
           {
             while( (left != --right) && ( *pivot < *right ) );
             swap( *left, *right );
           }
        }
        --left;
 
    swap( *start, *left );
    quick_sort( start, left );
    quick_sort( right, en );
  }
}

Собственно интересует цикл while в else. Он не содержит поля, однако если убрать его, либо убрать ";" в конце, то сортировка перестает работать. Вопрос: почему и как это работает. start - указатель на первый элемент, en - указатель за последний элемент. Заранее спасибо.

@programmist99 · 17.05.2018, 23:49

он работает с помощью префиксного декремента

C++

--right

то есть на каждом условии значения right будет уменьшаться на 1, пока left != right

@golovaztik · 17.05.2018, 23:54 **[ТС]**

Чтобы right уменьшился обязательно ли выполнение второго условия?

@programmist99 · 17.05.2018, 23:56

нет, так как сначала проверяется первое условие, и только потом, если первое условие true, то проверяется второе. этот порядок для "И" (&&)

@golovaztik · 18.05.2018, 00:05 **[ТС]**

А для чего тогда нужно второе условие?

@programmist99 · 18.05.2018, 00:15

Сообщение от programmist99

если первое условие true, то проверяется второе

бинарная операция "И" возвращает true только тогда, когда оба условия равны true. Если первое условие false, то проверять второе уже нет смысла

@golovaztik · 18.05.2018, 00:21 **[ТС]**

Это понятно, я имею в виду какое влияние оказывает сравнение этих двух чисел? В первом условии right с каждой итерацией уменьшается на единицу, во втором же условии вроде ничего не происходит. Да и какое значение (true или false) принимает все выражение, вроде как тоже не важно. Или я что-то не так понимаю?

@golovaztik 0 / 0 / 0 Регистрация: 02.08.2015 Сообщений: 15
	17.05.2018, 23:54 [ТС]	3
	Чтобы right уменьшился обязательно ли выполнение второго условия? 0

@programmist99 55 / 55 / 63 Регистрация: 18.03.2014 Сообщений: 386
	17.05.2018, 23:56	4
	нет, так как сначала проверяется первое условие, и только потом, если первое условие true, то проверяется второе. этот порядок для "И" (&&) 0

@golovaztik 0 / 0 / 0 Регистрация: 02.08.2015 Сообщений: 15
	18.05.2018, 00:05 [ТС]	5
	А для чего тогда нужно второе условие? 0

@programmist99 55 / 55 / 63 Регистрация: 18.03.2014 Сообщений: 386
	18.05.2018, 00:15	6
	Сообщение от programmist99 если первое условие true, то проверяется второе бинарная операция "И" возвращает true только тогда, когда оба условия равны true. Если первое условие false, то проверять второе уже нет смысла 0

@golovaztik 0 / 0 / 0 Регистрация: 02.08.2015 Сообщений: 15
	18.05.2018, 00:21 [ТС]	7
	Это понятно, я имею в виду какое влияние оказывает сравнение этих двух чисел? В первом условии right с каждой итерацией уменьшается на единицу, во втором же условии вроде ничего не происходит. Да и какое значение (true или false) принимает все выражение, вроде как тоже не важно. Или я что-то не так понимаю? 0

Опции темы