Precomputation - Algorithmica
Precomputation

Precomputation

When compilers can infer that a certain variable does not depend on any user-provided data, they can compute its value during compile time and turn it into a constant by embedding it into the generated machine code.

This optimization helps performance a lot, but it is not a part of the C++ standard, so compilers don’t have to do that. When a compile-time computation is either hard to implement or time-intensive, they have a full legal right to pass on that opportunity.

#Constant Expressions

In modern C++, you can mark a function as constexpr, and if it is called by passing constants, its value is guaranteed to be computed during compile time:

constexpr int fibonacci(int n) {
    if (n <= 2)
        return 1;
    return fibonacci(n - 1) + fibonacci(n - 2);
}

static_assert(fibonacci(10) == 55);

These functions have some restrictions like that they only call other constexpr functions and can’t do memory allocation, but otherwise, they are executed “as is.”

Note that while they don’t cost anything during the run time, they still increase compilation time, so at least remotely care about their efficiency and don’t put something NP-complete in them:

constexpr int fibonacci(int n) {
    int a = 1, b = 1;
    while (n--) {
        int c = a + b;
        a = b;
        b = c;
    }
    return b;
}

There used to be many more limitations in earlier C++ standards, like you could not use any sort of state inside them and had to rely on recursion, so the whole process felt more like Haskell programming rather than C++. Since C++17, you can even compute static arrays using the imperative style, which is useful for precomputing lookup tables:

struct Precalc {
    int isqrt[1000];

    constexpr Precalc() : isqrt{} {
        for (int i = 0; i < 1000; i++)
            isqrt[i] = int(sqrt(i));
    }
};

constexpr Precalc P;

static_assert(P.isqrt[42] == 6);

Note that when you call constexpr functions while passing non-constants, the compiler may or may not compute them during compile time:

for (int i = 0; i < 100; i++)
    cout << fibonacci(i) << endl;

In this example, even though technically we perform a constant number of iterations and call fibonacci with parameters known at compile time, they are technically not compile-time constants. It’s up to the compiler whether to optimize this loop or not — and for heavy computations, it often chooses not to.