استخدام أسماء الوظائف كمؤشرات للوظائف

توفر وثيقة الأساس المنطقي لـ C90 نظرة ثاقبة لاختيار التصميم لمساواة أسماء الوظائف بمؤشرات الوظائف. تعمل هذه الراحة على تبسيط استخدام مؤشرات الوظائف في سياقات محددة.

إعلانات الوظائف

خذ بعين الاعتبار الإعلانات:

int f(); int (*pf)();

int f();
int (*pf)();

استدعاءات الوظائف

جميع استدعاءات الوظائف الصحيحة التالية:

(&f)(); و ()؛ (*و)(); (**و)(); (***و)(); الجبهة الوطنية ()؛ (* الجبهة الوطنية)(); (** الجبهة الوطنية)(); (***pf)();

int f();
int (*pf)();

تمت تغطية التعبير الأول في كل سطر مسبقًا. والثاني تقليدي. تشير التعبيرات اللاحقة إلى تحويل ضمني لمسمى الوظيفة إلى قيمة مؤشر في معظم السياقات.

مبررات التصميم

لم تر اللجنة أي عيوب كبيرة في السماح بهذه النماذج وعرضها تحريمها باعتبارها جهدا مفرطا. وبالتالي، فإن التكافؤ بين محددات الوظائف ومؤشرات الوظائف يوفر سهولة في استخدام المؤشر.

التحويل الضمني

ملاحظة أخرى مثيرة للاهتمام هي التحويل الضمني لأنواع الوظائف إلى مؤشرات عند استخدامها. كمعلمات ولكن ليس كأنواع إرجاع:

typedef bool FunctionType(int); باطلة ز (نوع الوظيفة)؛ // يتم التحويل ضمنيًا إلى void g(FunctionType *) نوع الوظيفة h(); // خطأ نوع الوظيفة *j(); // يُرجع مؤشر دالة من النوع bool(int)