c++ - C++：使用 boost::hana 将数组元素扩展为函数的参数

Question

我在两个月前发现了 boost::hana。看起来很强大，所以我决定看看。从文档中我看到了这个例子：

std::string s;
hana::int_c<10>.times([&]{ s += "x"; });

这相当于：

s += "x"; s += "x"; ... s += "x"; // 10 times

我想知道是否有可能（如果是的话如何）像这样写：

std::string s;
std::array<int, 10> xs = {1, 3, 5, ...};
hana::int_c<10>.times([&](int i){ s += std::to_string(xs[i]) + ","; });

编译时的一种“解包”，甚至：

myfunction( hana::unpack<...>( xs ) );

Answer 1

你的问题似乎是双重的。首先，您的问题的标题询问是否可以将数组的元素扩展为函数的参数。这确实是可能的，因为std::array是Foldable。使用就足够了hana::unpack：

#include <boost/hana/ext/std/array.hpp>
#include <boost/hana/unpack.hpp>
#include <array>
namespace hana = boost::hana;


struct myfunction {
    template <typename ...T>
    void operator()(T ...i) const {
        // whatever
    }
};

int main() {
    std::array<int, 10> xs = {{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}};
    hana::unpack(xs, myfunction{});
}

其次，你问是否有可能做类似的事情

std::string s;
std::array<int, 10> xs = {1, 3, 5, ...};
hana::int_c<10>.times([&](int i){ s += std::to_string(xs[i]) + ","; });

答案是使用hana::int_c<10>.times.with_index：

hana::int_c<10>.times.with_index([&](int i) { s += std::to_string(xs[i]) + ","; });    

等效地，您也可以使用hana::for_each：

hana::for_each(xs, [&](int x) { s += std::to_string(x) + ","; });