в выражении ++i (которое l-value) будет иметь место l-value to r-value преобразование (т.е. тут ведь необходимо получить старое значение) ? При передаче по значению в функцию объекта (допустим с нетривиальным копированием) преобразование есть?