我們可以在constexpr函數中忽略局部變量的const嗎？

Question

例如：

constexpr int g() { return 30; }  

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

    return x + y; 
} 

有任何一點永遠與const一個constexpr函數聲明局部變量？

是不是constexpr功能與const局部變量相當於到那些沒有const？

換句話說，constexpr上的函數對其局部變量強加（暗示）const？

Answer 1

在非constexpr函數變量聲明爲const也適用於constexpr功能相同的參數：

• 聲明一個變量const記載的事實，它永遠不會改變。這在某些情況下可能有助於使該功能更具可讀性。
• 聲明變量const會影響超載分辨率，並且可能會使h(x)解決h的不同，具體取決於x是否爲const。

當然，在相反的方向，如在評論已經提到的：

即使在constexpr功能，局部變量可以被改變。如果這些變量被更改爲const，則嘗試更改它們將不再被接受。

Answer 2

通常，函數無法在編譯時進行評估，因此無法在常量表達式中調用。將函數指定爲constexpr表示可以在常量表達式中使用它，如果其輸入參數是常量。例如，這...

constexpr int n = func(7); 

...必須在編譯時進行評估。

這就是函數之前constexpr的含義。在這種情況下，它並不遵循函數內部的局部變量不必指定爲const。

Answer 3

在這個具體的例子中的局部變量將最佳聲明constexpr，不const，因爲他們可以在編譯時計算：

constexpr int g() { return 30; }  

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

    return x + y; 
} 

當f()被稱爲在運行時，不constexpr在x和y（有或沒有const在x和y）你給編譯器選項初始化x和y在運行時而不是編譯時。隨着constexpr上x和y，編譯器應計算x和y在編譯時，即使f()在運行時執行。

然而，在不同的功能中，不能總是使用constexpr。例如，如果f()和g()了一個參數：

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; 
} 

現在x不能標記爲constexpr，因爲z可能不是一個編譯時間常數，目前還沒有辦法將其標記爲此類。所以在這種情況下，標記xconst是你能做的最好的。

Answer 4

你不僅可以，但有時你必須（即如果變量的變化），如：

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'}; 

是C++ 14的罰款。