如何将字符串列表存储在constexpr上下文中？

Question

我正在为一些域对象类转换这些文档字符串表（作为类型特征，如系统），直到我弄清楚这个问题。 后来，我打算在编译时检查这些特殊成员是否有编写的文档（作为我在编译时希望它的原因）。 我为演示创建了一个小例子：

https://godbolt.org/z/3dX3-e

#include <initializer_list>

struct CStr {
    struct M {
      const char* name;
      const char* val;
    };

  constexpr CStr(const std::initializer_list<M>& str) : str_(str) {
  };

  std::initializer_list<M> str_;
};

constexpr CStr cstr_test{ { {"key", "val"} } };

int main() {
  return cstr_test.str_.begin()->name[0];
}

基本上，3个主要编译器似乎对此情况有所不同，这似乎适用于较旧的gcc ，但在更改为最新版本9.1时无法编译（说cstr_test行不是一个常见的表达式）。 在msvc （ 以及我感兴趣的人 ）上， initializer_list获取的大小正确，但临时不会存活到输出。 由于临时创建， clang拒绝编译。 这最后一件事似乎是一个提示，我怀疑这是msvc可能发生的事情，但没有发出错误。

如果将std::initializer_list<M>更改为M则可以修复该示例。

参考文献的相关部分可能是：

底层数组是const T [N]类型的临时数组，其中每个元素都是从原始初始化列表的相应元素进行复制初始化（除了缩小转换无效）。 底层数组的生命周期与任何其他临时对象相同，除了从数组初始化initializer_list对象扩展了数组的生命周期，就像绑定对临时的引用一样（具有相同的例外，例如初始化非 - 静态班级成员）。 底层数组可以在只读存储器中分配。

如何在编译时创建包含字符串的对象列表？

Answer 1

std::initializer_list不应该用作存储。

所以在你的情况下，存储应该在课外进行。 可以使用常规C数组或std::array 。

然后你的班级可能只是查看该数据。

C ++ 20提供了std::span 。

在C ++ 20之前，您可能会执行以下操作：

struct CStr {
    struct M {
        const char* name;
        const char* val;
    };

    constexpr CStr(const M* data, std::size_t size) : data(data), size(size) {}

    const M* begin() const { return data; }
    const M* end() const { return data + size; }

    const M* data;
    std::size_t size;
};

 constexpr CStr::M data[]{ { {"key", "val"} } };

 constexpr CStr cstr_test(data, 1);

int main() {
  return cstr_test.begin()->name[0];
}

Answer 2

它有点不同的方法（IMO你的例子过于复杂），但C ++ 17引入了std::string_view所以这可以通过简单的方式处理而无需额外的类。 此外，当您不知道有多少元素时，您可以使用类似C的数组：

const constexpr std::pair<std::string_view, std::string_view> str_test[] {
    { "a"sv, "alpha"sv },
    { "b"sv, "beta"sv },
    { "c"sv, "siera"sv },
};

现场演示gcc clang msvc 。