Function Guarantee

If i is an int, and f() is a function taking an int, if f(i++) is called and f() throws an exception, i guaranteed to be incremented.

Reference: More Exceptional C++ by Herb Sutter. Addison-Wesley, 2001, p. 62.