Evgenii Legotckoi
Evgenii LegotckoiJuly 6, 2018, 4:26 a.m.

Cooking lambda functions in C ++ - Part 2 - Recursive lambda functions using the example of factorial calculation

In the previous article , we got acquainted with the structure of lambda functions, and now we'll play with lambdas, calculate the factorial, and consider how the lambda function can be applied for this.

Let's consider for the beginning the usual variant of factorial calculation, and also we will specify that such a recursive function.

Recursive function

A recursive function is that function that calls itself. This means that inside the function there is a call to itself, and infinite recursion can occur if the function code does not have the conditions for exiting recursion.

Here is an example of such an infinite recursive function, the program with which it terminates crash due to overflow of the call stack.

#include <iostream>

using namespace std;

void infiniteRecursiveFunction()
{
    cout << "Hello World!" << endl;
    infiniteRecursiveFunction();
}

int main()
{
    infiniteRecursiveFunction();
    return 0;
}

To prevent this from happening, you need to add an exit condition from the recursive function, for example, the achievement of a recursive call count of 100.

#include <iostream>

using namespace std;

void infiniteRecursiveFunction(int counter = 0)
{
    cout << "Hello World!" << endl;
    if (counter == 100)
    {
        return;
    }
    infiniteRecursiveFunction(counter + 1);
}

int main()
{
    infiniteRecursiveFunction();
    return 0;
}

Now the recursive function will be completed correctly, thanks to the counter, the call stack will not overflow and the program will end without errors.

Factorial

And now let's define what factorial is.

The factorial is the product of natural numbers from 1 to the number itself (including a given number).
The factorial is denoted by the exclamation mark "!".

Examples:

  • 4! = 1 · 2 · 3 · 4 = 24
  • 5! = 1 · 2 · 3 · 4 · 5 = 120

Now write a function for calculating the factorial

long double fact(int N)
{
    if(N < 0) // if the user entered a negative number
    {
        return 0; // return zero
    }
    else if (N == 0) // if the user entered zero,
    {
        return 1; // return the factorial from zero, which is 1
    }
    else // in all other cases
    {
        return N * fact(N - 1); // we perform recursive function calls
    }
}

In this case, the function is written so that the factorial calculation is performed from the largest number and ends with zero. Then the correct exit from the recursion will be performed and the function will return the value of the factorial.

As a result, the code for calculating the factorial will look like this

#include <iostream>

using namespace std;

long double fact(int N)
{
    if(N < 0) // if the user entered a negative number
    {
        return 0; // return zero
    }
    else if (N == 0) // if the user entered zero,
    {
        return 1; // return the factorial from zero, which is 1
    }
    else // in all other cases
    {
        return N * fact(N - 1); // we perform recursive function calls
    }
}

int main()
{
    int N {0};
    cout << "Input number for factorial" << endl;
    cin >> N;
    cout << "Factorial for number " << N << " = " << fact(N) << endl; // fact(N) - function for calculating the factorial.
    return 0;
}

The use of recursive lambda functions

And now we apply the recursive lambda function to calculate the factorial.

In modern C ++ standards, there are two options for writing recursive functions:

  • Using std::function
  • Without using std::function

Using std::function

In this case, for the application of lambda recursion, the function should know about its own structure to be able to capture itself by reference, but the lambda function is an anonymous declaration of an object that somehow needs to be made explicit. In this we will help std::function , which will help determine the signature of the lambda function.

#include <iostream>
#include <functional>   // We connect the library to use std::function

using namespace std;

int main()
{
    int N {0};

    // Signature declaration via std::function -> std::function<int(int)>
    // Function signature int (int)
    // [&fact] - Capture the lambda itself
    std::function<int(int)> fact = [&fact](int N)
    {
        if(N < 0) // if the user entered a negative number
        {
            return 0; // return zero
        }
        else if (N == 0) // if the user entered zero,
        {
            return 1; // return the factorial from zero, which is 1
        }
        else // in all other cases
        {
            return N * fact(N - 1); // we perform recursive function calls
        }
    };

    cout << "Input number for factorial" << endl;
    cin >> N;
    cout << "Factorial for number " << N << " = " << fact(N) << endl; // fact(N) - function for calculating the factorial.
    return 0;
}

The limitation of recursive lambdas is that we can not capture the lambda function until its signature is known. That is, auto can not be used immediately, because auto makes the output of the lambda structure at compile time and if the lambda object was not formed, then we can not capture the lambda, and since it captures itself, but has not yet been compiled, structure does not know anything, and therefore can not capture itself.

Then, std::function comes to the rescue, which allows you to predefine the signature of the lambda function, initialize it with a lambda function, and be used as an invisible link to the same lambda function.

Without using std::function

