Non è richiesta una funzione constexpr per restituire un'espressione costante?

Question

C++ Primer (5a edizione) a pagina 240 ha una nota affermando:

"Una funzione constexpr non è tenuto a restituire un'espressione costante".

Una domanda è stata posta al riguardo: can constexpr function return type be a non const?. L'autore di quella domanda ha frainteso la nota.

Ma qual è la corretta comprensione di ciò (le risposte al post citato chiariscono la confusione dell'autore di quel post, ma non rispondono alla mia domanda)?

Answer 1

Una funzione (non modello) constexpr deve avere almeno un percorso di esecuzione che restituisca un'espressione costante; formalmente, devono esistere valori di argomento tali che "un'evocazione della funzione [...] potrebbe essere una sottoespressione valutata di un'espressione costante di nucleo" ([dcl.constexpr]/5). Per esempio (ibid.):

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

Qui int f(bool) è permesso di essere constexpr perché la sua invocazione con valore di argomento false restituisce un'espressione costante.

È possibile avere una funzione constexpr che non può mai restituire un'espressione costante se si tratta di una specializzazione di un modello di funzione che potrebbe avere almeno una specializzazione che restituisce un'espressione costante. Ancora, con quanto sopra:

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

Answer 2

A constexpr funzione deve restituire * deve avere un percorso che restituisce un'espressione costante se tutti i parametri sono espressioni costanti. Questo ha davvero senso. Esempio:

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 

* Correzione da chris.