> > reinterpret_cast doesn't require that the intermediate form have the > > same bit pattern. > > Exactly so. However, all valid pointers must be handles, so unless the > 32-bit address space is "sparse", something will go wrong.
I would go so far as to say that it's defined (hence supported) if the intermediate form is at least as many bits as the other types.
