具有initializer_list的编译时查找表

假设您有一些哈希值，并希望在编译时将它们映射到各自的字符串。 理想情况下，我希望能够写一些类似的东西：

constexpr std::map<int, std::string> map = { {1, "1"}, {2 ,"2"} };

不幸的是，这在 C++17 和 C++2a 中都是不可能的。不过 我尝试用std::array模拟它，但在编译时无法获取初始值设定项列表的大小，以便在不显式指定大小的情况下正确设置数组的类型。 这是我的模型：

template<typename T0, typename T1>
struct cxpair
{
using first_type = T0;
using second_type = T1;
// interestingly, we can't just = default for some reason...
constexpr cxpair()
: first(), second()
{  }
constexpr cxpair(first_type&& first, second_type&& second)
: first(first), second(second)
{  }
// std::pair doesn't have these as constexpr
constexpr cxpair& operator=(cxpair<T0, T1>&& other)
{ first = other.first; second = other.second; return *this; }
constexpr cxpair& operator=(const cxpair<T0, T1>& other)
{ first = other.first; second = other.second; return *this; }
T0 first;
T1 second;
};
template<typename Key, typename Value, std::size_t Size = 2>
struct map
{
using key_type = Key;
using mapped_type = Value;
using value_type = cxpair<Key, Value>;
constexpr map(std::initializer_list<value_type> list)
: map(list.begin(), list.end())
{  }
template<typename Itr>
constexpr map(Itr begin, const Itr &end)
{
std::size_t size = 0;
while (begin != end) {
if (size >= Size) {
throw std::range_error("Index past end of internal data size");
} else {
auto& v = data[size++];
v = std::move(*begin);
}
++begin;
}
}
// ... useful utility methods omitted
private:
std::array<value_type, Size> data;
// for the utilities, it makes sense to also have a size member, omitted for brevity
};

现在，如果你只是用普通的std::array来做到这一点，那么开箱即用的东西就可以了：

constexpr std::array<cxpair<int, std::string_view>, 2> mapp = {{ {1, "1"}, {2, "2"} }};
// even with plain pair
constexpr std::array<std::pair<int, std::string_view>, 2> mapp = {{ {1, "1"}, {2, "2"} }};

不幸的是，我们必须显式给出数组的大小作为第二个模板参数。这正是我想避免的。 为此，我尝试构建您在那里看到的地图。 有了这个伙伴，我们可以写一些东西，例如：

constexpr map<int, std::string_view> mapq = { {1, "1"} };
constexpr map<int, std::string_view> mapq = { {1, "1"}, {2, "2"} };

不幸的是，一旦我们超过地图中的魔术常数Size，我们就会得到一个错误，所以我们需要明确给出大小：

//// I want this to work without additional shenanigans:
//constexpr map<int, std::string_view> mapq = { {1, "1"}, {2, "2"}, {3, "3"} };
constexpr map<int, std::string_view, 3> mapq = { {1, "1"}, {2, "2"}, {3, "3"} };

当然，一旦你进入 constexpr 范围throw，你就会得到一个编译错误，并且可以显式调整魔术常量。但是，这是我想隐藏的实现细节。用户不应该需要处理这些低级细节，这是编译器应该推断的东西。

不幸的是，我没有看到具有确切语法的解决方案map = { ... }.我什至看不到像constexpr auto map = make_map({ ... });这样的东西的光.此外，这是一个与运行时内容不同的 API，我想避免使用它以提高易用性。

那么，是否可以在编译时以某种方式从初始值设定项列表中推断出此大小参数？