i = i ++; jest niezdefiniowany. Czy i = foo (i ++) również jest niezdefiniowane?

Question

Na przykład:

int foo(int i) { return i; } 

int main() 
{ 
    int i = 0; 

    i = i++;  // Undefined 
    i = foo(i++); // ? 

    return 0; 
} 

Co obecna norma ISO C++ byłoby określić w tym przypadku?

EDIT:

Oto gdzie mogę się mylić:

ile nie zaznaczono inaczej, oceny argumentów poszczególnych operatorów i podwyrażeń poszczególnych wyrażeń są unsequenced.

przypadku efektem ubocznym w skalarnej przedmiotu jest unsequenced względem albo innego efektu siebie na tej samej skalarnej obiektu lub obliczania wartości stosując wartość samej skalarnej obiektu i nie są one potencjalnie zbieżnego (1.10) nieokreślone jest zachowanie .

We wszystkich przypadkach przyporządkowanie jest zsekwencjonowany po wartość obliczania prawo i lewo argumentów, a przed obliczania wartości wyrażenia przypisania

Każda ewaluacja w funkcji wywołującej (w tym innych wywołań funkcji), które w innym przypadku nie jest specyficznie oznaczony przed lub po wykonaniu treści wywoływanej funkcji w sposób nieokreślony sekwencyjnie z względem wykonania wywoływanej funkcji.

Więc wydaje się, że można mieć do obliczenia wartości po lewej stronie przypisania (tylko i), a efekt uboczny po prawej stronie (modyfikacja i z i++), które nie są wyświetlane sekwencyjnie w odniesieniu do siebie nawzajem.

EDIT2:

Dla każdego, kto znajdzie się tutaj, jest naprawdę świetny wyjaśnienie o sekwencjonowanie że znalazłem here.

Answer 1

Ostatnie zdanie w swoim cytatem mówi „który nie jest inaczej zsekwencjonowany przed lub po wykonaniu korpusu zwanej funkcji” więc pytanie o to, czy przyrost i przypisanie są "inaczej sekwencyjnie sekwencjonowane przed lub po" ciele funkcji.

1,9 [intro.execution] p15 ma odpowiedź:

Przy wywołaniu funkcji (czy funkcja jest inline), co obliczanie wartości i niepożądanym związane z każdym ekspresji argumentu lub z wyrażenie postfiksowe określające wywoływaną funkcję, jest zsekwencjonowane przed wykonaniem każdego wyrażenia lub instrukcji w treści wywoływanej funkcji.[] Uwaga: Wartość i skutki uboczne powiązane z różnymi wyrażeniami argumentów są niesekwencjonowane. - koniec uwaga]

Więc przyrost i dzieje przed ciele funkcji i przypisanie do i dzieje po powrocie funkcji, więc jest doskonale zdefiniowane.

W terminologii przed C++ 11 wywołanie funkcji wprowadza punkt sekwencji między przyrostem a przydziałem.

Answer 2

i = foo(i++); jest w porządku, ponieważ i++ jest wykonywane przed wywołaniem foo(). Wykonano kopię i, a następnie i została zwiększona, a następnie kopia została przekazana do foo(). To jest tak samo jak robi to wyraźnie:

int tmp = i++; 
i = foo(tmp);