C++ बंद करने और std :: समारोह

Question

मैं यह पता लगाने की क्या एसटीडी की :: समारोह हुड के नीचे चला जाता है जब बंद साथ संयोजन में उपयोग कोशिश कर रहा हूँ। मैं अभी तक अपने सिर को लपेटने में सक्षम नहीं हूं, उदाहरण के लिए: किस कन्स्ट्रक्टर को बुलाया जा रहा है? कोई भी std :: फ़ंक्शन के प्रतिस्थापन में एक न्यूनतम ड्रॉप का एक कार्य उदाहरण पोस्ट कर सकता है जो निम्न उदाहरण में आवश्यक कार्यक्षमता का समर्थन करता है? देख आभासी Impl::operator() और स्थानीय स्तर पर परिभाषित विशेष प्रकार:

template <class F> 
struct Decomposer; 

template <class R, class A> 
struct Decomposer<R (A)> 
{ 
    typedef R return_type; 
    typedef A argument_type; 
}; 


template <class F> 
struct my_function 
{ 
    typedef typename Decomposer<F>::return_type return_type; 
    typedef typename Decomposer<F>::argument_type argument_type; 

    return_type operator() (argument_type arg) const { 
    return (*impl)(arg); 
    } 

    template <class From> 
    my_function(From &&from) 
    { 
    struct ConcreteImpl : Impl 
    { 
     typename std::remove_reference<From>::type functor; 
     ConcreteImpl(From &&functor) : functor(std::forward<From>(functor)) {} 
     virtual return_type operator() (argument_type arg) const override 
     { 
     return functor(arg); 
     } 
    }; 
    impl.reset(new ConcreteImpl(std::forward<From>(from))); 
    } 

private: 
    struct Impl { 
    virtual ~Impl() {} 
    virtual return_type operator() (argument_type arg) const = 0; 
    }; 

    std::unique_ptr<Impl> impl; 
}; 

मूल विचार अपने प्रकार जानने के बिना वास्तविक बंद स्टोर करने के लिए प्रकार विलोपन उपयोग करने के लिए है:

#include <functional> 

int main(int argc, char* argv[]) 
{ 
    int mybool = 5; 

    auto foo = [&] (int arg) { 
     return mybool * arg; 
    }; 

    std::function<int(int)> foo2 = foo; 

    int result = foo2(42); 

    return 0; 
} 

Answer 1

यहाँ minimalistic उदाहरण है धारक ConcreteImpl।

Live example