POSIXでは、"任意の関数へのポインタ型"と"void*
型"の相互変換は安全に行えると思います。
訂正: dlsym()
戻り値型(void*
)から関数ポインタ型への一方向変換のみが許容され、"任意の関数ポインタ型"と"void*
型"の相互変換は認められないと考えます。詳細は後述追記を参照ください。
英語版SOの関連質問"Are all data pointers of the same size in one platform?"回答には下記引用がありました。(これに直接該当する公開資料は見つけられず…)しかし、この引用元は改訂により削除されています。
2.12.3 Pointer Types
All function pointer types shall have the same representation as the type pointer to void. Conversion of a function pointer to void * shall not alter the representation. A void * value resulting from such a conversion can be converted back to the original function pointer type, using an explicit cast, without loss of information.
Note: The ISO C standard does not require this, but it is required for POSIX conformance.
また、The Open Group Base Specifications Issue 7, IEEE Std 1003.1, 2013 Editionには次の記載があります。
B.2.12 Data Types
Pointer Types
POSIX.1-2008 explicitly requires implementations to convert pointers to void * and back with no loss of information. This is an extension over the ISO C standard.
追記: 当初は「相互変換OK」と考えていたのですが、少し雲行きが怪しい気がしてきました。
ISO/IEC/IEEE 9945:2009 Technical Corrigendum 1(POSIX Base Specifications, Issue 7 TC1)で"2.12.3 Pointer Types"が削除されています。OpenGroupのWebサイトはTC適用済みのため、引用文面が記載されていないと考えられます。この削除の根拠として、Austin Group Defect Report(s) #74へのリンクがありました。そこでは
- 任意の関数ポインタ型⇔
void*
相互変換を許容すると、POSIXでは下記のような危険なコードを合法化してしまう(任意コード実行のような脆弱性につながる)
- 元々の意図は「
dlsym()
戻り値から適切な関数型ポインタキャストのみを特例として許容する」であったはず
の2点が挙げられていました。
char buf[1024];
void *p;
int (*f)(void);
// assemble instructions into buf
p = buf;
f = p;
f();