How to show that a loop control variable is not changed inside the C++ for-loop body?

Question

In C++ changing a loop variable inside a for-loop is allowed:

for( int i = 0; i < limit; i++ ) {
    if( condition ) {
       i--;
    }
}

Now if a loop body is rather complex it is not immediately obvious to the reader whether the loop variable is changed inside the loop body. It would be nice to somehow tweak the code so that once the reader only sees the for-loop header he immediately knows that the loop variable is not changed inside the body.

For example, if I use const:

const int value = computeValue();
//lots of code here

then it is clear that whatever code is written below the const variable definition the variable is unchanged.

Is there a way to achieve something similar - logical constness within the iteration - in case of for-loop control variables in C++?

Answer 1

I don't think this is possible for hand-crafted loop, but I'd guess that could be considered an additional argument to encourage the use of std::for_each and BOOST_FOREACH for iterations over STL container.

EDIT ... and the C++0x range-based for-loop (thanks Matthieu. M :)