Question

我想初始化我的数组项，同时避免不必要的实例和副本（类似于这个问题：initialize std::array without copying/moving elements）。

初始化器列表确实适用于少量对象。

我想通过代码段来执行此操作，因为我的数组有数百个项目...

我该怎么做？

#include <array>
#include <iostream>

class mytype {
public:
    int a;
    mytype() : a(0) {}
    mytype(int a) : a(a) {}
};

int main() {
    // explict constructor calls to instantiate objects does work
    std::array<mytype, 2> a = { { mytype(10), mytype(20) } };
    std::cout << a[0].a;  // 10

    // I want to do something like this - what does not work of course
    std::array<mytype, 2> b = { { for (i = 0, i++, i < 2) mtype(10 * i); } };
}

Answer 1

通常通过一对模板来完成：

namespace detail {
    template<std::size_t... Idx>
    auto make_mytype_array(std::index_sequence<Idx...>) {
        return std::array<mytype, sizeof...(Idx)>{{
            mytype(10 * Idx)...
        }};
    }
}

template<std::size_t N>
auto make_mytype_array() {
    return detail::make_mytype_array(make_index_sequence<N>{});
}

以上是一对实用程序免费功能，但是可以根据需要将其折叠到此类中。如果您不仅需要10*i之类的表达式，还可以将lambda作为另一个参数（通常是“可调用的”模板）传递。使用复制省略，所有这些都将变成直接对结果数组对象进行初始化。

Answer 2

在c++14中：

#include <array>
#include <utility>
#include <cstddef>

template <typename T, std::size_t... Is>
std::array<T, sizeof...(Is)> to_array(std::index_sequence<Is...>)
{
    return { T(Is*10)... };
}

template <typename T, std::size_t N>
std::array<T, N> to_array()
{
    return to_array<T>(std::make_index_sequence<N>{});
}

int main() 
{
    std::array<mytype, 10> b(to_array<mytype, 10>());
}

DEMO

构造std :: array并通过代码初始化元素对象

2 个答案: