Co robi i = (I, ++i, 1) + 1; do?

Cytat z C11, Rozdział 6.5.17, operator Przecinka

Lewy operand operatora przecinka jest oceniany jako wyrażenie void; jest punkt sekwencji pomiędzy jego oceną A oceną WŁAŚCIWEGO operandu. Wtedy prawo operand jest oceniany; wynik ma swój typ i wartość.

Więc, w Twoim przypadku,

(i, ++i, 1)

Jest oceniana jako

1. i, zostanie ocenione jako wyrażenie void, wartość odrzucone
2. ++i, jest oceniana jako wyrażenie void, wartość odrzucona
3. wreszcie, 1, zwrócona wartość.

Więc ostateczne stwierdzenie wygląda jak

i = 1 + 1;

I i dostaje się do 2. Myślę, że to odpowiada na oba Twoje pytania,

• Jak i otrzymuje wartość 2?
• dlaczego jest komunikat ostrzegawczy?

Uwaga: FWIW, ponieważ istnieje punkt sekwencji obecny po ocenie operandu lewej ręki, wyrażenie w stylu (i, ++i, 1) nie wywoła UB, ponieważ jeden Może ogólnie myśleć przez pomyłkę.

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

(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

Więc otrzymujemy 2. I ostatnie zadanie teraz:

i = 2;

Cokolwiek było w i zanim zostało nadpisane teraz.

Wynik

(i, ++i, 1)

Jest

1

Dla

(i,++i,1) 

Ewaluacja odbywa się w taki sposób, że operator , odrzuca ocenianą wartość i zachowa tylko właściwą większość wartości, którą jest 1

Więc

i = 1 + 1 = 2

Znajdziesz dobrą lekturę na stronie wiki dla operatora Przecinka .

W Zasadzie to

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

Oznacza to, że

(i, i++, 1)

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

Musisz wiedzieć, co operator przecinka tutaj robi:

Twoje wyrażenie:

(i, ++i, 1)

Pierwsze wyrażenie, i, jest oceniane, drugie wyrażenie, ++i, jest oceniane, a trzecie wyrażenie, 1, jest zwracane dla całego wyrażenia.

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

Na twoje pytanie bonusowe, jak widzisz, pierwsze wyrażenie i nie ma żadnego efektu, więc kompilator narzeka.

Przecinek ma pierwszeństwo "odwrotne". To jest to, co dostaniesz ze starych książek i podręczników C od IBM (70s/80s). Więc ostatnie 'polecenie' jest tym, co jest używane w wyrażeniu nadrzędnym.

W nowoczesnym 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 będzie używane jako rezultat warunkowego 'while'. Uniemożliwia to obsługę 'goto', aby zachować unikalny blok poleceń do uruchomienia przed kontrola stanu.

EDIT: to unika również wywołania funkcji obsługującej, która może zająć się całą logiką w lewych operandach i w ten sposób zwrócić wynik logiczny. Pamiętaj, że nie mieliśmy funkcji inline w przeszłości C. Tak więc, może to uniknąć połączenia narzutowego.