क्या सामान्य तर्कों के साथ फ़ंक्शन पॉइंटर पास करने का कोई तरीका है?

Question

मैं एक सामान्य एकल लिंक वाली सूची को कार्यान्वित कर रहा हूं जहां सूची नोड्स अपने डेटा में एक पॉइंटर स्टोर करते हैं।

typedef struct sll_node 
{ 
    void *data; 
    struct sll_node *next; 
} sll_node; 

एक सामान्य खोज सबरूटीन कि डेटा के किसी भी प्रकार के साथ काम करता लागू करने के लिए, मैं इतना है कि यह एक तर्क के रूप तुलना कार्य करने के लिए एक समारोह सूचक ले जाता है इस प्रकार के रूप में यह लिखा है:

/* eq() must take 2 arguments. ex: strcmp(char *, char *) */ 
sll_node *sll_find(void *data, int (*eq)(), sll_node *root); 

आप कर सकते हैं उपयुक्त फ़ंक्शन पॉइंटर को पास करें जो डेटा प्रकार के साथ काम करता है .. इसलिए यदि आप सूची नोड्स में तारों को स्टोर करते हैं, तो आप eq() फ़ंक्शन के रूप में strcmp को पास कर सकते हैं, और इसी तरह। यह काम करता है लेकिन मैं अभी भी संतुष्ट नहीं हूं ..

क्या इसकी सामान्यता को छोड़ दिए बिना तुलनात्मक फ़ंक्शन पैरामीटर की संख्या स्पष्ट रूप से निर्दिष्ट करने का कोई तरीका है?

मैं पहली बार में यह करने की कोशिश की:

sll_node *sll_find(void *data, int (*eq)(void *, void *), sll_node *root); 

मैं यह काम करने की उम्मीद। लेकिन नहीं (संपादित करें: यह एक चेतावनी के साथ संकलित करता है लेकिन मेरे पास है - वार्ता!), मुझे ईआर प्रोटोटाइप के अनुरूप बनाने के लिए स्ट्रैम्प के चारों ओर एक रैपर फ़ंक्शन लिखना पड़ा।

मैं तो कोशिश की:

sll_node *sll_find(void *data, int (*eq)(a, b), sll_node *root); 

या:

typedef int (*equality_fn)(a, b); 
sll_node *sll_find(void *data, equality_fn eq, sll_node *root); 

जो दोनों संकलन नहीं होता के बाद से:

Answer 1

"प्रकार के बिना एक पैरामीटर सूची में केवल एक समारोह परिभाषा की अनुमति दी है" एक रैपर या कलाकार के बिना strcmp का उपयोग करने के लिए, घोषणा

होने की आवश्यकता है

दूसरी तरफ, यदि आप const void * के रूप में तर्क घोषित करते हैं, तो आप उपयुक्त प्रकार पर strcmp कास्टिंग करके रैपर से बच सकते हैं।

विधि 1: प्रत्यक्ष डाली, गंदा लेकिन प्रभावी

result = findNode("hello", (int(*)(const void *, const void *))strcmp, root); 

विधि 2: तुलना समारोह typedef, और फिर इसे कास्ट करने के लिए

typedef int (*cmpfunc)(const void *, const void *); 
result = findNode("world", (cmpfunc)strcmp, root); 

---

संपादित का उपयोग करें: this post पढ़ने के बाद @WilburVandrsmith जुड़ा हुआ है, मैंने इस जवाब को छोड़ने का फैसला किया है। मैं यह पाठक पर छोड़ते प्रस्तावित डाली विनिर्देश से निम्नलिखित पैराग्राफ हुआ कि क्या तय करने के लिए:

एक परिवर्तित सूचक एक समारोह जिसका प्रकार के साथ संगत नहीं है कॉल करने के लिए प्रयोग किया जाता है उठाई-टू टाइप करें, व्यवहार अपरिभाषित है।

संगत या संगत नहीं, कि सवाल यह है कि, आप तय।

Answer 2

आपका अंतिम प्रयास समाधान सही होने का सबसे निकटतम है। आपके द्वारा निर्धारित प्रकार समारोह सूचक जरूरत में पैरामीटर, अपने डेटा प्रकार के साथ घोषित करने जैसे आप एक नियमित समारोह घोषणा के साथ, चाहेंगे तो:

typedef int (*equality_fn)(char *a, char *b); 
sll_node *sll_find(void *data, equality_fn eq, sll_node *root); 

अद्यतन

यह अधिक सामान्य बनाने के लिए शून्य संकेत का उपयोग करें, और उसके बाद टाइप equality_fn के लिए मिलान समारोह परिभाषा की जरूरत डेटा प्रकार के लिए पारित शून्य संकेत डाली:

typedef int (*equality_fn)(void *a, void *b); 
sll_node *sll_find(void *data, equality_fn eq, sll_node *root); 

कुछ किसी और महत्वपूर्ण फिर से सदस्य यह है कि एक सूचक एक सूचकएक सूचक है, भले ही यह मूल रूप से परिभाषित किया गया हो या यह मूल रूप से परिभाषित किया गया हो। तो, आपके पास कुछ फ़ंक्शन पॉइंटर, या शून्य पॉइंटर, या एक बाइट, एक चार, एक इंट-इश्यू के लिए पॉइंटर हो सकता है - जब तक आप इसे अपने कोड में सही तरीके से संभाल लें और उसे वापस वैध प्रकार पर डालें इसका उपयोग करने का प्रयास कर रहा है।

कुछ और कोडर सी में अधिक लाभ नहीं लेते हैं, यह है कि फ़ंक्शन नाम स्वयं वास्तव में केवल पते हैं जिन्हें रन-टाइम पर बुलाया जाता है, और इसलिए वे पॉइंटर्स भी हैं। ;)

Answer 3

इस पहेली मेरे समाधान (सूचक typedefs से परहेज किया जाएगा, संयोग से):

typedef int equality_fn(const void *a, const void *b); 

sll_node *sll_find(void *data, equality_fn *eq, sll_node *root); 

फिर अपने सभी तुलनाकारक प्रकार equality_fn का हो सकते हैं। आप वास्तव में तो एक समारोह के लिए की जरूरत है तो ठीक है: एक संभावित picosocopic क्रम दंड के बदले में प्रकार सुरक्षा के

equality_fn eq_strcmp; // a prototype 

// ... 

int eq_strcmp(const void *a, const void *b) { return strcmp(a, b); } 

लाभ बहुत सारे - जो इस व्यापार आप पर होना चाहता हूँ के अंत आपके आवेदन पर निर्भर करता है।