Try to understand compiler error message: default member initializer required before the end of its enclosing class

by

This is a clang and gcc bug, we have a clang bug report for this: default member initializer for ‘m’ needed within definition of enclosing class for default argument of function which has the following example:

#include <limits>
class A
{
   public:
      class B
      {
         public:
            explicit B() = default;
            ~B() = default;

         private:
            double m = std::numeric_limits<double>::max();
      };

   void f(double d, const B &b = B{}) {}
};

int main()
{
   A a{};
   a.f(0.);
}

which produces the following similar diagnostic:

t.cpp(15,34):  error: default member initializer for 'm' needed within definition of enclosing class 'A' outside of member functions
   void f(double d, const B &b = B{}) {}
                                 ^
t.cpp(12,20):  note: default member initializer declared here
            double m = std::numeric_limits<double>::max();
                   ^

Richard Smith indicates this is a bug:

Regarding comment#0: if we want to fix this once-and-for-all, we should use the same technique we use for delayed template parsing: teach Sema to call back into the parser to parse the delayed regions on-demand. Then we would only reject the cases where there’s an actual dependency cycle.

Although does not explain why in details.

More Related Contents:

  1. what is the concept of evaluation of expression z = (y = 30) + (y = 10) + (y = 20); [closed]
  2. Why compiler gives the message "call of overloaded function is ambiguous" here in C++11?
  3. What are Aggregates and PODs and how/why are they special?
  4. Implementation C++14 make_integer_sequence
  5. reinterpret_cast creating a trivially default-constructible object
  6. Is it a conforming compiler extension to treat non-constexpr standard library functions as constexpr?
  7. Is it safe to link C++17, C++14, and C++11 objects
  8. Strongly typed using and typedef
  9. C++11 aggregate initialization for classes with non-static member initializers
  10. How to implement make_unique function in C++11? [duplicate]
  11. Pointers in c++ after delete
  12. C++11: Correct std::array initialization?
  13. Is a pointer with the right address and type still always a valid pointer since C++17?
  14. Pass by value vs pass by rvalue reference
  15. Why are lambda expressions not allowed in an unevaluated operands but allowed in the unevaluated portions of constant expressions?
  16. Default, value and zero initialization mess
  17. Is #pragma once part of the C++11 standard?
  18. Capturing perfectly-forwarded variable in lambda
  19. Parallel Loops in C++
  20. Lambda capture as const reference?
  21. How to extract the source filename without path and suffix at compile time?
  22. Compile-time or runtime detection within a constexpr function
  23. Is there an automatic noexcept specifier?
  24. Which headers in the C++ standard library are guaranteed to include another header?
  25. Raw pointer lookup for sets of unique_ptrs
  26. How similar are Boost.Filesystem and the C++ standard filesystem library?
  27. Classes with both template and non-template conversion operators in the condition of switch statement
  28. Why does constexpr static member (of type class) require a definition?
  29. What changes to C++ made copy initialization work for class with explicit constructor?
  30. Directly write into char* buffer of std::string

Leave a Comment