समारोह स्थिरांक सदस्य समारोह

Question

के सदस्य-समारोह और सूचक के लिए दोनों सूचक ले रही है मैं निम्नलिखित कोड आधार है:

template <typename Type> 
class SomeClass { 
public: 
    template <typename ReturnType, typename... Params> 
    void register_function(const std::pair<std::string, ReturnType (Type::*)(Params...)> fct) { 
     auto f = [fct](Params... params) -> ReturnType { return (Type().*fct.second)(std::ref(params)...); } 
     // ... 
    } 
}; 

यह काम करता है जब मैं एक सदस्य-कार्य करने के लिए एक सूचक पारित (गैर स्थिरांक)। हालांकि, अगर मैं एक स्थिरांक सदस्य-कार्य करने के लिए एक सूचक पास करना चाहते हैं, यह एक संकलन त्रुटि में परिणाम है और मैं ऊपर समारोह नकल करना होगा इस कोड प्राप्त करने के:

template <typename Type> 
class SomeClass { 
public: 
    template <typename ReturnType, typename... Params> 
    void register_function(const std::pair<std::string, ReturnType (Type::*)(Params...)> fct) { 
     auto f = [fct](Params... params) -> ReturnType { return (Type().*fct.second)(std::ref(params)...); } 
     // ... 
    } 

    template <typename ReturnType, typename... Params> 
    void register_function(const std::pair<std::string, ReturnType (Type::*)(Params...) const> fct) { 
     auto f = [fct](Params... params) -> ReturnType { return (Type().*fct.second)(std::ref(params)...); } 
     // ... 
    } 
}; 

अब, मैं दोनों const- पारित कर सकते हैं सदस्य-कार्य और गैर-सदस्य-कार्य-कार्य। लेकिन, अब, कोड डुप्लिकेट है और रखरखाव कम हो गया है।

क्या इन दोनों कार्यों को एक कॉन्स-सदस्य-फ़ंक्शंस और गैर-कॉन्स्ट-सदस्य-फ़ंक्शंस दोनों को फ़ंक्शन में विलय करने का कोई तरीका है?

महत्वपूर्ण नोट: मुझे वास्तव में पैरामीटर के रूप में एक सूचक कार्य लेना चाहिए (कोई std :: function)।

संपादित करें: मैंने थोड़ा और कोड जोड़ा है। फ़ंक्शंस के अंदर, मैं सदस्य फ़ंक्शन हस्ताक्षर (समान रिटर्न प्रकार और पैरा) से मेल खाता बंद करता हूं। यह बंद संग्रहीत और प्रतिबिंब बनाने के लिए बाद में इस्तेमाल किया जाएगा (more here)

Answer 1

आप एक प्रकार विशेषता बारे में है, जो आपको बता देंगे के आधार पर सकता है अगर कुछ MFType पर एक सूचक करने वाली सदस्य समारोह है:

template <typename C, typename T> 
struct is_pointer_to_member_helper : std::false_type { }; 

template <typename C, typename T> 
struct is_pointer_to_member_helper<C, T C::*> : std::is_function<T> { }; 

template <typename C, typename T> 
struct is_pointer_to_member : is_pointer_to_member_helper<C, 
            std::remove_cv_t<T> 
           > { }; 

और इसका इस्तेमाल सुनिश्चित करने के लिए है कि आप केवल उन में से एक मिलता है:

template <typename Type> 
class SomeClass { 
public: 
    template <typename MF> 
    std::enable_if_t<is_pointer_to_member<Type, MF>::value> 
    register_function(const std::pair<std::string, MF> fct) 
    { 
     auto f = [fct](auto&&... params) { 
      return (Type{}.*fct.second)(std::forward<decltype(params)>(params)...); 
     }; 

     // ... 
    } 
};