1

Se supone que tengo que crear una función lambda y pasarla a la otra función. Pero no sé por qué no funciona. He intentado asignarla a una variable y pasarla directamente como parámetro pero de ninguna forma funciona. El error que me da es este:

error: no hay una función coincidente para la llamada a ‘prefix_process(BTree::Ref&, print_prefix(std::ostream&, typename BTree::Ref) [with T = int; std::ostream = std::basic_ostream; typename BTree::Ref = std::shared_ptr<BTree >]::<lambda(const int&)>&)’

prefix_process(typename BTree<T>::Ref tree, Processor& p)
    {
        assert(tree != nullptr);
        bool retVal = true;
        if (tree->is_empty()==false)
        {
            retVal = p(tree->item());
            retVal = retVal && prefix_process<T, Processor>(tree->left(), p);
            retVal = retVal && prefix_process<T, Processor>(tree->right(), p);
        }
        return retVal;
    }
    
    
    template <class T>
    std::ostream&
    print_prefix(std::ostream& out, typename BTree<T>::Ref tree)
    {
        //You must create a lambda function with a parameter to be printed and
        //  use a prefix_process to process the tree with this lambda.
        //Remenber: the lambda must return true.
        auto p=[&out](T const& value){out<<value<<" "; return true;};
        prefix_process(tree,p);
        return out;
    }

1
  • 2
    Explicá a qué te referís con no funciona. Además, dale un título relevante a tu pregunta.
    – padaleiana
    Commented el 21 mar. 2022 a las 18:30

1 respuesta 1

0

Cuando el compilador dice "no hay una función coincidente para la llamada a ‘prefix_process ...", nos está indicando que ha intentado llamar a una función llamada prefix_process con unos argumentos pero que ninguna función con el nombre prefix_process los acepta.

¿Qué parámetros acepta prefix_process?:

prefix_process(typename BTree<T>::Ref tree, Processor& p)

Acepta una instancia de BTree<T>::Ref como primer parámetro y una referencia a Processor como segundo. Y ese es el problema (si lo combinas con lambdas).


Las lambdas por definición son inmutables, así que no puedes tener una referencia no constante a una lambda que es conceptualmente constante, este código reproduce tu error:

template <typename P>
bool f(P &p)
{
    return p(0);
}

int main()
{
    f([](int){ return false; });
    return 0;
}

Si aceptas una referencia constante a Processor o usas una instancia en lugar de una referencia el error desaparece:

template <typename P>
bool f_const(const P &p)
{
    return p(0);
}

template <typename P>
bool f_instancia(P p)
{
    return p(0);
}

int main()
{
    f_const([](int){ return false; });     // Ok
    f_instancia([](int){ return false; }); // Ok
    return 0;
}

Puedes ver el código funcionando en Try it online!.

Tu Respuesta

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

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