Jak działa operator przecinka

Jak działa operator przecinka w C ++?

Na przykład, jeśli to zrobię:

a = b, c;  

Czy koniec równa się b lub c?

(Tak, wiem, że jest to łatwe do przetestowania - wystarczy udokumentować tutaj, aby ktoś mógł szybko znaleźć odpowiedź).

Aktualizacja: to pytanie ujawniło niuans podczas korzystania z operatora przecinka. Żeby to udokumentować:

a = b, c;    // a is set to the value of b!

a = (b, c);  // a is set to the value of c!

To pytanie zostało zainspirowane literówką w kodzie. Co miało być

a = b;
c = d;

Zmienił się w

a = b,    //  <-  Note comma typo!
c = d;

Byłoby równe b.

Operator przecinka ma niższy priorytet niż przypisanie.

Zwróć uwagę, że operator przecinka może być przeciążony w C ++. Faktyczne zachowanie może zatem bardzo różnić się od oczekiwanego.

Na przykład Boost.Spirit używa operatora przecinka całkiem sprytnie do zaimplementowania inicjatorów list dla tabel symboli. Dzięki temu następująca składnia jest możliwa i znacząca:

keywords = "and", "or", "not", "xor";

Zauważ, że ze względu na pierwszeństwo operatorów kod jest (celowo!) Identyczny z

(((keywords = "and"), "or"), "not"), "xor";

Oznacza to, że pierwszy wywołany operator keywords.operator =("and")zwraca obiekt proxy, na którym operator,wywoływane są pozostałe s:

keywords.operator =("and").operator ,("or").operator ,("not").operator ,("xor");

Operator przecinka ma najniższy priorytet ze wszystkich operatorów C / C ++. Dlatego zawsze jest to ostatnie, które wiąże się z wyrażeniem, co oznacza:

a = b, c;

jest równa:

(a = b), c;

Innym interesującym faktem jest to, że operator przecinka wprowadza punkt sekwencji . Oznacza to, że wyrażenie:

a+b, c(), d

gwarantuje ze swoich trzech podwyrażeń ( a + b , c () i d ) oceniano w kolejności. Jest to istotne, jeśli mają skutki uboczne. Zwykle kompilatory mogą oceniać podwyrażenia w dowolnej kolejności; na przykład w wywołaniu funkcji:

someFunc(arg1, arg2, arg3)

argumenty można oceniać w dowolnej kolejności. Zauważ, że przecinki w wywołaniu funkcji nie są operatorami; są separatorami.

Operator przecinka:

• ma najniższy priorytet
• jest lewostronny

Domyślna wersja operatora przecinka jest zdefiniowana dla wszystkich typów (wbudowanych i niestandardowych) i działa w następujący sposób - biorąc pod uwagę exprA , exprB:

• exprA jest oceniany
• wynik exprAjest ignorowany
• exprB jest oceniany
• wynik funkcji exprBjest zwracany jako wynik całego wyrażenia

W przypadku większości operatorów kompilator może wybrać kolejność wykonywania, a nawet wymagane jest, aby pominąć wykonanie, jeśli nie wpływa to na końcowy wynik (np. false && foo()Pominie wywołanie foo). Nie dotyczy to jednak operatora przecinka i powyższe kroki zawsze będą miały miejsce ^* .

W praktyce domyślny operator przecinka działa prawie tak samo jak średnik. Różnica polega na tym, że dwa wyrażenia oddzielone średnikiem tworzą dwie oddzielne instrukcje, podczas gdy separacja przecinkami zachowuje wszystko jako jedno wyrażenie. Z tego powodu operator przecinka jest czasami używany w następujących scenariuszach:

• Składnia C wymaga pojedynczego wyrażenia , a nie instrukcji. np. wif( HERE )
• Składnia C wymaga jednej instrukcji, a nie więcej, np. Przy inicjalizacji forpętlifor ( HERE ; ; )
• Jeśli chcesz pominąć nawiasy klamrowe i zachować jedno stwierdzenie: if (foo) HERE ;(nie rób tego, to naprawdę brzydkie!)

Jeśli instrukcja nie jest wyrażeniem, średnika nie można zastąpić przecinkiem. Na przykład te są niedozwolone:

• (foo, if (foo) bar)( ifnie jest wyrażeniem)
• int x, int y (deklaracja zmiennej nie jest wyrażeniem)

