Constexpr initialisiert statisches Mitglied mit statischer Funktion

Ursprüngliche Frage:

In C, Ist es möglich, einen constexpr-Wert (Kompilierungszeitkonstante) aus einer constexpr-Funktion zu berechnen und ihn als statisches Mitglied von a zu speichern? Klasse?

Erste Versuche und Antwort des Compilers:

Der erste Versuch, eine statische Constexpr-Funktion foo innerhalb der Klasse zu definieren und eine statische Constexpr-Mitgliedsleiste mit foo zu initialisieren, ist fehlgeschlagen mit Fehlern sowohl in g -4.5.3 als auch in g -4.6.3.

Erläuterung:

Gemäß dem C-Standard kann ein statisches constexpr-Datenelement in der Klassendefinition mit einer geschweiften Klammer oder gleich initialisiert werden -initializer, wobei jede Initialisierungsklausel ein konstanter Ausdruck sein muss. Der bereitgestellte Code verstieß gegen diese Regel, da die Initialisierung von bar auf dem Konstantenausdruck foo(sizeof(int)) im Klassenkörper beruhte und es sich somit nicht um einen konstanten Ausdruck handelte.

Weitere Analyse:

Weitere Versuche, einschließlich des Verschiebens der constexpr-Funktionsdefinition außerhalb des Klassenkörpers, führten immer noch zu Fehlern in g -4.6.3, die Compiler-spezifisch hervorhoben Einschränkungen.

Schlussfolgerung:

Gemäß dem C-Standard ist die Initialisierung eines statischen constexpr-Datenelements mit einem Initialisierer, der einen constexpr-Funktionsaufruf beinhaltet, außerhalb der Definition von a nicht zulässig constexpr-Funktion oder constexpr-Konstruktor. Dies ist auf die Anforderung zurückzuführen, dass constexpr-Variablen als Konstanten zur Kompilierungszeit in den Körpern der Mitgliedsfunktionen verfügbar sein müssen.