我希望用constexpr初始化一个包含键值的std::map。考虑以下C++11 MWE：
#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; }
尽管使用最近的clang和gcc编译代码，但生成的二进制文件将包含密钥类型的字符串：
为什么密钥包含在二进制文件中，即使它们被用作常量表达式？有没有办法解决这个问题？
当然，map初始化将在运行时发生。但是，在编译时，二进制文件中的值不应该被constexpr替换吗？
注：这当然是一个简化的例子。我知道有不同的boost结构可能更适合这种用例。我特别想知道为什么会发生这种情况。
[编辑]
无论是否启用优化，此行为都会发生。 以下代码编译时， bar 是字符串表中唯一的用户定义字符串：
#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;
}
}
}
为了验证结果，我使用了一个小的shell脚本。
$ 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