C++11 aggregate initialization for classes with non-static member initializers

by

In C++11 having in-class member initializers makes the struct/class not an aggregate — this was changed in C++14, however. This is something I found surprising when I first ran into it, the rationale for this restriction is that in-class initializers are pretty similar to a user defined constructor but the counter argument is that no one really expects that adding in-class initializers should make their class/struct a non-aggregate, I sure did not.

From the draft C++11 standard section 8.5.1 Aggregates (emphasis mine going forward):

An aggregate is an array or a class (Clause 9) with no user-provided
constructors (12.1), no brace-or-equal initializers for non-static
data members (9.2), no private or protected non-static data members
(Clause 11), no base classes (Clause 10), and no virtual functions
(10.3).

and in C++14 the same paragraph reads:

An aggregate is an array or a class (Clause 9) with no user-provided
constructors (12.1), no private or protected non-static data members
(Clause 11), no base classes (Clause 10), and no virtual functions
(10.3).

This change is covered in N3605: Member initializers and aggregates which has the following abstract:

Bjarne Stroustrup and Richard Smith raised an issue about aggregate
initialization and member-initializers not working together. This
paper proposes to fix the issue by adopting Smith’s proposed wording
that removes a restriction that aggregates can’t have
member-initializers.

This comment basically sums up the reluctance to allowing them to be aggregates:

Aggregates cannot have user-defined constructors and
member-initializers are essentially some kind of user-defined
constructor (element) (see also Core Defect 886). I’m not against this
extension, but it also has implications on what our model of
aggregates actually is. After acceptance of this extension I would
like to know how to teach what an aggregate is.

The revised version N3653 was adopted in May 2013.

Update

emsr points out that G++ 5.0 now supports C++14 aggregates with non-static data member initializers using either std=c++1y or -std=c++14:

struct A { int i, j = i; };
A a = { 42 }; // a.j is also 42

See it working live.

More Related Contents:

  1. Implementation C++14 make_integer_sequence
  2. Is it a conforming compiler extension to treat non-constexpr standard library functions as constexpr?
  3. Differences between std::make_unique and std::unique_ptr with new
  4. Error “undefined reference to ‘std::cout'”
  5. Overload resolution between object, rvalue reference, const reference
  6. How to implement make_unique function in C++11? [duplicate]
  7. Pointers in c++ after delete
  8. C++11: Correct std::array initialization?
  9. Is std::string ref-counted in GCC 4.x / C++11?
  10. Pass by value vs pass by rvalue reference
  11. Narrowing conversions in C++0x. Is it just me, or does this sound like a breaking change?
  12. error: use of deleted function
  13. What is the difference between MinGW, MinGW-w64 and MinGW-builds?
  14. std::put_time implementation status in GCC?
  15. Overloaded lambdas in C++ and differences between clang and gcc
  16. Are notes and examples in the core language specification of the C++ Standard non-normative?
  17. GNU C++ how to check when -std=c++0x is in effect?
  18. Check traits for all variadic template arguments
  19. Range based for-loop on array passed to non-main function
  20. How to immediately invoke a C++ lambda?
  21. Throw in constexpr function
  22. error::make_unique is not a member of ‘std’
  23. std::thread error (thread not member of std)
  24. Forcing or preventing use of a particular minor version of libstdc++
  25. Calling an explicit constructor with a braced-init list: ambiguous or not?
  26. _GLIBCXX_USE_CXX11_ABI, GCC 4.8 and ABI compatibility
  27. Why can’t I move std::ofstream?
  28. Multiple “could not be resolved” problems using Eclipse with minGW
  29. GCC std::thread not found in namespace std
  30. Undefined reference to process(std::__cxx11::basic_string … ) when compiling affdex linux sample applications

Leave a Comment