Why does 'if constexpr' cause errors in non-templated functions in C 17?

"If constexpr" Error in Non-Templated Functions in C 17

Introduction

C 17 introduced the if constexpr keyword, allowing conditional compilation based on compile-time constants. However, unexpected errors can arise when using if constexpr in non-templated functions. This article explores these issues and provides a solution.

Code Example

Consider the following code:

<code class="cpp">#include <iostream>
#include <type_traits>

int main() {
  auto value = 100;
  if constexpr (std::is_pointer_v<decltype>)
    std::cout <p><strong>Compilation Error</strong></p>
<p>This code generates a compilation error when the if constexpr statement is within the main function:</p>
<pre class="brush:php;toolbar:false">main.cpp:8:32: error: invalid type argument of unary ‘*’ (have ‘int’)
std::cout <p><strong>Explanation</strong></p><p>If constexpr only works in template functions because it allows the compiler to avoid instantiating branches that are not taken at compile time. This optimization is essential for efficient template metaprogramming.</p><p>In non-templated functions, if constexpr still evaluates both branches, even if the type is deduced by decltype. This means that the error in the code above is caused by the attempt to dereference an int value in the if branch.</p><p><strong>Solution</strong></p><p>To resolve this issue, you can move the if constexpr statement into a template function. For example:</p><pre class="brush:php;toolbar:false"><code class="cpp">template <typename t>
void print(T value) {
  if constexpr (std::is_pointer_v<decltype>)
    std::cout <p>This modified code will compile and print the expected output:</p>
<pre class="brush:php;toolbar:false">Ref to 100

The above is the detailed content of Why does 'if constexpr' cause errors in non-templated functions in C 17?. For more information, please follow other related articles on the PHP Chinese website!