Rozpakowywanie argumentów parametru funkcjonalnego do klasy szablonu C++

Question

Mam pytanie dotyczące funkcjonalnych argumentów szablonu do klas szablonów w C++.

chciałbym zdefiniować klasę szablonu Foo biorąc jeden parametr szablonu Fun

template <typename Fun> 
    struct Foo { 
     ... 
    }; 

taki sposób, że dana funkcja jak

void bar(std::string a, float b, char c) 
    { 
     ... 
    } 

następnie Foo<bar>::args_t będzie równoznaczne z typedef dla

std::tuple<std::string, float, char> 

Czy to p kostny? (Użycie std::tuple jest tutaj tylko dla konkretności, bardziej ogólnie zastanawiam się, czy można zrobić coś takiego jak dopasowywanie wzorca na argumentach funkcjonalnego parametru szablonu.)

Chodzi o to, aby uniknąć konieczności definiowania Foo w taki sposób, jak

template Foo<typename A, typename B, typename C, typename D, 
     D (*Fun)(A a, B b, C c)> 
    struct Foo { 
     typedef std::tuple<A,B,C> args_t; 
    }; 

która wymaga zarówno podjęciem stałej liczbie argumentów funkcji i wymagający argument i powrotu rodzaje funkcji, które należy dostarczyć jawnie jako parametry szablonu. (Definiowanie Foo przy użyciu szablonów variadic może prawdopodobnie rozwiązać poprzedni problem, ale co z tym ostatnim?)

Dzięki!

Answer 1

Zadeklaruj szablon podstawowy i pozostaw go niezatwierdzony.

template<typename T> 
struct foo;  // unimplemented primary template 

Następnie należy podać częściową specjalizację, która dopasowuje typy funkcji do argumentu szablonu.

template<typename Result, typename... Args> 
struct foo<Result(Args...)> 
{ 
    using args_t = std::tuple<Args...>; 
}; 

Możesz uzyskać dostęp do typu zagnieżdżonego jak

foo<decltype(bar)>::args_t 

Live demo