Können Consteval-Funktionen Funktionsparameter in Vorlagenparametern legalisieren, die von Funktionsargumenten abhängig sind?

Consteval-Funktionen: Einschränkungen für Vorlagenparameter in Abhängigkeit von Funktionsargumenten

In C 17 werden constexpr-Funktionen definiert, die auf funktionsabhängigen Vorlagenparametern basieren Argumente waren verboten. Während Consteval-Funktionen in C 20 versprechen, eine Auswertung zur Kompilierungszeit zu erzwingen, bedeutet dies, dass solcher Code jetzt legalisiert werden kann?

Frage:

consteval int foo(int i) { return std::integral_constant::value; }. Wird dieser Code in C 20 gültig sein?

Antwort:

Nein.

Erklärung:

Trotz der Einführung von Consteval-Funktionen bleibt das zugrunde liegende Prinzip bestehen, dass Nicht-Template-Funktionsdefinitionen einen einzigen Punkt der Typauflösung haben. Die Legalisierung des vorgeschlagenen Kodex hätte Auswirkungen auf die One Definition Rule (ODR). Darüber hinaus heißt es im C 20-Artikel ausdrücklich, dass Funktionsparameter aufgrund möglicher Typkonflikte nicht als konstante Kernausdrücke behandelt werden.

Daher können Funktionsparameter nicht einmal direkt als konstante Ausdrücke innerhalb von Vorlagenparameterabhängigkeiten verwendet werden in konstevalen Funktionskontexten.

Das obige ist der detaillierte Inhalt vonKönnen Consteval-Funktionen Funktionsparameter in Vorlagenparametern legalisieren, die von Funktionsargumenten abhängig sind?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!