La question boost "signature"

Question

J'essaie de comprendre comment de nombreuses classes boost pourraient accepter une signature de fonction comme argument de modèle et ensuite "extraire" de là le type de résultat, le premier type d'argument et ainsi de suite. Je sais que boost fournit également une implémentation plus portable, en utilisant un argument template pour chaque argument de la fonction et c'est facile à comprendre. Quelqu'un peut-il m'expliquer la magie au-delà de ça?

Answer 1

Au cœur de sa juste spécialisation et répétition:

template<class S> struct Sig; 

template<class R> struct Sig<R()> { 
    typedef R result_type; 
}; 

template<class R, class T0> struct Sig<R (T0)> { 
    typedef R result_type; 
    typedef T0 first_type; 
}; 

// ...