>>968
任意のデータ型のポインタをvoid*に代入し
再度元のデータ型に戻すと、元のポインタが確実に復元できることは規格で保証されている。
・・・Cでは。

C++でも、Cスタイル/static/reinterpretなキャストなら
(つーか、void*にdynamic_castとか出来ないし)
保証されていそうな気がするが。