Eine constexpr-Funktion ist nicht erforderlich, um einen konstanten Ausdruck zurückzugeben?

Question

C++ Primer (5. Auflage) auf Seite 240 hat einen Vermerk:

"A constexpr Funktion nicht erforderlich ist, einen konstanten Ausdruck zurückzukehren".

Es wurde eine Frage gestellt: can constexpr function return type be a non const?. Der Autor dieser Frage hat die Notiz falsch verstanden.

Aber was ist das richtige Verständnis davon (die Antworten auf den zitierten Beitrag klären die Verwirrung des Autors dieser Post, aber beantworten meine Frage nicht)?

Answer 1

Eine (nicht Vorlage) constexpr Funktion muss mindestens einen Ausführungspfad haben, der einen konstanten Ausdruck zurückgibt; formal muss es Argumentwerte geben, so dass "ein Aufruf der Funktion [...] ein ausgewerteter Unterausdruck eines Kernkonstantenausdrucks sein könnte" ([dcl.constexpr]/5). Zum Beispiel (ibid.):

constexpr int f(bool b) { return b ? throw 0 : 0; }  // OK 
constexpr int f() { return f(true); }  // ill-formed, no diagnostic required 

int f(bool) Hier ist erlaubt, weil constexpr ihr Aufruf mit Argumentwert sein false einen konstanten Ausdruck liefert.

Es ist möglich, eine constexpr Funktion zu haben, die niemals einen konstanten Ausdruck zurückgeben kann, wenn es sich um eine Spezialisierung einer Funktionsvorlage handelt, die mindestens eine Spezialisierung haben kann, die einen konstanten Ausdruck zurückgibt. Nochmal mit dem obigen:

template<bool B> constexpr int g() { return f(B); } // OK 
constexpr int h() { return g<true>(); } // ill-formed, no diagnostic required 

Answer 2

Eine constexpr Funktion muss zurückgeben * muss einen Pfad haben, der einen konstanten Ausdruck zurückgibt, wenn alle Parameter konstante Ausdrücke sind. Das macht eigentlich Sinn. Beispiel:

constexpr int square(int i){ 
    return i*i; 
} 

std::array<int, square(2)> ia; //works as intended, constant expression 
int i; 
std::cin >> i; 
int j = square(i); //works even though i is not a constant expression 
std::array<int, square(i)> ia; //fails, because square does not (and cannot) 
           //return a constant expression 

* Korrektur durch chris.