Co znaczy i = (i, ++ i, 1) + 1; robić?

Po przeczytaniu tej odpowiedzi o niezdefiniowanych zachowaniach i punktach sekwencji napisałem mały program:

#include <stdio.h>

int main(void) {
  int i = 5;
  i = (i, ++i, 1) + 1;
  printf("%d\n", i);
  return 0;
}

Wynik jest 2. O Boże, nie widziałem nadchodzącego dekretu! Co tu się dzieje?

Ponadto podczas kompilacji powyższego kodu otrzymałem ostrzeżenie o treści:

px.c: 5: 8: ostrzeżenie: lewostronny operand wyrażenia przecinka nie ma żadnego efektu

  [-Wunused-value]   i = (i, ++i, 1) + 1;
                        ^

Czemu? Ale prawdopodobnie automatycznie odpowie na to odpowiedź na moje pierwsze pytanie.

W wyrażeniu (i, ++i, 1)użytym przecinkiem jest operator przecinka

operator przecinka (reprezentowany przez token ,) jest operatorem binarnym, który oblicza swój pierwszy operand i odrzuca wynik, a następnie oblicza drugi operand i zwraca tę wartość (i typ).

Ponieważ odrzuca swój pierwszy operand, jest generalnie użyteczny tylko wtedy, gdy pierwszy operand ma pożądane skutki uboczne . Jeśli efekt uboczny pierwszego operandu nie występuje, kompilator może wygenerować ostrzeżenie o wyrażeniu bez efektu.

Tak więc w powyższym wyrażeniu izostanie obliczony lewy element, a jego wartość zostanie odrzucona. Następnie ++izostanie oszacowany i zwiększy się io 1 i ponownie wartość wyrażenia ++izostanie odrzucona, ale efekt uboczny ijest trwały . Następnie 1zostanie obliczona i wartość wyrażenia będzie 1.

Jest odpowiednikiem

i;          // Evaluate i and discard its value. This has no effect.
++i;        // Evaluate i and increment it by 1 and discard the value of expression ++i
i = 1 + 1;  

Zauważ, że powyższe wyrażenie jest całkowicie poprawne i nie wywołuje niezdefiniowanego zachowania, ponieważ istnieje punkt sekwencji między oceną lewego i prawego operandu operatora przecinka.

Cytowanie z C11rozdziału 6.5.17, operator przecinka

Lewy operand operatora przecinka jest oceniany jako puste wyrażenie; istnieje punkt sekwencji między jego oceną a właściwym operandem. Następnie oceniany jest prawy operand; wynik ma swój typ i wartość.

Więc w twoim przypadku

(i, ++i, 1)

jest oceniany jako

1. i, jest oceniany jako void wyrażenie, wartość odrzucana
2. ++i, jest oceniany jako void wyrażenie, wartość odrzucana
3. wreszcie 1zwrócona wartość.

Tak wygląda końcowe stwierdzenie

i = 1 + 1;

i idociera 2. Myślę, że to odpowiada na oba pytania,

• Jak iuzyskuje wartość 2?
• Dlaczego pojawia się komunikat ostrzegawczy?

Uwaga: FWIW, ponieważ po ocenie operandu lewej ręki występuje punkt sekwencji , wyrażenie takie jak (i, ++i, 1)nie będzie wywoływać UB, jak można ogólnie pomyśleć przez pomyłkę.

i = (i, ++i, 1) + 1;

Przeanalizujmy to krok po kroku.

(i,   // is evaluated but ignored, there are other expressions after comma
++i,  // i is updated but the resulting value is ignored too
1)    // this value is finally used
+ 1   // 1 is added to the previous value 1

Otrzymujemy więc 2. A teraz ostatnie zadanie:

i = 2;

Cokolwiek znajdowało się w i, zanim zostało nadpisane.

Wynik

(i, ++i, 1)

jest

1

Dla

(i,++i,1) 

ocena ma miejsce w taki sposób, że ,operator odrzuca oszacowaną wartość i zachowuje tylko najbardziej właściwą wartość, którą jest1

Więc

i = 1 + 1 = 2

Na stronie wiki znajdziesz dobre informacje na temat operatora przecinka .

Zasadniczo to

... oblicza swój pierwszy operand i odrzuca wynik, a następnie oblicza drugi operand i zwraca tę wartość (i typ).

To znaczy że

(i, i++, 1)

z kolei oceni i, odrzuci wynik, oszacuje i++, odrzuci wynik, a następnie oceni i zwróci 1.

Musisz wiedzieć, co robi tutaj operator przecinka:

Twoje wyrażenie:

(i, ++i, 1)

Obliczane jest pierwsze wyrażenie i,,, drugie wyrażenie ++i,, i 1zwracane jest trzecie wyrażenie, dla całego wyrażenia.

Więc wynik jest: i = 1 + 1.

Jak widzisz, na Twoje pytanie dodatkowe pierwsze wyrażenie inie ma żadnego efektu, więc kompilator narzeka.

Przecinek ma „odwrotny” priorytet. To właśnie otrzymasz ze starych książek i podręczników C z IBM (lata 70. / 80.). Zatem ostatnie „polecenie” jest używane w wyrażeniu nadrzędnym.

We współczesnym C jego użycie jest dziwne, ale jest bardzo interesujące w starym C (ANSI):

do { 
    /* bla bla bla, consider conditional flow with several continue's */
} while ( prepAnything(), doSomethingElse(), logic_operation);

Podczas gdy wszystkie operacje (funkcje) są wywoływane od lewej do prawej, tylko ostatnie wyrażenie zostanie użyte jako wynik warunkowego „while”. Zapobiega to obsłudze „goto” w celu zachowania unikalnego bloku poleceń do wykonania przed sprawdzeniem warunków.

EDYCJA: Pozwala to uniknąć również wywołania funkcji obsługującej, która mogłaby zająć się całą logiką po lewej stronie operandów, a więc zwrócić wynik logiczny. Pamiętaj, że w przeszłości nie mieliśmy funkcji inline w C. Dzięki temu można uniknąć narzutu wywołań.