Assume you need to look at the predecesdor and the successor of a position (assuming they are there). You could use
it[-1] // predecessor
it[0] // current position same as *it
it[1] // successor
Of course, when present you can also use other indices. Although the subscript operator needs to be defined I don't think I ever needed it in an algorithm. The positioning operations are a lotmore important.