Converting a prvalue of type “pointer to data member of X
of type T1
” to the type “pointer to data member of Y
of type T2
” (where the alignment requirements of T2
no stricter than those of T1
) and back to its original type
yields the original pointer-to-member value.