konstvale Funktionen und Vorlagenparameter, die von Funktionsargumenten abhängen

In c 17 kompile-time.

c 20 canteval functions

c 20 führt Constval-Funktionen ein, die zur Kompilierzeit bewertet werden müssen, wodurch die Laufzeitbeschränkung entfernt werden muss. Es bleibt jedoch die Frage: Ist dies die Parameter von Vorlagen jetzt von Funktionsargumenten abhängen?

keine Zulagen für abhängige Vorlagenparameter

trotz der Einführung von Constval -Funktionen sind die Antwort nein. Das Papier erkennt an, dass die Parameter nicht als Kernkonstante ausdrücklich behandelt werden sollen. Dies ist auf potenzielle Tipps zu Diskrepanzen zurückzuführen, wie das Beispiel im Papier zeigt:

consteval int sqrsqr(int n) {
  return sqr(sqr(n)); // Not a constant-expression at this  point,
}                     // but that's okay.

Daher werden die Funktionsparameter niemals als konstante Ausdrücke angesehen und verhindern, dass Vorlagenparameter von ihnen abhängig sind.