Что означает x-> a = x-> b, ++ x ++ -> b; делать в данной программе?

Question

int main() 
{ 
    struct data{ 
     int a; 
     int b; 
    }y[4] = {1,10,3,30,2,20,4,40}; 

    struct data *x = y; 
    int i; 

    for(i = 0; i < 4; i++) 
    { 
     x->a = x->b, ++x++ ->b; 
     printf("%d%d\t", y[i].a, y[i].b); 
    } 


    return 0; 
} 

Как работает этот код?

Answer 1

Заявление

x->a = x->b, ++x++ ->b; //note the comma operator after x->a = x->b 

эквивалентно

x->a = x->b;  // Assign member `a` to first member of element of array y 
++((x++) ->b); // Fetch the member b of element of array y and then increment 
       // it by 1. Increment `x` by 1 after `b` is fetched. 

Answer 2

The ++x++ хорошо определено в этом контексте:

++x++->b 

, что эквивалентно:

++((x++)->b) 

Это означает, что два разных значения x и x->blvalues ​​ увеличиваются, а не единичные (это будет UB). Вы можете переписать его на два заявления:

++(x->b); 
x++; 

Полное выражение заявление:

x->a = x->b, ++x++ ->b; 

действует, так как существует точка последовательности (из-за оператора запятая) после того, как x->a = x->b оценивается (были не побочные эффекты в этом, поэтому результат этого подвыражения был отброшен) .

Answer 3

Это выражение

x->a = x->b, ++x++ ->b; 

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

x->a = x->b; 
++x++ ->b; 

Второй Подвыражение можно представить следующим образом

struct data *temp = x; 
++x; 
++temp->b; 

, то есть он увеличивает член данных b структуры poin ted to by pointer x и увеличивает сам указатель.

Таким образом, элемент данных b текущей структуры (объект типа данных структуры) увеличивается, и указатель указывает на следующую структуру.