Czy * p ++ + = 2 jest dobrze zdefiniowane?

Question

Nie jestem pewien, czy oświadczenie poniżej jest dobrze zdefiniowany przez standardowe C lub nie

*p1++ += 2; 

lub innej podobnej klauzuli:

*E1++ <operator>= E2 

od standardowych C o post-przyrostu:

Wynikiem operacji Postfiks ++ jest wartość argumentu operacji. Po uzyskaniu wyniku wartość argumentu jest zwiększana. (Oznacza to, że dodano wartość 1 odpowiedniego typu.) Zobacz dyskusje na temat operatorów dodatków i złożonych dla dla informacji o ograniczeniach, typach i konwersjach oraz o skutkach operacji na wskaźnikach. Efekt uboczny aktualizacji przechowywanej wartości argumentu będzie występować pomiędzy punktem poprzednim i następnym sekwencji.

I o coumpund-przypisania:

Przypisanie związek op postać E1 = E2 różnym od prostego przypisania ekspresji E1 = E1 op (E2), wyłącznie tym lwartością E1 ocenione tylko raz.

Answer 1

Załóżmy przepisać lekko aby uczynić go bardziej jasne:

(*p1++) += 2 

Więc stara wartość p1 będą dereferencjonowane i 2 zostaną dodane do jego referenta. I p1 zostanie zwiększony po dereferencji (lub przynajmniej po wczytaniu starej wartości i oczekiwaniu na dereferencję). Nie ma problemu: żadne z elementów nie jest używane więcej niż jeden raz.

Mając na uwadze powyższe, należy rozważyć przepisanie kodu dla jasności:

*p1 += 2; 
++p1; 

Answer 2

Postfix operator inkrementacji (++) daje wartość argumentu, to znaczy daje wartość R. Wartość r oznacza, że ​​jest ona używana po lewej stronie operatora przypisania (=) jako operand.

int i = 0; 
i++ = 0 // [Error] lvalue required as left operand of assignment 

W przypadku

*p1++ += 2; 

Postfix ++ nie jest stosowana na *p1, ale jest stosowany do wskaźnika p1++. Jest tak, ponieważ Postfix ++ ma wyższy priorytet niż operator derereferencji *. Tak, kompilator będzie analizować powyższe oświadczenie

*(p1++) += 2; 

a ten mówi, że:

• *p1 musi być oceniana (w celu wytworzenia zmiennej) przed dodaniem 2 i przypisywanie wynik do niego.
• Wynik do zapisania do *p1 musi zostać oceniony przed przyrostem do p1.
• Po oszacowaniu *p1 można w dowolnym momencie zwiększyć inkrementację p1.