Здравствуйте flyker, Вы писали:
F>оператор + есть функция от двух переменных F>перепишем его в виде plus(a, b) F>таким образом F>a++ + b F>эквивалентно F>plus(a++, b) F>а здесь уже a+1 внутрь передаваться не будет никогда. F>Может я чего-то не понимаю ???
оператор есть функция только с синтаксической точки зрения, но не с точки зрения исполнения кода.
Вызов функции устанавливает по крайней мере 2 точки следования — до ее вызова и после, а арифметическое выражение не устанавливает точек следования внутри себя.
Поэтому тут нет эквивалентности.