Evgenii Legotckoi
Evgenii LegotckoiJuly 6, 2018, 3: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
B

C++ - Test 002. Constants

  • Result:16points,
  • Rating points-10
B

C++ - Test 001. The first program and data types

  • Result:46points,
  • Rating points-6
FL

C++ - Test 006. Enumerations

  • Result:80points,
  • Rating points4
Last comments
k
kmssrFeb. 8, 2024, 6:43 p.m.
Qt Linux - Lesson 001. Autorun Qt application under Linux как сделать автозапуск для флэтпака, который не даёт создавать файлы в ~/.config - вот это вопрос ))
Qt WinAPI - Lesson 007. Working with ICMP Ping in Qt Без строки #include <QRegularExpressionValidator> в заголовочном файле не работает валидатор.
EVA
EVADec. 25, 2023, 10:30 a.m.
Boost - static linking in CMake project under Windows Ошибка LNK1104 часто возникает, когда компоновщик не может найти или открыть файл библиотеки. В вашем случае, это файл libboost_locale-vc142-mt-gd-x64-1_74.lib из библиотеки Boost для C+…
J
JonnyJoDec. 25, 2023, 8:38 a.m.
Boost - static linking in CMake project under Windows Сделал всё по-как у вас, но выдаёт ошибку [build] LINK : fatal error LNK1104: не удается открыть файл "libboost_locale-vc142-mt-gd-x64-1_74.lib" Хоть убей, не могу понять в чём дел…
G
GvozdikDec. 18, 2023, 9:01 p.m.
Qt/C++ - Lesson 056. Connecting the Boost library in Qt for MinGW and MSVC compilers Для решения твой проблемы добавь в файл .pro строчку "LIBS += -lws2_32" она решит проблему , лично мне помогло.
Now discuss on the forum
AC
Alexandru CodreanuJan. 19, 2024, 11:57 a.m.
QML Обнулить значения SpinBox Доброго времени суток, не могу разобраться с обнулением значение SpinBox находящего в делегате. import QtQuickimport QtQuick.ControlsWindow { width: 640 height: 480 visible: tr…
BlinCT
BlinCTDec. 27, 2023, 8:57 a.m.
Растягивать Image на парент по высоте Ну и само собою дял включения scrollbar надо чтобы был Flickable. Так что выходит как то так Flickable{ id: root anchors.fill: parent clip: true property url linkFile p…
Дмитрий
ДмитрийJan. 10, 2024, 4:18 a.m.
Qt Creator загружает всю оперативную память Проблема решена. Удалось разобраться с помощью утилиты strace. Запустил ее: strace ./qtcreator Начал выводиться весь лог работы креатора. В один момент он начал считывать фай…
Evgenii Legotckoi
Evgenii LegotckoiDec. 12, 2023, 6:48 a.m.
Побуквенное сравнение двух строк Добрый день. Там случайно не высылается этот сигнал textChanged ещё и при форматировани текста? Если решиать в лоб, то можно просто отключать сигнал/слотовое соединение внутри слота и …

Follow us in social networks