Do I really need to implement user-provided constructor for const objects?

by

N3797 §8.5/7 says:

If a program calls for the default initialization of an object of a const-qualified type T, T shall be a class type with a user-provided default constructor.

There’s no further example or explanation of this. I agree it seems pretty bizarre. Furthermore the rule was updated in C++11 to be more restrictive than it was in C++03, when class types needed user-declared constructors. (Your constructor is user-declared.)

The workaround is be to ask for value initialization using {}, or use Dietmar’s clever out-of-class inline definition.

GCC does provide a diagnosis (and quite a nice one, referring to the newer C++11 requirements) if you add another member without an initializer.

  private:
    int i = 1;
    int j;

 

unmem.cpp:11:11: error: uninitialized const ‘a’ [-fpermissive]
   const A a;
           ^
unmem.cpp:1:7: note: ‘const class A’ has no user-provided default constructor
 class A {
       ^
unmem.cpp:3:5: note: constructor is not user-provided because it is explicitly defaulted in the class body
     A() = default;
     ^
unmem.cpp:7:9: note: and the implicitly-defined constructor does not initialize ‘int A::j’
     int j;

The GCC source refers to DR 253, Why must empty or fully-initialized const objects be initialized? This is an open issue in the standard, last updated in August 2011 (post-C++11) with this note:

If the implicit default constructor initializes all subobjects, no initializer should be required.

Therefore whereas Clang complies with C++11 (and will comply as-is with C++14), GCC is implementing the latest thinking of the standardization committee.

Filed a GCC bug. I predict that you’ll need -pedantic to get a diagnosis when (and if) the bug is fixed.

More Related Contents:

  1. Why is the std::initializer_list constructor preferred when using a braced initializer list?
  2. Optimizing away a “while(1);” in C++0x
  3. Will std::string always be null-terminated in C++11?
  4. const vs constexpr on variables
  5. Does const mean thread-safe in C++11?
  6. What is constructor inheritance?
  7. C++0x lambda capture by value always const?
  8. Is a moved-from vector always empty?
  9. c++ access static members using null pointer
  10. Why is modifying a string through a retrieved pointer to its data not allowed?
  11. Get pointer to object from pointer to some member
  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. Is a `=default` move constructor equivalent to a member-wise move constructor?
  15. Forwarding all constructors in C++0x
  16. Does this code from “The C++ Programming Language” 4th edition section 36.3.6 have well-defined behavior?
  17. Are int8_t and uint8_t intended to be char types?
  18. When do extra parentheses have an effect, other than on operator precedence?
  19. Has the new C++11 member initialization feature at declaration made initialization lists obsolete?
  20. constexpr vs. static const: Which one to prefer?
  21. What is the purpose of a declaration like int (x); or int (x) = 10;
  22. Why must const members be initialized in the constructor initializer rather than in its body?
  23. Should I still return const objects in C++11? [duplicate]
  24. Does C++11 allow dollar signs in identifiers?
  25. Conflict between copy constructor and forwarding constructor
  26. What is the difference between std::quick_exit and std::abort and why was std::quick_exit needed?
  27. Does C++11 change the behavior of explicitly calling std::swap to ensure ADL-located swap’s are found, like boost::swap?
  28. Using std::bind with member function, use object pointer or not for this argument?
  29. memcpy/memmove to a union member, does this set the ‘active’ member?
  30. Overload resolution with ref-qualifiers

Leave a Comment