int foo(int c){
return c;
}
int main(void){
int a=5,c;
c = foo(--a) + a;
}
Ще извика ли недефинирано поведение в C/C++? Мисля, че няма да стане.
След като прочетох всички отговори, не мога да разбера дали това е недефинирано поведение или неопределено поведение.
Да, това е недефинирано поведение - a и foo(--a) могат да бъдат оценени в произволен ред.
За допълнителна справка вижте напр. Точка на последователността. Има точка на последователност след пълния израз и след оценка на аргумента към foo - но редът на оценка на подизразите е неуточнен за 5/4:
Освен където е отбелязано, редът на оценка на операндите на отделните оператори и подизразите на отделните изрази, както и редът, в който възникват страничните ефекти, не е уточнен. Между предишната и следващата точка на последователност, съхранената стойност на скаларния обект трябва да бъде променена най-много веднъж чрез оценката на израз. Освен това, предходната стойност трябва да бъде достъпна само за определяне на стойността, която да бъде съхранена. Изискванията на този параграф трябва да бъдат изпълнени за всяко допустимо подреждане на подизразите на пълен израз; в противен случай поведението е недефинирано.
РЕДАКТИРАНЕ: Както Prasoon посочва, поведението е неуточнено поради реда на оценката ... е неуточнено. и става недефинирано поради предходната стойност ще бъде достъпна само за определяне на стойността, която да бъде съхранена
a да бъде оценено след --a, но преди foo(...), което може да има значение, ако foo допълнително промени стойността на a.
- person Matthieu M.; 22.03.2011
int c = foo(k--) + foo(--j) не извиква undefiend поведение, въпреки че редът на оценка на + не е определен.
- person Prasoon Saurav; 22.03.2011
Трябва да прочетете това, то ще ви каже, че вашият код е недефиниран, защото + не е точка на последователност и като такова не е дефинирано дали първо се оценява f(--a) или a.
Въпреки че операндите на оператора + могат да бъдат оценени в който и да е ред, поведението е недефинирано, защото нарушава второто правило
1) Между предишната и следващата точка на последователност даден обект трябва да има своята съхранена стойност, променена най-много веднъж чрез оценката на израз.
2) Освен това, предходната стойност ще бъде достъпна само за определяне на стойността, която да бъде съхранена.
Следното е добре дефинирано
c = foo(a-1) + a ;
Прочетете този ЧЗВ запис за по-добро разбиране на недефинирано поведение и точки на последователност.
Според Wikipedia + не е точка на последователност, така че редът на оценката не е фиксирана, следователно имате недефинирано поведение.
Ще получите предупреждение за върнат тип в основната функция, иначе е добре и c = 8 в края на main().
comp.lang.c++.moderatedиcomp.std.c++в Usenet), но не са много и дори те понякога не са съгласни по тънки ъглови случаи. Още по-важното е, че (някои) компилатори също може да не са съгласни с тях. Ако кодът не е достатъчно ясен, че с един поглед към него програмист с разумен опит може да каже Да! или Не!, опростете го и готово. - person sbi schedule 22.03.2011