В чем разница между этими двумя условиями?

Question

Выражение j > 0 && a[j - 1] > value_to_insert появляется в определении функции sort_ints. Почему было бы неприемлемо переписать это как a[j-1] > value_to_insert && j > 0? Я попробовал поставить условие по-другому, и он дал мне тот же результат, что и оригинал.

Вот определение функции:

void sort_ints(int *a, int n) 
{ 
    int i; 
    int j; 
    int value_to_insert; 

    for (i = 1; i < n; i++) { 
     value_to_insert = a[i]; 

     /* Shift values greater than value_to_insert. */ 
     j = i; 
     while (j > 0 && a[j - 1] > value_to_insert) { 
      a[j] = a[j - 1]; 
      j--; 
     } 
     a[j] = value_to_insert; 
    } 
} 

Answer 1

Это неопределенное поведение оценить a[-1]. Поскольку логический-И-оператор && имеет короткозамкнутую семантику, a[j - 1] никогда не оценивается, если j == 0 в исходном коде.

Answer 2

Потому что из-за свойства short-circuiting оператора && измененный код (ваша «рабочая» версия, которая на самом деле не работает) скорее всего вызовет неопределенное поведение, обратившись к элементу -1 в массиве.