एएनएसआई सी मानक एक फ़ंक्शन प्रोटोटाइप की अवधारणा को परिभाषित करता है, जो एक फ़ंक्शन घोषणा का सबसेट है जो इनपुट मापदंडों के प्रकार को इंगित करता है। आम फ़ंक्शन घोषणाओं के नुकसान को खत्म करने के लिए प्रोटोटाइप पेश किए गए थे।

इस प्रकार, फ़ंक्शन प्रोटोटाइप के कोष्ठकों में पैरामीटर प्रकारों की एक सूची को निर्दिष्ट करना अनिवार्य है, अन्यथा इस तरह की अभिव्यक्ति को कंपाइलर द्वारा अप्रचलित फ़ंक्शन घोषणा के रूप में पहचाना जाएगा, जिससे इस लेख में वर्णित अस्पष्ट स्थितियों का कारण बन सकता है।

आउटडेटेड प्रोटोटाइप

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

इस प्रकार, नीचे दिए गए कोड की पहली अभिव्यक्ति एक घोषणा है, लेकिन फ़ंक्शन प्रोटोटाइप नहीं है। निम्नलिखित अभिव्यक्ति को सही रूप से एक प्रोटोटाइप माना जा सकता है, क्योंकि यह अपने मापदंडों के प्रकारों को निर्दिष्ट करता है:

/* #1 (   "foo") */ void foo(); /* #2 (  "bar") */ void bar(int count, const char *word); 

पदावनत परिभाषाएँ

आइए सीधे 1972 (जिस वर्ष सी भाषा को जारी किया गया था) को याद करें और याद रखें कि उस समय के प्रोग्रामरों ने अपने कार्यों को कैसे परिभाषित किया था। आपको याद दिला दूं कि एक फंक्शन डेफिनेशन इसके सिग्नेचर को संबंधित एक्जीक्यूटेबल ब्लॉक (बॉडी) के साथ जोड़ देता है। यह कोड K & R शैली में add फ़ंक्शन की परिभाषा प्रदर्शित करता है:

 void add(right, left, result) int right; int left; int *result; { *result = right + left; } 

जैसा कि आपने देखा होगा, इस प्रविष्टि में, कोष्ठक फ़ंक्शन की पहचान करते हैं, लेकिन इसमें किसी भी प्रकार के इनपुट पैरामीटर नहीं होते हैं। पिछले खंड में वर्णित "क्लासिक" फ़ंक्शन घोषणाओं में समान संपत्ति है।

अस्पष्ट परिस्थितियाँ

यह संभव है कि अगर ANSI C मानक द्वारा पेश किए गए प्रोटोटाइप और फ़ंक्शन परिभाषाओं के नए सिंटैक्स का अवलोकन नहीं किया जाता है, तो कठिन अस्पष्ट परिस्थितियां उत्पन्न हो सकती हैं। एक उदाहरण पर विचार करें:

 #include <stdio.h> #include <stdint.h> #include <inttypes.h> #include <limits.h> /*    "print_number" */ void print_number(); int main(void) { /*  */ print_number((double)13.359); print_number((double)9238.46436); print_number((double)18437); /*    */ print_number(UINT64_MAX); print_number("First", "Second", "Third"); print_number(NULL, "Breakfast", &print_number); } void print_number(double number) { printf(" : [%f]\n", number); } 

हम इस कार्यक्रम का विश्लेषण करेंगे। सही print_number फ़ंक्शन print_number पैरामीटर प्रकारों की सूची निर्दिष्ट किए बिना घोषित print_number , इसलिए आप इस फ़ंक्शन को किसी भी तर्क के साथ कॉल कर सकते हैं। कार्यक्रम त्रुटियों के बिना संकलित और निम्नलिखित परिणाम मुद्रित किया गया:

 $ gcc illegal.c -o illegal -Wall $ ./illegal  : [13.359000]  : [9238.464360]  : [18437.000000]  : [0.000000]  : [0.000000]  : [0.000000] 

यह भी ध्यान दें कि -Wall ध्वज के साथ भी, -Wall संकलक gcc (Ubuntu 7.4.0-1ubuntu1~18.04.1) 7.4.0 ने कोई चेतावनी उत्पन्न नहीं की (लेकिन यह बहुत वांछनीय होगा)।

इस प्रोग्राम को ठीक करना मुश्किल नहीं होगा, बस सातवें लाइन पर print_number फ़ंक्शन की घोषणा के कोष्ठकों में double number जोड़ें, जिसके बाद मानक का पालन करने वाला कोई भी कंपाइलर main() फ़ंक्शन में त्रुटियों का संकेत देगा:

 $ gcc -Wall illegal.c -o illegal illegal.c: In function 'main': illegal.c:17:22: error: incompatible type for argument 1 of 'print_number' print_number("First", "Second", "Third"); ^~~~~~~ illegal.c:7:6: note: expected 'double' but argument is of type 'char *' void print_number(double number); ^~~~~~~~~~~~ illegal.c:17:9: error: too many arguments to function 'print_number' print_number("First", "Second", "Third"); ^~~~~~~~~~~~ illegal.c:7:6: note: declared here void print_number(double number); ^~~~~~~~~~~~ illegal.c:18:22: error: incompatible type for argument 1 of 'print_number' print_number(NULL, "Breakfast", &print_number); ^~~~ illegal.c:7:6: note: expected 'double' but argument is of type 'void *' void print_number(double number); ^~~~~~~~~~~~ illegal.c:18:9: error: too many arguments to function 'print_number' print_number(NULL, "Breakfast", &print_number); ^~~~~~~~~~~~ illegal.c:7:6: note: declared here void print_number(double number); ^~~~~~~~~~~~ 

मापदंडों के बिना कार्य

मैं यह भी ध्यान देता हूं कि पैरामीटर के प्रोटोटाइप और फ़ंक्शंस की कोष्ठक में void कीवर्ड निर्दिष्ट करना जो पैरामीटर नहीं लेते हैं, वे अत्यधिक वांछनीय हैं (लेकिन आवश्यक नहीं)। यदि यह नियम नहीं देखा जाता है, तो संकलक पास किए गए तर्कों के प्रकार के पत्राचार की जांच करने में सक्षम नहीं होगा, जब फ़ंक्शन को परिभाषा से मान्य प्रकारों के साथ कहा जाता है।

 #include <stdio.h> /*    "do_something" */ void do_something(); int main(void) { /*  "do_something"       */ do_something(NULL, "Papa Johns", 2842, 1484.3355); } void do_something() { puts("I am doing something interesting right now!"); } 

do_something() फ़ंक्शन की परिभाषा और घोषणा में void कीवर्ड डालकर उपरोक्त कोड को ठीक करें, अन्यथा यह कार्यक्रम त्रुटियों के बिना संकलन करेगा। इस उदाहरण में, main() फ़ंक्शन को मापदंडों में void टोकन के साथ भी परिभाषित किया गया है, हालांकि यह आवश्यक नहीं है।

निष्कर्ष

इस लेख का लेखन स्टीफन प्रेट की पुस्तक "सी प्रोग्रामिंग लैंग्वेज। लेक्चर्स एंड एक्सरसाइज। छठा संस्करण" और विशेष रूप से पांचवें अध्याय के खंड "तर्कों के साथ कार्य" से प्रेरित था।