Warum müssen Nicht-Typ-Vorlagenparameter konstante Integralausdrücke sein?

Nicht-Typ-Vorlagenparameter und konstante Integralausdrücke

Nicht-Typ-Vorlagenparameter sind ein wertvolles Werkzeug zum Anpassen von Vorlagen, aber warum ist es so wichtig? dass es sich um konstante Integralausdrücke handelt?

Bedenken Sie Folgendes Code:

template <std::string temp>
void foo() {
     // ...
}

Das Kompilieren dieses Codes führt zu folgendem Fehler:

error C2993: 'std::string' : illegal type for non-type template parameter 'temp'.

Nichttyp-Vorlagenparameter müssen konstante Integralausdrücke sein, da sie während der Kompilierung ausgewertet werden. Dies ermöglicht eine direkte Codegenerierung ohne Laufzeitauswertung. Typen wie std::string, die sich zur Laufzeit ändern können, können während der Kompilierungszeit nicht ersetzt werden.

Der Standard schreibt vor, dass nicht-typbezogene Vorlagenparameter nur die folgenden Typen sein dürfen:

• Integral- oder Aufzählungstypen
• Zeiger auf Objekte oder Funktionen
• L-Wert-Referenzen auf Objekte oder Funktionen
• Zeiger auf Mitglieder
• std::nullptr_t

Durch die Beschränkung nicht typisierter Vorlagenparameter auf konstante Werte zur Kompilierungszeit kann der Compiler effizienten Code generieren Kompilierungszeit, um sicherzustellen, dass das Verhalten des Programms vor der Laufzeit vollständig bestimmt und optimiert werden kann.

Das obige ist der detaillierte Inhalt vonWarum müssen Nicht-Typ-Vorlagenparameter konstante Integralausdrücke sein?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!