std :: mapの初期化にC++ 11のconstexprを使用する

Question

キーをconstexprにしてstd :: mapを初期化したい。コードが生成されたバイナリは、キータイプの文字列が含まれています最近どの打ち鳴らすとgcc、コンパイルしている間

#include <map> 
using std::map; 

constexpr unsigned int str2int(const char* str, const int h = 0) { 
    return !str[h] ? 5381 : (str2int(str, h + 1) * 33)^str[h]; 
} 

const map<unsigned int, const char*> values = { 
    {str2int("foo"), "bar"}, 
    {str2int("hello"), "world"} 
}; 

int main() { return 0; } 

：次のC++ 11 MWEを考えてみましょう

をしている理由バイナリに含まれているキーはconstexprとして使用されていますか？この現象を回避する方法はありますか？

もちろん、マップの初期化は実行時に行われます。しかし、コンパイル時にバイナリの値をconstexprに置き換えてはいけませんか？

注：これはもちろん簡単な例です。私は異なったブーストの構造があることを知っています。このユースケースにはより適しています。私は特にに興味があり、なぜこれが起こっているのですか？

[編集]

この現象は、最適化が有効かどうかに関係なく発生します。 次のコードは、バーは、文字列テーブル内の唯一のユーザー定義の文字列であることをコンパイルします。

#include <map> 
#include <iostream> 
#include <string> 

using namespace std; 

constexpr unsigned int str2int(const char* str, const int h = 0) { 
    return !str[h] ? 5381 : (str2int(str, h + 1) * 33)^str[h]; 
} 

int main() { 
    string input; 
    while(true) { 
    cin >> input; 
    switch(str2int(input.c_str())) { 
     case str2int("quit"): 
     return 0; 
     case str2int("foo"): 
     cout << "bar" << endl; 
    } 
    } 
} 

私は

$ for x in "gcc-mp-7" "clang"; do 
    $x --version|head -n 1 
    $x -lstdc++ -std=c++11 -Ofast constexpr.cpp -o a 
    $x -lstdc++ -std=c++1z -Ofast constexpr.cpp -o b 
    strings a|grep hello|wc -l 
    strings b|grep hello|wc -l 
done 

gcc-mp-7 (MacPorts gcc7 7.2.0_0) 7.2.0 
     1 
     0 
Apple LLVM version 8.1.0 (clang-802.0.38) 
     1 
     0 

Answer 1

私は再現できない、小さなシェルスクリプトを使用していた結果を確認するにはどちらもありませんg ++（トランク）またはclang ++（トランク）。私は次のフラグを使用しました：-std=c++1z -Ofast。コンパイルしたバイナリの内容をstringsで確認しました。"foo"または"hello"はありませんでした。

最適化を有効にしてコンパイルしましたか？

str2intを使用しても、コンパイル時の評価は行われません。それを強制するために、あなたが行うことができます：

constexpr auto k0 = str2int("foo"); 
constexpr auto k1 = str2int("hello"); 

const map<unsigned int, const char*> values = { 
    {k0, "bar"}, 
    {k1, "world"} 
}; 

Answer 2

打ち鳴らす5.0またはMSVC 17

DEMO

あなたは（上のデバッグシンボルで構築している、GCC 7.2で--std=c++11 -O2を使用して、問題を再現することはできません-g）？それはあなたが見ているものかもしれません。

Answer 3

template<unsigned int x> 
using kuint_t = std::integral_constant<unsigned int, x>; 

const map<unsigned int, const char*> values = { 
    {kuint_t<str2int("foo")>::value, "bar"}, 
    {kuint_t<str2int("hello")>::value, "world"} 
}; 

コンパイル時の評価が必要です。

c++14ではそれは少し少ない冗長です：

template<unsigned int x> 
using kuint_t = std::integral_constant<unsigned int, x>; 
template<unsigned int x> 
kuint_t<x> kuint{}; 

const map<unsigned int, const char*> values = { 
    {kuint<str2int("foo")>, "bar"}, 
    {kuint<str2int("hello")>, "world"} 
}; 

とc++17で：

template<auto x> 
using k_t = std::integral_constant<std::decay_t<decltype(x)>, x>; 
template<auto x> 
k_t<x> k{}; 

const map<unsigned int, const char*> values = { 
    {k<str2int("foo")>, "bar"}, 
    {k<str2int("hello")>, "world"} 
}; 

それはタイプ固有のバージョンなしで最も原始的なタイプ定数で動作します。