Wrong understanding of 'if constexpr' [duplicate]

Question

I have following code

static constexpr bool condition = true; int square(int num) { if constexpr (condition) { return num * num; } else { x return num; } } int main() { return square(3); }

compiled with

-std=gnu++17

My assumption for

if constexpr (condition)

was that during compilation the part

 } else { x return num; }

get discarded and I get no error about the undefined

x

Is my understanding wrong that this 'if constexpr' is something like

#ifdef CONDITION return num * num; #else x return num; #endif

How do I modify this code that I can compile this?

lubgr · Accepted Answer · 2019-10-09 09:19:18Z

8

How do I modify this code that I can compile this?

To fix your code, simply remove the line with x.

Is my understanding wrong that this 'if constexpr' is something like [...]

Yes, your understanding is wrong. From cppreference:

Outside a template, a discarded statement is fully checked. if constexpr is not a substitute for the #if preprocessing directive.

This means every branch in an if constexpr block must be valid C++, even if it's never going to be used.

answered Oct 9, 2019 at 9:19

lubgr

38.6k3 gold badges71 silver badges119 bronze badges

Sign up to request clarification or add additional context in comments.

4 Comments

Enlico Over a year ago

Would it be correct to say that it must be syntactically correct but it's allowed to be semantically incorrect?

lubgr Over a year ago

Not sure. You are mixing two things here - "syntactically correct" is something that can be evaluated in an objective, strict way. Whether something is "semantically correct" depends on your understanding of the problem domain, the APIs you use etc., so that part is rather blurry.

Enlico Over a year ago

So probably I'm misusing those terms. I refer to the fact that the non-taken branch can be also non compilable as long as it is valid C++. So in some way it has to be "valid" at some level though it can be not valid at another level. I was guessing what those two levels are. I asked if those two levels are syntax and semantics and you say no, so do they have a name?

Enlico Over a year ago

I've asked a new question, if you're interested.

Cow Corporation · Accepted Answer · 2021-03-07 22:14:26Z

As you've observed, you can't have "garbage code" like that x codeline inside of a if constexpr clause.

The major advantage of having if constexpr instead of #if is that if constexpr is able to reason about types in a way that the preprocessor wasn't able to. This advantage is often exploited within templates.

For example, you could do something like the following:

template <typename T> T squareOnlyInt(T num) { if constexpr (std::is_same<T,int>::value) { return num * num; } else { return num; } }

Collectives™ on Stack Overflow

Wrong understanding of 'if constexpr' [duplicate]

2 Answers 2

4 Comments

Comments

Linked

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

4 Comments

Comments

Linked

Related