Odliczenie funkcji

Question

Załóżmy, że mamy klasy szablonu takiego:

template<typename F> 
class A 
{ 
public: 
    template<typename... Args> 
    A(F f, Args... args) 
    { /* Do something... */ } 
}; 

a teraz chcę go używać w jakiś sposób podobny do tego:

A<int(int)> a(::close, 1); 

teraz pytanie: czy istnieje sposób, aby pominąć <int(int)>, ponieważ kompilator może znać tę informację dla ::close? Nie ma potrzeby zapisywania "projektu" szablonu.

Co do konkretnego zadania, muszę zaprojektować szablon klasy. Obiekty tej klasy mogą przyjąć funkcję i parametry dla tej funkcji w czasie budowy i wywołać tę funkcję później.

Answer 1

Nie, ty (obecnie) nie możesz. Standardowym sposobem osiągnięcia tego celu jest stworzenie „make_like” funkcji (takich jak make_pair, make_optional ...):

template<typename F, typename... Args> 
A<std::decay_t<F>> make_A (F &&f, Args&&... args) { 
    return {std::forward<F>(f), std::forward<Args>(args)...}; 
} 

C++ 17 wprowadzi template argument deduction for class który pozwoli Ci dokładnie to, co chcesz zrobić.

Answer 2

Nie można pominąć argumentów klasy szablonu, chyba że są one domyślne. To, co możesz zrobić, to funkcja producenta, która dedukuje argument i przekazuje ten argument do klasy szablonu, zwracając obiekt odpowiedniej instancji.

template<typename F, typename... Args> 
A<F> make_A(F f, Args&&... args) { 
    return A<F>(f, std::forward<Args>(args)...); 
} 

Answer 3

Dzięki przyjęciu szablonu parametr odliczenia dla konstruktorów, w C++ 17, będzie można po prostu napisać:

A a(::close, 1); 

Przedtem, to wystarczy napisać do fabryki odliczenia zrobić dla Ciebie:

template <class F, class... Args> 
A<std::decay_t<F>> make_a(F&& f, Args&&... args) { 
    return {std::forward<F>(f), std::forward<Args>(args)...}; 
} 

auto a = make_a(::close, 1); 

to jest trochę rozwlekły, ale przynajmniej nie trzeba się martwić o wydajności - nie będzie tu kopie wykonane dzięki RVO.