constexpr 和初始化

也许已经有人问过类似的问题了，当然，这是一个挑剔的问题......

我有一堆常数std::maps 之间切换enum (class)价值观及其std::string表示（双向）。这里有人向我指出，这些映射将在运行时初始化，当其他初始化代码运行时，在我的程序执行所有好东西之前。这意味着常量表达式会影响运行时性能，因为映射是根据枚举字符串对构建的。

作为说明性示例，以下是其中一张地图的示例：

enum class os
{
    Windows,
    Linux,
    MacOSX
};
const map<string, os> os_map =
     { {"windows", os::Windows},
       {"linux",   os::Linux},
       {"mac",     os::MacOSX} };
const map<os, string> os_map_inverse =
     { {os::Windows, "windows"},
       {os::Linux,   "linux"},
       {os::MacOSX,  "mac"} };

C++11会吗constexpr对性能有任何影响，还是我对运行时初始化惩罚的假设是错误的？我认为编译器可以将常量 STL 容器作为纯数据嵌入到可执行文件中，但显然这可能不像我说的那么容易？

问题不在于初始化的性能，而在于初始化的顺序。如果有人之前使用过您的地图main已经开始（例如在命名空间作用域变量的初始化时），那么您就是 SOL，因为您无法保证您的映射在用户初始化使用它之前已被初始化。

然而你can在编译时做这件事。字符串文字是常量表达式，枚举器也是如此。简单的线性时间复杂度结构

struct entry {
  char const *name;
  os value;
};

constexpr entry map[] = {
  { "windows", os::Windows },
  { "linux", os::Linux },
  { "mac", os::Mac }
};

constexpr bool same(char const *x, char const *y) {
  return !*x && !*y ? true : (*x == *y && same(x+1, y+1));
}

constexpr os value(char const *name, entry const *entries) {
  return same(entries->name, name) ? entries->value : value(name, entries+1);
}

如果你使用value(a, b)在常量表达式上下文中，并且您指定的名称不存在，您将收到编译时错误，因为函数调用将变得非常量。

To use value(a, b)在非常量表达式上下文中，您最好添加安全功能，例如向数组添加结束标记并在value如果您击中结束标记（只要您从未击中结束标记，函数调用仍将是常量表达式）。