constexprののkeyworkは、コード生成

Question

には影響しません。私は、簡単なプログラムを書きました。実際に生成されたマシンコードがループ内で結果を評価：

mov  edx, offset aHelloWorld ; "hello world" 
loc_408D00: 
    add  edx, 1 
    mov  eax, edx 
    sub  eax, offset aHelloWorld ; "hello world" 
    cmp  byte ptr [edx], 0 
    jnz  short loc_408D00 
    leave 
    retn 

プログラムは、フラグ-std=c++11 -Ofast -O2とG ++バージョン5.3でコンパイルされています。 Visual Studio 2013とg ++ 4.9で得たのと同じ結果です。

Quaestionコンパイラが指定されたコードを最適化できなかった理由は何ですか？

Answer 1

constexpr関数は、必ずしもコンパイル時に評価されるとは限りません。 constexprのコンテキストで使用される場合は、それはコンパイル時に評価されなければならない、だから、次は関係なく、コンパイラの最適化の動作します：

main: 
     mov  eax, 11 
     ret 

：

int main() 
{ 
    constexpr auto len = strlen_c("hello world"); 
    return len; 
} 

後は、上記のコードのために生成されたアセンブリであります

Demo