
I am not sure that I understand it though. I have seen examples (wrote a couple myself) where, using the static_visitor, "dictated" the behavior of public member functions of the variant type. But which iterator type to associate with the hosted type would require a variant of iterators to be maintaned along-side. Is this what you mean? If not, is there an example or "sketchy" pseudo code you could point me too.
Sorry, perhaps I misunderstood you. Lets say you've got the following:
variant