What does the void() in decltype(void()) mean exactly?

by

Using a hyperlinked C++ grammar, the parsing of decltype(void()) is:

decltype( expression )
decltype( assignment-expression )
decltype( conditional-expression )

… lots of steps involving order of operations go here …

decltype( postfix-expression )
decltype( simple-type-specifier ( expression-listopt ) )
decltype( void() )

So void() is a kind of expression here, in particular a postfix-expression.

Specifically, quoting section 5.2.3 [expr.type.conf] paragraph 2 of the 2011 ISO C++ standard:

The expression T(), where T is a simple-type-specifier or
typename-specifier for a non-array complete object type or the (possibly cv-qualified) void type, creates a prvalue of the
specified type, which is value-initialized (8.5; no initialization is
done for the void() case).

So void() is an expression of type void, just as int() is an expression of type int (with value 0). Clearly a void expression has no value, but here it’s the operand of decltype, so it’s not evaluated. decltype refers only to its operand’s type, not its value.

decltype(void()) is simply a verbose way of referring to the type void.

More Related Contents:

  1. Optimizing away a “while(1);” in C++0x
  2. Will std::string always be null-terminated in C++11?
  3. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  4. Is a moved-from vector always empty?
  5. c++ access static members using null pointer
  6. Arrow operator (->) in function heading
  7. What is decltype with two arguments?
  8. Significance of parentheses in decltype((c))?
  9. Why is modifying a string through a retrieved pointer to its data not allowed?
  10. Get pointer to object from pointer to some member
  11. So why is i = ++i + 1 well-defined in C++11?
  12. Is it legal to declare a constexpr initializer_list object?
  13. Are notes and examples in the core language specification of the C++ Standard non-normative?
  14. Difference between std::result_of and decltype
  15. Why is the std::initializer_list constructor preferred when using a braced initializer list?
  16. Does this code from “The C++ Programming Language” 4th edition section 36.3.6 have well-defined behavior?
  17. What expressions yield a reference type when decltype is applied to them?
  18. Are int8_t and uint8_t intended to be char types?
  19. When do extra parentheses have an effect, other than on operator precedence?
  20. What is the difference between C++03 `throw()` specifier and C++11 `noexcept`?
  21. What is the purpose of a declaration like int (x); or int (x) = 10;
  22. Legal to overwrite std::string’s null terminator?
  23. Does C++11 allow dollar signs in identifiers?
  24. In which versions of the C++ standard does “(i+=10)+=10” have undefined behaviour?
  25. What expressions create xvalues?
  26. Why does the template-id in “A=0” not compile without space because of the greater-or-equal-than operator “>=”?
  27. Can we apply content not explicitly cited from the normative references to the C++ standard?
  28. Calling delete on NULL pointers – C++03 vs C++11
  29. Rvalues, lvalues and formal definitions
  30. Can using a lambda in header files violate the ODR?

Leave a Comment