constexpr関数本体内の評価されていないコンテキストでのみ使用される引数

Question

次のコードは、gcc 5.3.0で正常にコンパイルされましたが、clang 3.7.0でコンパイルできませんでした。私は両方の場合に同じコマンドラインオプションを使ってオンラインcoliruコンパイラを使用しました：-std = C++ 14 -O2 -Wall -pedantic -pthread。

#include <cstdio> 

// Definition of constexpr function 'foo'. 
constexpr std::size_t foo(const int& arg_foo) { return sizeof(arg_foo); } 

// Definition of function 'test'. 
void test(const int& arg) 
{ 
    // The following line produces an error with clang. 
    constexpr std::size_t res_foo = foo(arg); 

    // Print the result returned by the 'foo' function. 
    std::printf("res_foo = %lu\n", res_foo); 
} 

// Definition of function 'main'. 
int main(int argc, const char* argv[]) 
{ 
    // Test function call. 
    test(argc); 

    // Return statement. 
    return 0; 
} 

打ち鳴らすには、次のエラーでそれを拒否：これは、コードの有効な部分である場合、私は疑問に思って、そのため2つのコンパイラとのこの違いの

error: constexpr variable 'res_foo' must be initialized by a constant expression 
constexpr size_t res_foo = foo(arg); 
          ~~~~^~~~ 

。そうでない場合は、なぜこれが当てはまるのかをよりよく理解したいと思います。

Answer 1

constとconstexprの値を混在させています。 constexprの定義は、コンパイル時にわかっている値です。しかし、argc変数は実行時にのみ認識されます（実行可能ファイルに渡される引数の数です）。したがって、他のconstexpr変数 - res_fooに割り当てることはできません。 res_foo定義からconstexprを削除すると、コードがコンパイル可能になります。

constとconstexprの違いは、このような何かを簡素化することができます。
const - 私は、この値
constexprを変更するつもりはない - この値は、私はつもりはないコンパイル時とで知られていますそれを変更する

私は、arg_foo引数を使用しておらず、コンパイル時にGCCがO2でこのコードをコンパイルできると思います。しかし、それでも文法的には間違っています。非constexpr値がconstexpr変数に割り当てられているため、コンパイラはエラーを出すべきです。

Answer 2

foo(arg)は、C++ 14 5.20/2で定義されているような正価のコア定数式であるため、プログラムは整形式です。特に、評価中に左辺値と右辺値の変換はなく、定数式ではありません。