g++ and clang++ different behaviour with recursive initialization of a static member
It is unspecified. Both compilers are right.
Here are the relevant pieces from cppreference "initialization".
Static initialization
For all other non-local static and thread-local variables, Zero initialization takes place
So for all these variables, they are zero when the program loads. Then:
Dynamic initialization
After all static initialization is completed, dynamic initialization of non-local variables occurs in the following situations:
1) Unordered dynamic initialization, which applies only to (static/thread-local) class template static data members and ... that aren't explicitly specialized.
And these variables match the criteria. And then it says:
Initialization of such static variables is indeterminately sequenced with respect to all other dynamic initialization ....
Which means that any sequence of initialization is fine. Both compilers are correct.
To avoid the issue use constexpr
to force a "constant initialization" instead.
It is Unspecified.
You are using a construct where you reference a variable definition onto itself - perhaps somewhat analogue to saying int i = i-1
. In clang case, it is just using the generic template definition
template <std::size_t N>
struct foo
{ static std::size_t value; };//without specialization this will be ZERO initialized
because it hasn't seen 'itself' like normal template class or function would (as opposed to gcc case).
To sum up:
1) Legit
2) Unspecified
To avoid issues use constexpr and specialize the class template instead.