Wie kann ein statisches „constexpr'-Mitglied mit einer statischen „constexpr'-Funktion in C initialisiert werden?

Verwenden einer statischen constexpr-Funktion zum Initialisieren eines statischen constexpr-Mitglieds

Das Ziel dieses Codes besteht darin, einen constexpr-Wert im Namensraum von zu erstellen eine Klasse durch die Verwendung einer statischen constexpr-Funktion und eines statischen Members. Bei Versuchen, dies zu erreichen, sind jedoch bei verschiedenen Versionen von g Kompilierungsfehler aufgetreten.

Erster Versuch

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

Dieser Code schlägt mit g 4.5.3 und 4.6 fehl. 3 aufgrund des Vorhandenseins eines Funktionsaufrufs im statischen Element constexpr Initialisierung.

Zweiter Versuch

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

Dieser Code schlägt mit g 4.6.3 fehl, da das statische constexpr-Datenelement einen Initialisierer in seiner Deklaration haben muss.

Anforderungen des Standards

Gemäß Gemäß Abschnitt 9.4.2 des C-Standards kann ein statisches Datenelement vom Typ Literal in der Klassendefinition mit dem Spezifizierer constexpr deklariert werden. Wenn ja, muss die Deklaration einen Klammer-oder-Gleich-Initialisierer angeben, wobei jede Initialisierungsklausel ein konstanter Ausdruck ist.

Im Code „zweiter Versuch“ hat die Deklaration keine Klammer-oder- Gleichheitsinitialisierer. Daher erfüllt es nicht die Anforderungen des Standards.

Unmöglichkeit des Ziels

Leider schließt der Standard die Initialisierung eines statischen constexpr-Datenelements in jedem Kontext aus, in dem sich die Klasse befindet vollständig. Dies liegt daran, dass constexpr-Variablen als konstante Ausdrücke zur Kompilierungszeit innerhalb der Körper von Mitgliedsfunktionen verfügbar sein müssen. Daher werden die Variableninitialisierer vollständig vor den Funktionskörpern definiert, was bedeutet, dass die Funktion im Kontext des Initialisierers noch unvollständig ist. Daher wird der Ausdruck nicht als konstanter Ausdruck betrachtet.

Schlussfolgerung

Aufgrund von Einschränkungen im C-Standard ist es nicht möglich, statische constexpr-Daten zu initialisieren Mitglied, das eine statische constexpr-Funktion verwendet, wenn die Klasse abgeschlossen ist.

Das obige ist der detaillierte Inhalt vonWie kann ein statisches „constexpr'-Mitglied mit einer statischen „constexpr'-Funktion in C initialisiert werden?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!