Powiem to bardzo wyraźnie, ponieważ ludzie cały czas to źle rozumieją:
Kolejność oceny podwyrażeń jest niezależna zarówno od asocjatywności, jak i pierwszeństwa . Asocjatywność i pierwszeństwo określają, w jakiej kolejności operatory są wykonywane, ale nie określają, w jakiej kolejności są oceniane podwyrażenia . Twoje pytanie dotyczy kolejności, w jakiej są oceniane podwyrażenia .
Rozważ A() + B() + C() * D(). Mnożenie ma wyższy priorytet niż dodawanie, a dodawanie jest lewostronne, więc jest to równoważne z (A() + B()) + (C() * D()) twierdzeniem Ale wiedząc, że mówi ci tylko, że pierwsze dodawanie nastąpi przed drugim dodaniem, a mnożenie nastąpi przed drugim dodaniem. Nie mówi, w jakiej kolejności zostaną wywołane A (), B (), C () i D ()! (Nie mówi również, czy mnożenie ma miejsce przed, czy po pierwszym dodaniu). Byłoby całkowicie możliwe przestrzeganie reguł pierwszeństwa i łączności , kompilując to jako:
d = D()
b = B()
c = C()
a = A()
sum = a + b
product = c * d
result = sum + product
Przestrzegane są tam wszystkie zasady pierwszeństwa i łączności - pierwsze dodawanie następuje przed drugim dodawaniem, a mnożenie następuje przed drugim dodawaniem. Oczywiście możemy wykonywać wywołania A (), B (), C () i D () w dowolnej kolejności i nadal przestrzegać zasad pierwszeństwa i asocjatywności!
Potrzebujemy reguły niezwiązanej z regułami pierwszeństwa i asocjatywności, aby wyjaśnić kolejność, w jakiej podwyrażenia są oceniane. Odpowiednia reguła w języku Java (i C #) brzmi: „Podwyrażenia są oceniane od lewej do prawej”. Ponieważ A () pojawia się na lewo od C (), A () jest obliczane jako pierwsze, niezależnie od tego, że C () bierze udział w mnożeniu, a A () tylko w dodawaniu.
Więc teraz masz wystarczająco dużo informacji, aby odpowiedzieć na swoje pytanie. W a[b] = b = 0regułach skojarzeń powiedz, że tak jest, a[b] = (b = 0);ale to nie znaczy, że b=0biegnie pierwszy! Reguły pierwszeństwa mówią, że indeksowanie ma wyższy priorytet niż przypisanie, ale nie oznacza to, że indeksator działa przed przypisaniem znajdującym się najbardziej po prawej stronie .
(AKTUALIZACJA: Wcześniejsza wersja tej odpowiedzi zawierała drobne i praktycznie nieistotne pominięcia w następnej sekcji, którą poprawiłem. Napisałem również artykuł na blogu opisujący, dlaczego te zasady są rozsądne w Javie i C # tutaj: https: // ericlippert.com/2019/01/18/indexer-error-cases/ )
Pierwszeństwo i asocjatywność mówią nam tylko, że przypisanie zera do bmusi nastąpić przed przypisaniem do a[b], ponieważ przypisanie zera oblicza wartość przypisaną w operacji indeksowania. Pierwszeństwo i asocjatywność sam nic nie mówią o tym, czy a[b]jest oceniane przed lub pob=0 .
Znowu jest to to samo, co: A()[B()] = C()- Wiemy tylko, że indeksowanie musi nastąpić przed przypisaniem. Nie wiemy, czy A (), B () lub C () działa jako pierwsza w oparciu o pierwszeństwo i łączność . Potrzebujemy innej reguły, aby nam to powiedzieć.
Zasada jest taka, że „kiedy masz wybór, co zrobić najpierw, zawsze idź od lewej do prawej”. Jednak w tym konkretnym scenariuszu jest interesująca zmarszczka. Czy efekt uboczny rzuconego wyjątku spowodowany przez kolekcję o wartości null lub indeks spoza zakresu jest uważany za część obliczenia lewej strony przypisania, czy też część obliczenia samego przypisania? Java wybiera to drugie. (Oczywiście jest to rozróżnienie, które ma znaczenie tylko wtedy, gdy kod jest już nieprawidłowy , ponieważ poprawny kod nie wyłuskuje wartości null ani nie przekazuje złego indeksu w pierwszej kolejności).
Więc co się dzieje?
a[b]Jest z lewej strony b=0, a więc a[b]biegnie pierwszy , w wyniku a[1]. Jednak sprawdzenie poprawności tej operacji indeksowania jest opóźnione.- Wtedy się
b=0dzieje.
- Następnie następuje weryfikacja, która
ajest ważna i a[1]mieści się w zakresie
- Przypisanie wartości do
a[1]następuje na końcu.
Tak więc, chociaż w tym konkretnym przypadku istnieją pewne subtelności do rozważenia w tych rzadkich przypadkach błędów, które w pierwszej kolejności nie powinny występować w poprawnym kodzie, ogólnie można rozumować: rzeczy po lewej stronie dzieją się przed rzeczami po prawej . To jest zasada, której szukasz. Mówienie o pierwszeństwie i asocjatywności jest zarówno mylące, jak i nieistotne.
Ludzie cały czas źle to rozumieją , nawet ludzie, którzy powinni wiedzieć lepiej. Wydałem zbyt wiele książek o programowaniu, które podawały zasady niepoprawnie, więc nie jest zaskoczeniem, że wiele osób ma zupełnie niepoprawne przekonania na temat związku między pierwszeństwem / asocjatywnością a porządkiem ocen - mianowicie, że w rzeczywistości nie ma takiego związku ; są niezależni.
Jeśli ten temat Cię interesuje, zobacz moje artykuły na ten temat do dalszej lektury:
http://blogs.msdn.com/b/ericlippert/archive/tags/precedence/
Dotyczą języka C #, ale większość z nich odnosi się równie dobrze do Javy.