constexpr initializing static member using static function

by

The Standard requires (section 9.4.2):

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.

In your “second attempt” and the code in Ilya’s answer, the declaration doesn’t have a brace-or-equal-initializer.

Your first code is correct. It’s unfortunate that gcc 4.6 isn’t accepting it, and I don’t know anywhere to conveniently try 4.7.x (e.g. ideone.com is still stuck on gcc 4.5).

This isn’t possible, because unfortunately the Standard precludes initializing a static constexpr data member in any context where the class is complete. The special rule for brace-or-equal-initializers in 9.2p2 only applies to non-static data members, but this one is static.

The most likely reason for this is that constexpr variables have to be available as compile-time constant expressions from inside the bodies of member functions, so the variable initializers are completely defined before the function bodies — which means the function is still incomplete (undefined) in the context of the initializer, and then this rule kicks in, making the expression not be a constant expression:

an invocation of an undefined constexpr function or an undefined constexpr constructor outside the definition of a constexpr function or a constexpr constructor;

Consider:

class C1
{
  constexpr static int foo(int x) { return x + bar; }
  constexpr static int bar = foo(sizeof(int));
};

More Related Contents:

  1. Why does flowing off the end of a non-void function without returning a value not produce a compiler error?
  2. What is the difference between g++ and gcc?
  3. Undefined reference to static constexpr char[]
  4. How does #include work in C++? [duplicate]
  5. Compiling a C++ program with GCC
  6. Undefined Symbol ___gxx_personality_v0 on link
  7. Why does typeid.name() return weird characters using GCC and how to make it print unmangled names?
  8. Compiling multithread code with g++
  9. How to create a static library with g++?
  10. How to force gcc to link an unused static library
  11. gcc/g++: “No such file or directory”
  12. Linking g++ 4.8 to libstdc++
  13. Update GCC on OSX
  14. error: use of deleted function
  15. Linking to MSVC DLL from MinGW
  16. Static member access in constant expressions
  17. GNU C++ how to check when -std=c++0x is in effect?
  18. g++ How to get warning on ignoring function return value
  19. SetJmp/LongJmp: Why is this throwing a segfault?
  20. request for member `…’ is ambiguous in g++
  21. GCC: Difference between -O3 and -Os
  22. Throw in constexpr function
  23. Does the restrict keyword provide significant benefits in gcc/g++?
  24. Difference between regex_match and regex_search?
  25. Why can I call a non-constexpr function inside a constexpr function?
  26. Why does constexpr static member (of type class) require a definition?
  27. What am I allowed to do with a static, constexpr, in-class initialized data member?
  28. Why does sqrt() work fine on an int variable if it is not defined for an int?
  29. constexpr not working if the function is declared inside class scope
  30. Can I make GCC warn on passing too-wide types to functions?

Leave a Comment