可以通过重复的函数调用来初始化 const std::array 吗？ [复制]

Question

这样可以吗

int foo(){
  static int i=0;
  ret = i++;
  return ret;
}
const std::array<int,3> arr = {{foo(),foo(),foo()}};

在（模板？）函数或指定“调用 foo 以初始化每个成员”的方式中？即

const std::array<int,3> arr = fill_with_foo<3,foo>();

对于上下文，arr 是队列中的一个缓冲区，将从中读取 N 个元素（在编译时已知）。目前我正在使用代码生成来创建长表单，并且我有一个函数，它只是分配一个普通数组，用一个 for 循环填充它并返回数组，但我想知道是否可以使用缓冲区数组 const。

//编辑：不像链接的“重复”，我需要

int foo();

在编译时是不确定的，即我认为 constexpr 是不可能的（正如我所说，它需要从运行时填充的队列中读取）。我主要对删除无用的副本感兴趣

Answer 1

从 C++ 14 开始，人们可能会使用 std::index_sequnce（或为旧版本手动实现它）：

namespace detail
{

template<typename T, std::size_t N, typename F, std::size_t... I>
constexpr std::array<T, N> construct(F&& func, std::index_sequence<I...>)
{
    return { { (static_cast<void>(I), func())... } };
}

template<typename T, std::size_t N, typename F>
constexpr std::array<T, N> construct(F&& func)
{
    return construct<T, N>(std::forward<F>(func), std::make_index_sequence<N>());
}

}

然后你可以如下应用它：

const auto array = detail::construct<T, 3>(foo);

FULL CODE

另请注意，constexpr 甚至可以在编译时构造 std::array。

EXAMPLE

Answer 2

考虑让函数返回std::array。大多数编译器中的 NRVO 都会省略副本。

#include <array>
#include <iostream>

template <typename T, std::size_t N, typename F>
std::array<T, N> fill_array(F const &fn)
{
    std::array<T, N> arr;

    for (auto i = std::begin(arr); i != std::end(arr); ++i) {
        *i = fn();
    }

    return arr;
}

int foo(){
  static int i=0;
  return i++;
}

int main() {
    auto const arr = fill_array<int, 3>(foo);
    for (auto const &i : arr) {
        std::cout << i << '\n';
    }
    return 0;
}

Demo