W Twoim przypadku mamy:

• a=b, c;, odpowiednik a=b; c;, zakładając, że ajest to typ, który nie przeciąża operatora przecinka.
• a = b, c = d;odpowiednik a=b; c=d;, zakładając, że ajest to typ, który nie przeciąża operatora przecinka.

Zwróć uwagę, że nie każdy przecinek jest w rzeczywistości operatorem przecinka. Kilka przecinków, które mają zupełnie inne znaczenie:

• int a, b; --- lista deklaracji zmiennych jest oddzielona przecinkami, ale nie są to operatory przecinkowe
• int a=5, b=3; --- jest to również lista deklaracji zmiennych oddzielonych przecinkami
• foo(x,y)--- lista argumentów oddzielonych przecinkami. W rzeczywistości xi ymożna je oceniać w dowolnej kolejności!
• FOO(x,y) --- rozdzielona przecinkami lista argumentów makr
• foo<a,b> --- oddzielona przecinkami lista argumentów szablonów
• int foo(int a, int b) --- lista parametrów oddzielonych przecinkami
• Foo::Foo() : a(5), b(3) {} --- oddzielona przecinkami lista inicjalizacyjna w konstruktorze klasy

^* Nie jest to do końca prawdą, jeśli zastosujesz optymalizacje. Jeśli kompilator rozpozna, że ​​określony fragment kodu nie ma absolutnie żadnego wpływu na resztę, usunie niepotrzebne instrukcje.

Więcej informacji: http://en.wikipedia.org/wiki/Comma_operator

Wartość abędzie b, ale wartość wyrażenia będzie c. To jest w

d = (a = b, c);

a byłby równy bi dbyłby równy c.

Wartość b zostanie przypisana do a. Nic się nie stanie c

Wartość a będzie równa b, ponieważ operator przecinka ma niższy priorytet niż operator przypisania.

Tak Operator przecinka ma niski priorytet niż operator przypisania

#include<stdio.h>
int main()
{
          int i;
          i = (1,2,3);
          printf("i:%d\n",i);
          return 0;
}

Wynik: i = 3
Ponieważ operator przecinka zawsze zwraca wartość najbardziej po prawej stronie.
W przypadku operatora przecinka z operatorem przypisania:

 int main()
{
      int i;
      i = 1,2,3;
      printf("i:%d\n",i);
      return 0;
}

Ouput: i = 1
Jak wiemy, operator przecinka ma niższy priorytet niż przypisanie .....

Po pierwsze: przecinek w rzeczywistości nie jest operatorem, dla kompilatora jest po prostu tokenem, który ma znaczenie w kontekście innych tokenów.

Co to oznacza i po co się przejmować?

Przykład 1:

Aby zrozumieć różnicę między znaczeniem tego samego tokena w innym kontekście, spójrzmy na ten przykład:

class Example {
   Foo<int, char*> ContentA;
}

Zwykle C ++ Początkujący pomyśli, że to wyrażenie nie mogli / byłoby porównać rzeczy, ale to jest absolutnie źle, rozumieniu <, >a ,żetony depent od kontekstu użycia.

Prawidłowa interpretacja powyższego przykładu jest oczywiście taka, że ​​jest to wstawienie szablonu.

Przykład 2:

Kiedy piszemy typową pętlę for z więcej niż jedną zmienną inicjalizacyjną i / lub więcej niż jednym wyrażeniem, które należy wykonać po każdej iteracji pętli, również używamy przecinka:

for(a=5,b=0;a<42;a++,b--)
   ...

Znaczenie przecinka zależy od kontekstu użycia, tutaj jest to kontekst forkonstrukcji.

Co właściwie oznacza przecinek w kontekście?

Aby to jeszcze bardziej skomplikować (jak zawsze w C ++), sam operator przecinka może zostać przeciążony (dzięki Konradowi Rudolphowi za wskazanie tego).

Wracając do pytania, Kodeks

a = b, c;

oznacza coś w rodzaju kompilatora

(a = b), c;

ponieważ pierwszeństwo z =tokena / podmiotu jest wyższy niż priorytet z ,tokena.

i jest to interpretowane w kontekście

a = b;
c;

(zwróć uwagę, że interpretacja zależy od kontekstu, tutaj nie jest to ani wywołanie funkcji / metody, ani instancja szablonu).