if constexpr in C++ 17

In C++17, if constexpr feature was introduced to allow compile-time branching based on constant expressions. Unlike regular if statements, which are evaluated at runtime, the if constexpr allows the compiler to discard branches of code that do not apply. It means only the branch of code for which the condition is true is compiled and other code branch is discarded during compilation.

Syntax of if constexpr

if constexpr (condition) {
  // Code executed only if condition is true at compile time
} else {
  // Code executed only if condition is false at compile time
}

Here, the condition is a constant expression to be executed at compile time. If the given condition results in true then the code inside the first block is included and if the condition results in false then the code inside the else block is included.

Note: The code inside the block which is not selected gets discarded during compilation.

Example of if constexpr

The below example demonstrates the use of if constexpr.

Output

Integer Value 10
Non-Integer value:3.15

Explanation: In the above example template function printInfo takes a template parameter C, and allows it to work with various data types. using if constexpr statement it checks at compile time if C is an integral type using is_integral_v<C>.

Application of if constexpr

The if constexpr is mainly used where decisions need to be made at compile time based on type traits or other constant expressions. Here are some key applications:

• Template Metaprogramming: template metaprogramming can be used to create general templets as it have abilities to adapt behaviour based on conditions of compile time.
• Conditional Code Generation: It can be used to include or exclude sections of code based on certain conditions during the compilation process.
• Compile-Time Assertions: checking conditions using if constexpr during the process compilation of the program helps users to identify errors early and ensure that specific conditions are met at compile time.
• Algorithm Optimization: It helps for the selection of optimized algorithms at compile time resulting optimizing performance without any runtime cost.

Difference between if constexpr() and if()