تحويل المؤشرات الفارغة إلى مؤشرات دالة: احتمال مشروط في لغة C

مشكلة

الحصول على مؤشر فارغ عبر dlsym () ، الهدف هو استدعاء الوظيفة المشار إليها بواسطة هذا المؤشر. لقد فشلت محاولة التحويل من خلال الإرسال باستخدام static_cast أو reinterpret_cast، على عكس التحويل بنمط C.

الإجابة

التحويل المباشر لمؤشر فارغ إلى مؤشر دالة غير مسموح به في C 98/03. ومع ذلك، يوفر C 0x دعمًا مشروطًا، مما يسمح للتنفيذ بإملاء السلوك.

نهج سلوك غير محدد:

على الرغم من أنه غير محدد بواسطة المعيار، إلا أن الكود التالي قد يعمل على معظم المنصات:

void *gptr = dlsym(some symbol..);
typedef void (*fptr)();
fptr my_fptr = reinterpret_cast(reinterpret_cast(gptr));

بدلاً من ذلك:

fptr my_ptr = 0;
reinterpret_cast(my_ptr) = gptr;

طريقة معقدة ولكن محمولة:

تستغل هذه الطريقة حقيقة أن عنوان مؤشر الوظيفة هو مؤشر كائن:

// Get address as object pointer
void (**object_ptr)() = &my_ptr;

// Convert to void** (also an object pointer)
void **ppv = reinterpret_cast(object_ptr);

// Store address from 'gptr' in memory cell pointed to by 'ppv'
*ppv = gptr;

يظل هذا النهج غير محدد في المعيار ولكن يجب أن يعمل بشكل جيد في معظم التطبيقات.