static constexpr member of same type as class being defined

by

If I interpret the Standard correctly, it isn’t possible.

(§9.4.2/3) […] A static data member of literal type can be declared in the
class definition with the constexpr specifier; if so, its declaration shall specify a brace-or-equal-initializer in which every initializer-clause that is an assignment-expression is a constant expression. […]

From the above (along with the fact that there is no separate statement about non-literal types in static data member declarations), I believe it follows that a static data member that is constexpr must be a literal type (as defined in §3.9/10), and it must have its definition included in the declaration. The latter condition could be satisfied by using the following code:

struct Foo {
  constexpr Foo() {}
  static constexpr Foo f {};
};

which is similar to your Attempt 1, but without the class-external definition.

However, since Foo is incomplete at the time of declaration/definition of the static member, the compiler can’t check whether it is a literal type (as defined in §3.9/10), so it rejects the code.

Note that there is this post-C++-11 document (N3308) which discusses various problems of the current definition of constexpr in the Standard, and makes suggestions for amendments. Specifically, the “Proposed Wording” section suggests an amendment of §3.9/10 that implies the inclusion of incomplete types as one kind of literal type. If that amendment was to be accepted into a future version of the Standard, your problem would be solved.

More Related Contents:

  1. Undefined reference to static constexpr char[]
  2. Why do constant expressions have an exclusion for undefined behavior?
  3. When should you use constexpr capability in C++11?
  4. const vs constexpr on variables
  5. Create N-element constexpr array in C++11
  6. Is is_constexpr possible in C++11?
  7. constexpr and initialization of a static const void pointer with reinterpret cast, which compiler is right?
  8. Computing length of a C string at compile time. Is this really a constexpr?
  9. Does constexpr imply inline?
  10. constexpr overloading
  11. how to initialize a constexpr reference
  12. Detecting constexpr with SFINAE
  13. Constexpr Math Functions
  14. Does static constexpr variable inside a function make sense?
  15. Constexpr pointer value
  16. C++11: Compile Time Calculation of Array
  17. Populate An Array Using Constexpr at Compile-time
  18. Is it legal to declare a constexpr initializer_list object?
  19. Is it possible to declare constexpr class in a header and define it in a separate .cpp file?
  20. Is it possible to use std::string in a constexpr?
  21. Lookup table with constexpr
  22. Concat two `const char` string literals
  23. constexpr not compiling in VC2013
  24. constexpr vs. static const: Which one to prefer?
  25. constexpr const vs constexpr variables?
  26. constexpr initialization of array to sort contents
  27. What am I allowed to do with a static, constexpr, in-class initialized data member?
  28. C++ Linker Error With Class static constexpr
  29. Why is reinterpret_cast not constexpr?
  30. Is constexpr really needed?

Leave a Comment