これぐらいならどう?
struct {
  PIterator Next(PIterator); //operator ++();
  PIterator Prev(PIterator); //operator --();
} VirtualFunctionTable;

typedef {
  void *p;
  struct VirtualFunctionTable *pvft;
} Iterator, PIterator;