如何填充constd::array基于函数的值

Question

如何创建包含以下值f（0），f（1），…，f（N-1）的const std：：数组，其中f是任何函数：静态constexpr size_t f（int index）？当我确切地知道N时，我显然可以写

const std::array<size_t, 5> a = {f(0), f(1), f(2), f(3), f(4)}

Answer 1

如果想在不创建外部函数的情况下对其进行const-initialize，也可以这样做:

void SomeFunction() {

    const auto my_array = [](){
        auto a = array<SomeType, N>();
        for (size_t i = 0; i < a.size(); ++i)
            a[i] = f(i);
        return a;
    }(); // <-- Note that the lambda executes right away

    DoSomeStuff(my_array);
}

Answer 2

可能需要抛光，但我就是这么想的：

template <std::size_t... ns, typename Fn>
auto fill_helper(std::integer_sequence<std::size_t, ns...>, Fn&& fn) -> std::array<decltype(fn(std::size_t())), sizeof...(ns)>  {
    return {{fn(ns)...}};
} 

template <std::size_t N, typename Fn>
auto fill(Fn&& fn) {
    using seq = std::make_integer_sequence<std::size_t, N>;
    return fill_helper(seq(), std::forward<Fn>(fn));    
}

int main() {

    auto plus5 = [](std::size_t index) {
        return index + 5;
    };

    auto const as = fill<5>(plus5);
    for (auto&& a: as)
        std::cout << a;

}

优点是使用正确的值初始化数组，而不是先初始化然后赋值。

Answer 3

创建需要任意复杂初始化的常量的一般技术是，只需编写一个返回所需值的函数，然后在常量的初始值设定项中调用该函数。例如：

template <typename T, size_t N>
array<T, N> init_from_f() {
    array<T, N> a;
    for (size_t i = 0; i < N; ++i)
        a[i] = f(i);
    return a;
}

const auto const_array = init_from_f<sometype, 42>();