常數表達式最佳化：可以在編譯時確定字串長度嗎？

在最佳化程式碼的過程中，開發人員嘗試計算使用遞​​歸函數在編譯時計算字串文字的長度。此函數逐字元計算字串並傳回長度。

初步觀察：

該函數似乎按預期工作，在運行時返回正確的長度並產生表明計算發生在編譯時的彙編程式碼。這就提出了一個問題：

是否保證length函數會在編譯時執行？

標準的觀點：

C 標準並未明確要求在編譯時對常數表達式進行求值。然而，非規範註釋表明了這種可能性。

強制編譯時執行：

為了確保編譯時評估，可以將函數分配給 constexpr多變的。根據 C 11 指南，標記變數 constexpr 需要在編譯時求值。

其他注意事項：

Bjarne Stroustrup，C 的創建者，總結了以下條件：編譯時評估為：

1. 常數表達式要求： 用於需要常數表達式的位置（例如，陣列邊界、大小寫標籤）。
2. constexpr 的初始化： 當函數用來初始化 constexpr 變數。

結論：

雖然沒有明確說明透過利用常量表達式或初始化 constexpr 變量，可以保證 constexpr 函數的標準編譯時計算。這為在編譯時優化字串和其他計算提供了可能性，從而實現更有效率的程式碼執行。