Können C++ - Compiler das Ergebnis von conexpr-Funktionen zwischenspeichern?

Question

Haftungsausschluss: Diese Frage ist ein wenig kompliziert, weil es mehrere Fragen in einem ist, aber sie sind alle auf die gleiche Art von Konzept/Problem bezogen.

Premise: consexpr Funktionen nur aus einer einzigen return Anweisung bestehen.

Sie können andere Funktionen aufrufen und Conditionals verwenden, aber theoretisch sollten sie funktionale Reinheit demonstrieren, und daher sollten die Ergebnisse in einer Art von Karte (durch den Compiler, zur Kompilierzeit) gespeichert werden können, so dass der Compiler nicht hat die gleiche Funktion ständig neu zu bewerten.

Frage (n): Ist diese Annahme richtig oder gibt es etwas, das ich nicht in Betracht gezogen, die es unmöglich macht, das Ergebnis einer constexpr Funktion cachen? Wenn nein, bedeutet dies, dass constexpr Funktionen jedes Mal berechnet werden müssen, wenn sie verwendet werden?

Was ist mit template s? Sind constexpr Werte auf template s abrufbar oder müssen sie auch jedes Mal neu berechnet werden?

Answer 1

Ich glaube nicht, constexpr Funktionen müssen rein sein - zumindest nicht für alle möglichen Argumente. Überlegen:

#include <iostream> 
#include <stdlib.h> 

constexpr int f(int n) { return n == 0 ? 42 : rand(); } 

template <int n> void g() {} 

int main() 
{ 
    g<f(0)>(); // OK 
// g<f(1)>(); // error 
    std::cout << f(0) << ' ' << f(1) << ' ' << f(2); 
} 

Ausgabe: 42 1804289383 846930886. Demo