Pratik C++ Metaprogramlama

Question

"Practical C++ Metaprogramming" adlı kitabı okudum ve derleyemediğim aşağıdaki örneğe sahibim. Bunu benim için halledebilir misin?

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) {}); 
} 

Dediğim bir derleme hatası alıyorum: 'type' 'make_tuple_of_params' herhangi bir doğrudan veya dolaylı taban sınıfın bir üyesi değildir. Varsayılan yapı seçildiğinden beri SFINAE beklendiği gibi çalışmıyor gibi dikişler. Bunu nasıl düzeltirim?

Answer 1

:

#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) {} türü, main için yerel adı verilen ve kapanış türü olarak adlandırılan adsız bir sınıf türüdür. Kesinlikle void (int, double, float); aslında bir işlev türü değil. Bu nedenle, işlev türleri için uzmanlık geçerli değildir ve birincil şablon seçilir. (Kodunuzda SFINAE bulunmadığını unutmayın).

Bunu nasıl düzelteceğinize gelince: Tamamen genel bir çözüm olduğunu düşünmüyorum. Belirli bir some_magic_function için bir çözüm/geçici çözüm olabilir, ancak bu, yapmanız gereken işleve bağlı olarak değişir. aşağıdaki gibi görünebilir oto parametreleri ile Lambda'lar geçici çözüm dahil değilse lambdas için