सी ++

Question

में std :: फ़ंक्शन हस्ताक्षर पर अधिभार कैसे करें मुझे पता है कि इस प्रश्न से पहले पूछा गया है, लेकिन काफी अनुभवी कोडर होने के बावजूद मुझे जवाब नहीं समझते हैं और इन प्रश्नों के उत्तर देने के लिए कोई तरीका नहीं दिखने के लिए स्पष्टीकरण। कोई "उत्तर" लिंक या कुछ भी नहीं है। इसके अलावा, वे सवाल काफी पुराने थे। तो, मैं सवाल फिर से पूछ रहा हूँ।

मेरे पास एक कक्षा है, जिसमें मैं + = ऑपरेटर को अधिभारित कर रहा हूं। मैं एक अधिभार एक नंगे समारोह सूचक लेना चाहते हैं, और अन्य एक std :: समारोह लेने के लिए:

void operator+=(void (*handler)()); 
void operator+=(function<void (void *, T)> handler); 

उपयोग:

MyClass a; 
a += [](){ DoSomething(); }; 
a += [](void *x, T y){ DoSomething(); }; 

दुर्भाग्य से, कोड संकलन नहीं है क्योंकि संकलक निर्धारित नहीं कर सकता कि दूसरा अधिभार पहले + = कॉल के लिए अनुपयुक्त है।

मैं इस समस्या को ठीक करने के लिए अपने ऑपरेटर + = सदस्य फ़ंक्शंस को कैसे परिभाषित करूं? मैं नहीं बदलना चाहता कि ऑपरेटरों का उपयोग कैसे किया जाता है (उदाहरण के लिए एक स्पष्ट कलाकार का उपयोग करके)। मैं उन्हें उपरोक्त प्रदर्शन के रूप में काम करना चाहता हूं।

इसके अलावा, यह निम्नलिखित अधिभार के रूप में अच्छी तरह से पाना उपयोगी होगा:

void operator+=(function<void()> handler); 

लेकिन फिर से, मैं समारोह <> टेम्पलेट के हस्ताक्षर के आधार पर अधिभार नहीं कर सकते।

अतिरिक्त उदाहरणों के लिए इस सूत्र देखें: Isn't the template argument (the signature) of std::function part of its type? (मुझे लगता है कि थ्रेड में उल्लिखित विभिन्न समाधान को लागू करने की कोशिश की, और उनमें से कोई भी संकलन होगा)

मैं की संख्या में कई वर्षों के लिए प्रोग्रामिंग किया गया है भाषाएं, लेकिन मेरे सी ++ कौशल थोड़ा जंगली हैं।

Answer 1

++ जी के साथ 4.7.2 में अच्छी तरह से काम करता है कोड के बाद:

#include <functional> 
#include <iostream> 

template <typename T> 
typename std::enable_if<std::is_convertible<T, void(*)()>::value>::type 
foo(T&&) 
{ 
    std::cout << "foo(void(*)())" << std::endl; 
} 

void foo(std::function<void(void*,int)>) 
{ 
    std::cout << "foo(std::function<void(void*,int)>)" << std::endl; 
} 

int main() 
{ 
    foo([]{}); 
    foo([](void*,int){}); 
} 

समस्या std::function के निर्माता है, जो template <class F> function(F); के रूप में घोषित किया जाता है के कारण होता है। वह कन्स्ट्रक्टर सबकुछ इसके तर्क के रूप में स्वीकार करता है। यदि उस तर्क में उचित operator() नहीं है, तो कन्स्ट्रक्टर के तत्काल के दौरान एक त्रुटि उत्पन्न होती है।

दुर्भाग्यवश ओवरलोड रिज़ॉल्यूशन प्रक्रिया को किसी भी टेम्पलेट फ़ंक्शंस को तत्काल करने की आवश्यकता नहीं होती है, इसलिए संकलक का मानना ​​है कि सब कुछ std::function प्रकार में परिवर्तित किया जा सकता है।

Answer 2

ठीक है, अगर आपके पास std::vector<std::function<void()>> है तो आपको ओवरलोड का समूह भी नहीं होना चाहिए। सबसे आसान तरीका एक टेम्पलेट operator+= को परिभाषित करना है, संभवतः कॉल करने योग्य ऑब्जेक्ट या फ़ंक्शन पॉइंटर्स के लिए चालू होने के लिए std::enable_if के साथ "संरक्षित" संभव है। तो लैम्बडा या कच्चे पॉइंटर्स को पास करने से आपके लिए असाइनमेंट (push_back/emplace_back) पर स्वचालित रूपांतरण होगा। पासिंग std::function बस अपेक्षित के रूप में असाइन करेगा।