Is it legal to declare a constexpr initializer_list object?

by

Update: The situation got a bit more complicated after the resolution of CWG DR 1684 removed the requirement quoted below. Some more information can be found in this discussion on the std-discussion mailing list and in the related question Why isn’t `std::initializer_list` defined as a literal type?

[decl.constexpr]/8:

A constexpr specifier for a non-static member function that is not a constructor declares that member function to be const (9.3.1). […] The class of which that function is a member shall be a literal type (3.9).

Therefore, the changes of N3471 guarantee std::initializer_list will be a literal type.

Note the constexpr ctor alone doesn’t require std::initializer_list to be a literal type, see [dcl.constexpr]/4+8. Side note: An object of non-literal type with constexpr ctor can be initialized during constant initialization [basic.start.init]/2] (part of static initialization, performed before any dynamic initialization).

More Related Contents:

  1. Why is the std::initializer_list constructor preferred when using a braced initializer list?
  2. Is a constexpr array necessarily odr-used when subscripted?
  3. Why isn’t `std::initializer_list` defined as a literal type?
  4. Will std::string always be null-terminated in C++11?
  5. When should you use constexpr capability in C++11?
  6. const vs constexpr on variables
  7. Create N-element constexpr array in C++11
  8. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  9. Computing length of a C string at compile time. Is this really a constexpr?
  10. When to use the brace-enclosed initializer?
  11. Detecting constexpr with SFINAE
  12. Constexpr Math Functions
  13. Are multiple mutations of the same variable within initializer lists undefined behavior pre C++11
  14. How to construct std::array object with initializer list? [duplicate]
  15. C++11: Compile Time Calculation of Array
  16. Initializer-list-constructing a vector of noncopyable (but movable) objects
  17. Populate An Array Using Constexpr at Compile-time
  18. So why is i = ++i + 1 well-defined in C++11?
  19. Is it possible to declare constexpr class in a header and define it in a separate .cpp file?
  20. Lookup table with constexpr
  21. When do extra parentheses have an effect, other than on operator precedence?
  22. What is the difference between C++03 `throw()` specifier and C++11 `noexcept`?
  23. Legal to overwrite std::string’s null terminator?
  24. constexpr initialization of array to sort contents
  25. What am I allowed to do with a static, constexpr, in-class initialized data member?
  26. What would a std::map extended initializer list look like?
  27. reinterpret_cast between char* and std::uint8_t* – safe?
  28. Initialization difference with or without curly braces in C++
  29. Does C++11 change the behavior of explicitly calling std::swap to ensure ADL-located swap’s are found, like boost::swap?
  30. C++11 cross compiler/standard library random distribution reproducibility

Leave a Comment