But this does not mean that you can not do without the explicit use of std::function for recursive functions. In the standard C++14 , it became possible to define the arguments of lambda functions as auto, due to what the lambda function can be passed as an argument to itself by reference. The same recursive lambda function will be obtained, but using only C++ programming language tools.

#include <iostream>

using namespace std;

int main()
{
    int N {0};

    // Lambda declaration via auto
    // Lambda signature int (auto&, int)
    // auto& self - in this argument will be passed to the lambda function to perform itself
    auto fact = [](auto& self, int N)
    {
        if(N < 0) // if the user entered a negative number
        {
            return 0; // return zero
        }
        else if (N == 0) // if the user entered zero,
        {
            return 1; // return the factorial from zero, which is 1
        }
        else // in all other cases
        {
            // We call a lambda passing as an argument lambda on the link further in itself
            return N * self(self, N - 1); // we perform recursive function calls
        }
    };

    cout << "Input number for factorial" << endl;
    cin >> N;
    // When you first call a lambda, you also need to pass the lambda to itself as an argument
    // fact(fact, N)
    cout << "Factorial for number " << N << " = " << fact(fact, N) << endl; // fact(N) - function for calculating the factorial.
    return 0;
}

Conclusion

To the question of the expediency of applying recursive lambda functions.

It makes no sense to declare a function or method in a class if this function is used in one single place in the code. This will at least complicate the interface of the class, if we write new methods for each sneeze. It is much better to declare a lambda within another method, where it must be executed. This applies to all lambda functions, both conventional and recursive.

Declare and immediately execute the lambda function is no longer possible. When the lambda function is declared and immediately called, then the return value is the result of executing the lambda function, and not the lambda object's function, which means that it will not be possible to capture the lambda object of the function, so both of the above ways of writing recursive lambda functions are not suitable.

We recommend hosting TIMEWEB
We recommend hosting TIMEWEB
Stable hosting, on which the social network EVILEG is located. For projects on Django we recommend VDS hosting.

Do you like it? Share on social networks!

Comments

Only authorized users can post comments.
Please, Log in or Sign up
AD

C ++ - Test 004. Pointers, Arrays and Loops

  • Result:50points,
  • Rating points-4
m

C ++ - Test 004. Pointers, Arrays and Loops

  • Result:80points,
  • Rating points4
m

C ++ - Test 004. Pointers, Arrays and Loops

  • Result:20points,
  • Rating points-10
Last comments
ИМ
Игорь МаксимовNov. 22, 2024, 10:51 p.m.
Django - Tutorial 017. Customize the login page to Django Добрый вечер Евгений! Я сделал себе авторизацию аналогичную вашей, все работает, кроме возврата к предидущей странице. Редеректит всегда на главную, хотя в логах сервера вижу запросы на правильн…
Evgenii Legotckoi
Evgenii LegotckoiNov. 1, 2024, 12:37 a.m.
Django - Lesson 064. How to write a Python Markdown extension Добрый день. Да, можно. Либо через такие же плагины, либо с постобработкой через python библиотеку Beautiful Soup
A
ALO1ZEOct. 19, 2024, 6:19 p.m.
Fb3 file reader on Qt Creator Подскажите как это запустить? Я не шарю в программировании и кодинге. Скачал и установаил Qt, но куча ошибок выдается и не запустить. А очень надо fb3 переконвертировать в html
ИМ
Игорь МаксимовOct. 5, 2024, 5:51 p.m.
Django - Lesson 064. How to write a Python Markdown extension Приветствую Евгений! У меня вопрос. Можно ли вставлять свои классы в разметку редактора markdown? Допустим имея стандартную разметку: <ul> <li></li> <li></l…
d
dblas5July 5, 2024, 9:02 p.m.
QML - Lesson 016. SQLite database and the working with it in QML Qt Здравствуйте, возникает такая проблема (я новичок): ApplicationWindow неизвестный элемент. (М300) для TextField и Button аналогично. Могу предположить, что из-за более новой верси…
Now discuss on the forum
Evgenii Legotckoi
Evgenii LegotckoiJune 25, 2024, 1:11 a.m.
добавить qlineseries в функции Я тут. Работы оень много. Отправил его в бан.
t
tonypeachey1Nov. 15, 2024, 5:04 p.m.
google domain [url=https://google.com/]domain[/url] domain [http://www.example.com link title]
NSProject
NSProjectJune 4, 2022, 1:49 p.m.
Всё ещё разбираюсь с кешем. В следствии прочтения данной статьи. Я принял для себя решение сделать кеширование свойств менеджера модели LikeDislike. И так как установка evileg_core для меня не была возможна, ибо он писался…
9
9AnonimOct. 25, 2024, 7:10 p.m.
Машина тьюринга // Начальное состояние 0 0, ,<,1 // Переход в состояние 1 при пустом символе 0,0,>,0 // Остаемся в состоянии 0, двигаясь вправо при встрече 0 0,1,>…

Follow us in social networks