如何用range-v3的范围填充std::array？

Question

我完全是range-v3库的初学者。假设我想用某个间隔内的随机数填充一个std::array。

对于迭代器，我会做类似this answer的事情，将迭代器作为参数传递给我的std::array。

template< class Iter >
void fill_with_random_int_values( Iter start, Iter end, int min, int max)
{
    static std::random_device rd;    // you only need to initialize it once
    static std::mt19937 mte(rd());   // this is a relative big object to create

    std::uniform_int_distribution<int> dist(min, max);

    std::generate(start, end, [&] () { return dist(mte); });
}

对于范围库，我想使用ranges::view::generate_n，它有一个一元函数，它生成一个随机数以及我的数组的大小。

auto random_num() -> int {
  static std::mt19937 engine{std::random_device{}()};
  static std::uniform_int_distribution<int> dist(1, 10);
  return dist(engine);
}

std::vector<int> nums = ranges::view::generate_n(random_num, 10);

这对于std::vector很有效，但我不知道应该使用什么算法来填充std::array而不是生成std::vector，因为上面的类似方法不起作用。我可以对数组执行transform操作并忽略每个参数，但这似乎并不正确。

Answer 1

std::array的大小是一个编译时常量，所以我看不出这个库如何使用运行时参数为您生成一个常量。

下面是一个相当简单的实现，我认为它可以满足您的需求：

#include <random>
#include <array>
#include <utility>
#include <iostream>

auto random_num() -> int {
  static std::mt19937 engine{std::random_device{}()};
  static std::uniform_int_distribution<int> dist(1, 10);
  return dist(engine);
}

template<class F, std::size_t...Is>
auto generate_array_impl(F&& f, std::index_sequence<Is...>) -> std::array<decltype(f()), sizeof...(Is)>
{
    return std::array<decltype(f()), sizeof...(Is)>
    {{
        (void(Is), f())...
    }};
}

template<std::size_t N, class F>
auto generate_array(F f) -> std::array<decltype(f()), N>
{
    return generate_array_impl(f, std::make_index_sequence<N>());
}


int main()
{
    auto arr = generate_array<10>(random_num);
    for (auto x : arr)
    std::cout << x << '\n';
}

https://coliru.stacked-crooked.com/a/983064b89c4dd355

或者添加一些constexpr魔法。

#include <random>
#include <array>
#include <utility>
#include <iostream>
#include <boost/range.hpp>

template<std::size_t N>
constexpr auto c_size_t = std::integral_constant<std::size_t, N>();

auto random_num() -> int {
  static std::mt19937 engine{std::random_device{}()};
  static std::uniform_int_distribution<int> dist(1, 10);
  return dist(engine);
}

template<class F, std::size_t...Is>
constexpr auto generate_array_impl(F&& f, std::index_sequence<Is...>) -> std::array<decltype(f()), sizeof...(Is)>
{
    return std::array<decltype(f()), sizeof...(Is)>
    {{
        (void(Is), f())...
    }};
}

template<std::size_t N, class F>
constexpr auto generate_array(F&& f, std::integral_constant<std::size_t, N>) -> std::array<decltype(f()), N>
{
    return generate_array_impl(f, std::make_index_sequence<N>());
}

int main()
{
    auto arr = generate_array(random_num, c_size_t<10>);
    for (auto x : arr)
        std::cout << x << ',';
    std::cout << '\n';

    constexpr auto arr2 = generate_array([i = std::size_t(0)]() mutable { return i++; }, c_size_t<10>);
    for (auto x : arr2)
        std::cout << x << ',';
    std::cout << '\n';
}

https://coliru.stacked-crooked.com/a/42c9c011026779eb

Answer 2

std::array是一个聚合；它没有用户提供的构造函数。因此，它没有从范围创建对象的构造函数。

您也不能(在C++17中)编写一个接受范围并返回数组的函数。原因是参数不是constexpr，并且数组的大小必须是常量表达式。C++20似乎正在添加将更多类型作为非类型模板参数的功能，因此应该可以将其作为模板参数。代码将如下所示：

template<auto rng>
    requires std::ranges::sized_range<decltype(rng)>
constexpr auto array_from_range()
{
  std::array<std::iter_value_t<decltype(rng)>, std::ranges::size(rng)> ret;
  std::ranges::copy(rng, ret);
  return ret;
}

当然，这要求范围本身是constexpr，而不仅仅是它的大小。

Answer 3

因为数组的大小是编译时常量。你必须自己构建它。你可以像这样填满它

std::array<int, 10> arr;
ranges::generate(arr, random_num);