Possiamo omettere const sulle variabili locali nelle funzioni di constexpr?

Question

Per esempio:

constexpr int g() { return 30; }  

constexpr int f() 
{ 
    // Can we omit const? 
    const int x = g(); 
    const int y = 10; 

    return x + y; 
} 

C'è qualsiasi punto per sempre dichiarare le variabili locali in una funzione constexpr con const?

non sono constexpr funzioni con const variabili locali equivalenti a quelli senza const?

In altre parole, fa constexpr su una funzione imporre (implica) const sulle sue variabili locali?

Answer 1

Gli stessi argomenti per dichiarare le variabili come const a non constexpr funzioni applicano anche ai constexpr funzioni:

• Dichiarare una variabile const documenta il fatto che non potrà mai essere modificato. Ciò può in alcuni casi aiutare a rendere la funzione più leggibile.
• Dichiarazione di variabile const affetti risoluzione di sovraccarico, e può rendere h(x) determinazione h diverso a seconda che x è const.

Naturalmente, nella direzione opposta, come indicato nei commenti già:

Anche in constexpr funzioni, variabili locali possono essere modificati. Se tali variabili vengono quindi modificate in modo che siano const, i tentativi di modificarle non verranno più accettati.

Answer 2

In generale, una funzione non può essere valutata in fase di compilazione e pertanto non può essere chiamata in un'espressione costante. La specifica di una funzione come constexpr indica che può essere utilizzata in espressioni costanti SE i suoi argomenti di input sono costanti. Ad esempio questo ...

constexpr int n = func(7); 

... deve essere valutato in fase di compilazione.

Questo è il significato di constexpr prima delle funzioni. Stando così le cose, non segue che le variabili locali all'interno della funzione non debbano essere specificate const.

Answer 3

In questo esempio particolare le variabili locali sarebbe meglio dichiarata constexpr, non const, perché possono essere calcolati in fase di compilazione:

constexpr int g() { return 30; }  

constexpr int f() 
{ 
    constexpr int x = g(); 
    constexpr int y = 10; 

    return x + y; 
} 

Quando f() viene chiamato in fase di esecuzione, senza la constexpr su x e , (con o senza const su x e) si sta dando al compilatore l'opzione per inizializzare x e y in fase di esecuzione anziché in fase di compilazione.Con il constexpr su x e y, il compilatore deve calcolare x e y al momento della compilazione, anche quando f() viene eseguito in fase di esecuzione.

In una diversa funzione, tuttavia, constexpr non può essere sempre utilizzato. Per esempio se f() e g() preso un parametro:

constexpr int g(int z) { return z+30; }  

constexpr int f(int z) 
{ 
    const int x = g(z); 
    constexpr int y = 10; 

    return x + y; 
} 

Ora x non possono essere contrassegnati constexpr perché z non può essere una fase di compilazione costante, e non v'è attualmente alcun modo per marcare come tale. Quindi in questo caso, contrassegnare xconst è il meglio che puoi fare.

Answer 4

Non solo può, ma a volte si must (cioè se i cambiamenti variabili), ad esempio :

constexpr size_t f(size_t n) { 
    size_t val = 1; 
    if (n == 0) val++; 
    return val; 
} 
char arr0[f(0)] = {'a', 'x'}; 
char arr1[f(1)] = {'y'}; 

va bene in C++ 14.