Initializing static constexpr variables and classes inside a struct
Since C++ 17 introduced static inline variables and made static constexpr variables implicitly inline, the answer to your question is now much more simple. So in your example, you could simply use the following without any declaration of variable bee
outside the class (although it's still allowed for compatibility reasons):
template<int x>
struct A {
static constexpr b<int> bee = x;
};
Source: cppreference
A static data member may be declared inline. An inline static data member can be defined in the class definition and may specify an initializer. It does not need an out-of-class definition:
struct X { inline static int n = 1; };
If a static data member is declared constexpr, it is implicitly inline and does not need to be redeclared at namespace scope. This redeclaration without an initializer (formerly required [...]) is still permitted, but is deprecated.
A static constexpr
member has a value upon its initialization inside the class { }
scope, but it does not have a location in memory (an address) until it is defined outside the class { }
. The reason is that you may decide to include some or all of its specializations in a link library (e.g. .o
or .so
), or whether to give effectively-inline linkage to specializations by default.
The out-of-class definition is required if the address of the object is ever used, which implies that it must exist as a global variable. On the other hand, if you want the constexpr
member only to exist at compile time, prohibiting global storage allocation, then omitting the definition is a good choice.
By the way, it's not allowed to put the constexpr
specifier on a function that can never be evaluated as a constant expression, such as sayhi
which prints to std::cout
. This is a "no diagnostic required (NDR)" rule, meaning that the compiler might not complain now but the next compiler version might.