(5.2.9/10) 「cv1 void へのポインター」型の右辺値は、「cv2 T へのポインター」型の右辺値に変換できます。ここで、T はオブジェクト型であり、cv2 は cv-qualification と同じかそれ以上です。 cv-修飾より、cv1. 「cv void へのポインター」に変換され、元のポインター型に戻されるオブジェクトへのポインター型の値は、元の値になります。
from のキャストの結果はvoid*
(int*
元のポインター型) になっているので、次のキャストが有効になる理由は何ですか?
int i = 10;
double *pd_2 = static_cast<double*>(static_cast<void*>(&i));