точка последовательности в индексе массива

Question

я сделал этот код

#include <stdio.h> 

int main(void) 
{ 
    int i = 0; 
    int arr[20]; 
    while(i < 20) 
    { 
     arr[i++] = i; 
     printf("%d\n", arr[i-1]); 
    } 
    return 0; 
} 

, который, кажется, чтобы напечатать ожидаемые результаты, почему говорят, что вы можете иметь неопределенное поведение?

Answer 1

Вы вызываете undefined behavior. Вы использовали sequence points, использование которых не определено в С.

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

Что касается получения некоторых предупреждений, пожалуйста, скомпилируйте и запустите код; это действительно даст вам предупреждение:

предупреждение: операция на 'я' может быть не определено [-Wsequence точки]

Live Demo here.

Кроме того, если вы думаете, почему это просто предупреждение и не ошибка, то обратите внимание, что компилятор никоим образом не связан с сообщать обо всех ваших неопределенных поведения - его работа скомпилировать ваш код, чтобы не указывать ваше неопределенное поведение.

Answer 2

В зависимости от порядка оценки, первое время исполнения

 arr[i++] = i; 

может в конечном итоге установка arr[1] к 1 (если LHS сначала вычисляется) или 0 (если РИТ сначала вычисляется). Если они выполняются параллельно, результатом может быть что угодно.

Мы не можем гарантировать состояние программы после этой строки. Не используйте его.

Answer 3

«Работает так, как ожидалось» является одним из возможных результатов для неопределенного поведения.

arr[i++] = i;явно вызван как пример неопределенного поведения в стандарте языка. Порядок, в котором оценивается каждое подвыражение, не определен; это не гарантируется слева направо. Для i == 1, любой из следующих результатов возможны:

arr[1] = 1; 
arr[1] = 2; 
arr[2] = 2; 
arr[2] = 1;