Почему эта часть кода не меняет строку?

Question

Я смотрю на строковые манипуляции на C, и я не понимаю, почему оператор s1[i] = s1[++i]; не заменит первый H следующим символом e. Посмотрите на код:

#include <stdio.h> 

main() 
{ 
    char s1[] = "Hello world !"; 
    for(int i = 0; s1[i] != '\0'; ++i) 
    s1[i] = s1[++i]; 
    printf("%s", s1); 
} 

Он печатает Hello world ! вместо el r

Answer 1

Ваша программа undefined behaviour, потому что в этом заявлении

s1[i] = s1[++i]; 

i модифицируется дважды между точками последовательности (оператор присваивания = не вводит точку последовательности).

НКУ (gcc -Wall -Wextra) предупреждает с:

warning: operation on ‘i’ may be undefined [-Wsequence-point] 

так же лязг предупреждает:

warning: unsequenced modification and access to 'i' [-Wunsequenced] 

Answer 2

undef.c: In function ‘main’: 
undef.c:7:24: warning: operation on ‘i’ may be undefined [-Wsequence-point] 
      s1[i] = s1[++i]; 
         ^~~ 

Включить ваши предупреждения компилятора и обратить на них внимание. Компилятор - ваш друг.

Что значит это предупреждение:

Там нет правила в C поговорке, которая должна быть оценена сторона задания первой. В этом случае кажется, что правая сторона сначала оценивалась, но в целом результат будет неопределенным.