2

Tengo el siguiente objeto plantilla:

template <typename ... params_list>
struct listener
{
    using function_t = std::function<void(params_list ...)>;

    constexpr explicit listener(function_t &&a_function) :
        m_function{a_function}
    {}

    void operator()(params_list &&...a_params)
    {
        m_function(std::forward<decltype(a_params)>(a_params)...);
    }

private:
    function_t m_function;
};

Si defino una instancia de la plantilla sin proveer parámetros plantilla indica que no puede deducir los parámetros de la plantilla:

void a() {}
void b(int) {}
void c(const std::string &) {}

int main()
{
    listener la{a};
    listener lb{b};
    listener lc{c};

    return 0;
}
error: class template argument deduction failed:
error: no matching function for call to 'listener(void (&)())'
note: candidate: 'template<class ... params_list> listener(std::function<void(params_list ...)>&&)-> listener<params_list>'
constexpr explicit listener(function_t &&a_function) :
                   ^~~~~~~~
note: template argument deduction/substitution failed:
note: mismatched types 'std::function<void(params_list ...)>' and 'void()'
note: candidate: 'template<class ... params_list> listener(listener<params_list>)-> listener<params_list>'
note: template argument deduction/substitution failed:
note: mismatched types 'listener<params_list>' and 'void (*)()'
…

Por lo que puedo ver, no sabe deducir los parámetros para listener::function_t en base a un puntero o referencia a función (void(*)() o void(&)()). Así que he intentado añadir una guía de deducción:

template <typename ... params_list>
listener(void(&)(params_list ...)) -> listener(std::function<void(params_list ...)> &&);

Pero he debido definir la guía de deducción mal, ya que tampoco compila:

error: deduced class type 'listener' in function return type
listener(void(&)(params_list ...)) -> listener(std::function<void(params_list ...)> &&);
                                      ^~~~~~~~
note: 'template<class ... params_list> struct listener' declared here
struct listener
       ^~~~~~~~
error: trailing return type '<type error>' of deduction guide is not a specialization of 'listener<params_list>'
listener(void(&)(params_list ...)) -> listener(std::function<void(params_list ...)> &&);

¿De qué manera debo definir la guía de deducción para que la clase listener compile recibiendo en su constructor funciones por parámetro?

1 respuesta 1

1

Estás usando mal la guía de deducción. No debes indicarle cómo llamar a la función, sino el tipo que estás deduciendo. Así:

template <typename ... params_list>
listener(void(&)(params_list ...)) -> listener<params_list ...>;

Puedes probarlo aquí.


Alternativamente, puedes crear un constructor adicional sobre el tipo primitivo:

using raw_function_t = void(&)(params_list ...);

constexpr explicit listener(raw_function_t raw_function) :
    m_function{raw_function}
{}

Puedes probarlo aquí.

Tu Respuesta

By clicking “Publica tu respuesta”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

¿No es la respuesta que buscas? Examina otras preguntas con la etiqueta o formula tu propia pregunta.