计算对数组编译时中对元素的差异

Compute differences of pair elements in array of pairs compile time

本文关键字：元素 数组 编译 计算      更新时间：2023-10-16

在下面的代码中，我的目标是构造一个N元素数组，其中包含两个std::pair元素编译时间之间的差异。有没有办法使用模板来实现这一点，因为它必须适用于任意大小的N？

#include <array>
#include <utility>
template<int N>
std::array<int, N> make_array(
const std::array<std::pair<int, int>, N>& ranges)
{
// Need to construct array compile time with difference between pair elements.
}
int main()
{
std::array<int, 2> a = make_array<2>({{ {1,3}, {2,9} }}); // a = {2, 7}
std::array<int, 1> b = make_array<1>({{ {5,6} }}); // b = {1}
return 0;
}

如果你可以使用 C++14(所以std::make_index_sequence/std::index_sequence)，这很容易

#include <array>
#include <utility>
template <std::size_t N, std::size_t ... Is>
constexpr std::array<int, N>  makeArrayHelper
(std::array<std::pair<int, int>, N> const & r,
std::index_sequence<Is...> const)
{ return {{ r[Is].second - r[Is].first ... }}; }
template <std::size_t N>
constexpr auto makeArray (std::array<std::pair<int, int>, N> const & r)
{ return makeArrayHelper(r, std::make_index_sequence<N>{}); }
int main ()
{
constexpr std::array<int, 2> a
= makeArray<2>({{ {1,3}, {2,9} }}); // a = {2, 7}
constexpr std::array<int, 1> b
= makeArray<1>({{ {5,6} }}); // b = {1}
static_assert( a[0] == 2, "!" );
static_assert( a[1] == 7, "!" );
static_assert( b[0] == 1, "!" );
}

PS：我重命名makeArray()函数，以降低与make_array()发生名称冲突的风险std::experimental

您可以简单地执行循环：

template <std::size_t N>
constexpr std::array<int, N> make_array(
const std::array<std::pair<int, int>, N>& ranges)
{
std::array<int, N> res{};
for (std::size_t i = 0; i != N; ++i) {
res[i] = ranges[i].second - ranges[i].first;
}
return res;
}

自 C++17 年以来可能会constexpr。

演示

相关文章：