Question

#include <boost/hana.hpp>
#include <iostream>
#include <tuple>

namespace hana = boost::hana;

int main()
{
    int x{7};
    float y{3.14};
    double z{2.7183};
    auto t = hana::to<hana::tuple_tag>(std::tie(x, y, z));
    hana::for_each(t, [](auto& o) { std::cout << o << '\n'; });
}

实现这一目标的hana方式是什么？我意识到我可以使用：hana::make_tuple(std::ref(x), std::ref(y), std::ref(z))，但这似乎不必要地冗长。

Answer 1

要在hana::tuple和std::tuple之间进行转换，您需要使std::tuple成为有效的Hana序列。由于std::tuple支持开箱即用，因此您只需要添加<boost/hana/ext/std/tuple.hpp>即可。因此，以下代码有效：

#include <boost/hana.hpp>
#include <boost/hana/ext/std/tuple.hpp>
#include <iostream>
#include <tuple>
namespace hana = boost::hana;

int main() {
    int x{7};
    float y{3.14};
    double z{2.7183};
    auto t = hana::to<hana::tuple_tag>(std::tie(x, y, z));
    hana::for_each(t, [](auto& o) { std::cout << o << '\n'; });
}

请注意，您也可以使用hana::to_tuple来减少详细程度：

auto t = hana::to_tuple(std::tie(x, y, z));

话虽如此，因为您使用std::tie，您可能想要创建一个包含引用的hana::tuple，对吧？现在这是不可能的，请参阅this了解原因。但是，如果您在上面添加了适配器标头，则可以在std::tuple中使用hana::for_each：

#include <boost/hana.hpp>
#include <boost/hana/ext/std/tuple.hpp>
#include <iostream>
#include <tuple>
namespace hana = boost::hana;

int main() {
    int x{7};
    float y{3.14};
    double z{2.7183};
    auto t = std::tie(x, y, z);
    hana::for_each(t, [](auto& o) { std::cout << o << '\n'; });
}

STL和Hana元组之间的转换

1 个答案: