क्या std::function का टेम्पलेट तर्क इसके प्रकार में शामिल है?

समस्या परिचय

std::function टेम्पलेट को नियोजित करते समय, अस्पष्टता कई प्रशंसनीय अधिभार के कारण उत्पन्न हो सकता है। विशेष रूप से, निम्नलिखित कोड स्निपेट पर विचार करें:

#include 

using namespace std;

int a(const function& f) { return f(); }
int a(const function& f) { return f(0); }
int x() { return 22; }
int y(int) { return 44; }

int main() {
    a(x); // Call is ambiguous.
    a(y); // Call is ambiguous.
}

अस्पष्टता इस तथ्य से उत्पन्न होती है कि function और function दोनों का निर्माण एक सामान्य फ़ंक्शन पॉइंटर से किया जा सकता है। यह फ़ंक्शन के ओवरलोड के लिए कई संभावित मिलान प्रस्तुत करता है।

अस्पष्टता संकल्प

std::function के लिए टेम्पलेट तर्क के हस्ताक्षर को घोषणा और परिभाषा के दौरान इसके प्रकार का हिस्सा माना जाता है। हालाँकि, ऑब्जेक्ट निर्माण के दौरान ऐसा नहीं है।

std::function, C में कई कार्यात्मक ऑब्जेक्ट की तरह, टाइप इरेज़र नामक तकनीक का उपयोग करता है। यह इसे मनमानी वस्तुओं या कार्यों को स्वीकार करने में सक्षम बनाता है, जब तक कि वे बुलाए जाने पर अपेक्षित हस्ताक्षर को संतुष्ट करते हैं। नकारात्मक पक्ष यह है कि बेमेल हस्ताक्षरों से संबंधित त्रुटियां कंस्ट्रक्टर स्तर के बजाय कार्यान्वयन के भीतर ही होती हैं। ]

स्पष्ट प्रकार कास्टिंग

निष्कर्ष
• जबकि std::function का टेम्पलेट तर्क घोषणाओं और परिभाषाओं के दौरान इसके प्रकार को निर्धारित करता है, यह ऑब्जेक्ट निर्माण में कोई भूमिका नहीं निभाता है। जब कंस्ट्रक्टर मनमाने तर्क स्वीकार करते हैं तो इससे अस्पष्टता पैदा हो सकती है। इसे हल करने के लिए, प्रोग्रामर स्पष्ट प्रकार की कास्टिंग, फ़ंक्शन ऑब्जेक्ट रैपिंग, या टीएमपी का उपयोग कर सकते हैं।