Return type of ‘?:’ (ternary conditional operator)

by

Expressions don’t have return types, they have a type and – as it’s known in the latest C++ standard – a value category.

A conditional expression can be an lvalue or an rvalue. This is its value category. (This is somewhat of a simplification, in C++11 we have lvalues, xvalues and prvalues.)

In very broad and simple terms, an lvalue refers to an object in memory and an rvalue is just a value that may not necessarily be attached to an object in memory.

An assignment expression assigns a value to an object so the thing being assigned to must be an lvalue.

For a conditional expression (?:) to be an lvalue (again, in broad and simple terms), the second and third operands must be lvalues of the same type. This is because the type and value category of a conditional expression is determined at compile time and must be appropriate whether or not the condition is true. If one of the operands must be converted to a different type to match the other then the conditional expression cannot be an lvalue as the result of this conversion would not be an lvalue.

ISO/IEC 14882:2011 references:

3.10 [basic.lval] Lvalues and rvalues (about value categories)

5.15 [expr.cond] Conditional operator (rules for what type and value category a conditional expression has)

5.17 [expr.ass] Assignment and compound assignment operators (requirement that the l.h.s. of an assignment must be a modifiable lvalue)

More Related Contents:

  1. One VS2010 bug ? Allowing binding non-const reference to rvalue WITHOUT EVEN a warning?
  2. what is return type of assignment operator?
  3. Why do some people prefer “T const&” over “const T&”?
  4. should std::common_type use std::decay?
  5. What does the following return type actually mean
  6. Why ‘&’ reference in not required in classes in C++?
  7. Creation of simple types in c++
  8. What are the differences between a pointer variable and a reference variable in C++?
  9. What are POD types in C++?
  10. How to handle wrong data type input
  11. C++ pass an array by reference
  12. C++ standard: dereferencing NULL pointer to get a reference? [duplicate]
  13. int vs const int& [closed]
  14. long long in C/C++
  15. What are the differences between a pointer variable and a reference variable?
  16. C++ auto keyword. Why is it magic?
  17. Is it safe to push_back an element from the same vector?
  18. ampersand (&) at the end of variable etc
  19. Declare a reference and initialize later?
  20. Casting a large number type to a smaller type
  21. Conditional operator used in cout statement
  22. Difference between long and int data types [duplicate]
  23. What is the uintptr_t data type?
  24. Are there gotchas using varargs with reference parameters
  25. What is a constant reference? (not a reference to a constant)
  26. C++ class with template member variable
  27. C++: difference between ampersand “&” and asterisk “*” in function/method declaration?
  28. dereferencing a pointer when passing by reference
  29. How to determine programmatically if an expression is rvalue or lvalue in C++?
  30. How is a bool represented in memory?

Leave a Comment