What is constexpr in C++: Explanation and Examples

constexpr in C++ is a keyword that tells the compiler to evaluate a function or variable at compile time if possible. This means the value is computed before the program runs, making the code faster and safer. It is used to create constants and functions that can be used in constant expressions.

How It Works

Think of constexpr as a way to ask the compiler to do some math or logic while it is building your program, instead of waiting until the program runs. This is like preparing your lunch the night before instead of making it in the morning when you are in a hurry.

When you mark a function or variable as constexpr, the compiler tries to calculate its value during compilation. If it can, it replaces the code with the result directly in the program. This saves time when the program runs and can also help catch errors early.

However, the compiler can only do this if the inputs to the function or the value of the variable are known at compile time. If not, the program will still work, but the calculation happens when the program runs.

Example

This example shows a constexpr function that calculates the square of a number. The result is computed at compile time when possible.

cpp

#include <iostream>

constexpr int square(int x) {
    return x * x;
}

int main() {
    constexpr int val = square(5); // computed at compile time
    int num = 6;
    std::cout << "Square of 5 (constexpr): " << val << "\n";
    std::cout << "Square of 6 (runtime): " << square(num) << "\n";
    return 0;
}

Output

Square of 5 (constexpr): 25
Square of 6 (runtime): 36

When to Use

Use constexpr when you want to create values or functions that can be calculated before your program runs. This helps make your program faster and can prevent mistakes by catching errors early.

Common uses include defining constant values, array sizes, or simple math functions that do not change. For example, you can use constexpr to define the size of an array or to create lookup tables that are ready when the program starts.

Key Points

• constexpr means the value or function can be evaluated at compile time.
• It improves performance by doing work before the program runs.
• Functions marked constexpr must have simple logic that the compiler can evaluate.
• If inputs are not known at compile time, the function works normally at runtime.
• Use it for constants, array sizes, and simple calculations.

Key Takeaways

constexpr enables compile-time evaluation of functions and variables for faster code.

Use constexpr for constants and simple functions with known inputs at compile time.

If inputs are unknown at compile time, constexpr functions run normally at runtime.

It helps catch errors early and improves program efficiency.

Keep constexpr functions simple so the compiler can evaluate them.