Czy to nie jest zdefiniowane?

Question

Moje kompilator ostrzega: operation on j may be undefined

Oto kod C:

for(int j = 1; pattern[j] != '\0' && string[i] != '\0';){ 
    if(string[i+j] != pattern[j++]){//this is on the warning 
     found = 0; 
     break; 
    } 
} 

Czy to niezdefiniowana?

Answer 1

TAK. string[i+j] != pattern[j++] ma dwa różne wykonania w oparciu o zmienną j bez żadnego sequence point pomiędzy. Jest to więc przykład undefined behaviour.

Answer 2

Tak. Średnia C11 mówi w § 6.5:

If a side effect on a scalar object is unsequenced relative to either a different 
side effect on the same scalar object or a value computation using the value of the 
same scalar object, the behavior is undefined. If there are multiple allowable 
orderings of the subexpressions of an expression, the behavior is undefined if such 
an unsequenced side effect occurs in any of the orderings. 

Tutaj, w porównaniu

if(string[i+j] != pattern[j++]) 

jesteś zarówno zwiększając wartość j z pattern [j++] i używając wartość j w string [i + j]. Efekt uboczny z j++ nie jest sekwencjonowany w stosunku do wartości obliczenia i + j. Jest to więc klasyczne niezdefiniowane zachowanie.