प्रैक्टिकल सी ++ Metaprogramming

Question

मैं सिर्फ किताब "प्रैक्टिकल सी ++ Metaprogramming" पढ़ सकते हैं और यह निम्न उदाहरण है कि मैं संकलन नहीं कर सकता है। क्या आप इसे मेरे लिए हल करने में मदद कर सकते हैं।

template <typename F> 
struct make_tuple_of_params; 

template <typename Ret, typename... Args> 
struct make_tuple_of_params<Ret (Args...)> 
{ 
    using type = std::tuple<Args...>; 
}; 

template <typename F> 
using make_tuple_of_params_t = typename make_tuple_of_params<F>::type; 

template<typename F> 
void some_magic_function(F callable) 
{ 
    make_tuple_of_params_t<F> tuple; 
    /* 
    ... do something with arguments in tuple... 
    */ 
} 

int main() 
{ 
    some_magic_function([] (int, double, float) {}); 
} 

मैं कह रहा एक संकलन त्रुटि मिलती है: 'प्रकार' 'make_tuple_of_params' के किसी भी प्रत्यक्ष या अप्रत्यक्ष आधार वर्ग का सदस्य नहीं है। यह SFINAE की तरह सीम की अपेक्षा की जाती है क्योंकि डिफ़ॉल्ट संरचना का चयन किया जाता है। मैं यह कैसे तय करुं?

Answer 1

lambdas के लिए ऑटो मानकों के साथ lambdas वैकल्पिक हल सहित नहीं इस प्रकार दे सकता है:

#include <tuple> 
#include <typeinfo> 
#include <iostream> 

template <class> 
struct make_tuple_of_params; 

template <class Res, class Type, class... Args> 
struct make_tuple_of_params<Res (Type::*)(Args...) const> { 
    using type = std::tuple<Args...>; 
}; 

template <class F> 
using make_tuple_of_params_t = typename make_tuple_of_params<F>::type; 

template<typename F> 
void some_magic_function(F callable) 
{ 
    make_tuple_of_params_t<decltype(&F::operator())> tuple; 
    std::cout << typeid(tuple).name() << std::endl; 
} 

int main() 
{ 
    some_magic_function([] (int, double, float) {}); 
} 

[live demo]

Answer 2

[] (int, double, float) {} का प्रकार एक अज्ञात वर्ग प्रकार स्थानीय है main, जिसे बंद करने का प्रकार कहा जाता है। यह निश्चित रूप से void (int, double, float) है; यह वास्तव में एक समारोह प्रकार नहीं है। इसलिए, फ़ंक्शन प्रकारों के लिए विशेषज्ञता लागू नहीं होती है, और प्राथमिक टेम्पलेट का चयन किया जाता है। (ध्यान दें कि आपके कोड में कोई SFINAE शामिल नहीं है)।

इसे ठीक करने के लिए के रूप में: मैं वहाँ एक पूरी तरह से सामान्य समाधान नहीं लगता। किसी विशेष some_magic_function के लिए समाधान/समाधान हो सकता है, लेकिन यह उस कार्य पर निर्भर करेगा जो आपको करने के लिए आवश्यक है।