Question

我有一个Boos.Hana序列，我想将它打印到以逗号分隔的屏幕上。但是逗号只分隔元素，所以我必须检查我是否在最后一个元素。

目前我的黑客非常糟糕（查看指针并转向void*。

template<class P, class... Ts>
decltype(auto) operator<<(
    std::ostream& os, 
    boost::hana::tuple<Ts...> const& tpl
){  
    os << "{";
    boost::hana::for_each(
        tpl, [&](auto& x){
            os << x;
            if((void*)&boost::hana::back(tpl) != (void*)&x) os << ", ";
        }
    );
    return os << "}";
}

在Boost.Fusion的情况下，它更复杂，因为我使用融合迭代器（boost::fusion::begin和boost::fusion::end），但至少我可以比较迭代器。（bool last = result_of::equal_to<typename result_of::next<First>::type, Last>::value）。

提出这个问题的另一种方法是在Hana中是否存在（meta）迭代器。

Answer 1

首先，要回答您的评论，drop_back会复制一份。 Hana中的所有算法都是复制品，并且非常渴望，如here所述。

其次，您可以使用hana::intersperse在每个元素之间添加逗号，从而产生类似

的内容

template<class P, class... Ts>
decltype(auto) operator<<(
    std::ostream& os, 
    boost::hana::tuple<Ts...> const& tpl
){  
    os << "{";
    boost::hana::for_each(boost::hana::intersperse(tpl, ", "), 
        [&](auto const& x){
            os << x;
        });
    return os << "}";
}

然而，最好的解决方案可能是使用experimental::print，它完全符合您的要求：

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

int main() {
    auto ts = hana::make_tuple(1, 2, 3);
    std::cout << hana::experimental::print(ts);
}

修改

如果您想使用intersperse解决方案，但又不想复制序列，则可以执行以下操作：

#include <boost/hana.hpp> #include <functional> #include <iostream> namespace hana = boost::hana; template <class... Ts> decltype(auto) operator<<(std::ostream& os, hana::tuple<Ts...> const& tpl) { os << "{"; char const* sep = ", "; auto refs = hana::transform(tpl, [](auto const& t) { return std::ref(t); }); hana::for_each(hana::intersperse(refs, std::ref(sep)), [&](auto const& x){ os << x.get(); }); return os << "}"; }

但实际上，您应该使用hana::experimental::print。如果您的用例对性能至关重要并且您想避免创建std::string，我会首先质疑std::ostream的用法。

编辑结束

Answer 2

感谢@cv_and_he，我得到了一个解决方案。虽然它看起来不是最优雅的，因为它会导致代码重复（也在副本中）。

template<class P, class... Ts>
decltype(auto) operator<<(
    std::ostream& os, 
    boost::hana::tuple<Ts...> const& tpl
){  
    os << "{";
    boost::hana::for_each(
        boost::hana::drop_back(tpl), [&](auto const& x){
            os << x << ", ";
        }
    );
    os << boost::hana::back(x);
    return os << "}";
}

Answer 3

与原始版本相同，但由于它使用boost::hana::equal来比较身份，因此不那么黑客。

template<class P, class... Ts>
decltype(auto) operator<<(
    std::ostream& os, 
    boost::hana::tuple<Ts...> const& tpl
){  
    os << "{";
    boost::hana::for_each(
        tpl, [&](auto& x){
            os << x;
            if(not boost::hana::equal(&x, &boost::hana::back(tpl))){p << ", ";}
        }
    );
    return os << "}";
}

Answer 4

这是一个基于指针的解决方案，以避免副本和std::cref。

template<class P, class... Ts>
decltype(auto) operator<<(
    std::ostream& os, 
    boost::hana::tuple<Ts...> const& tpl
){  
    os << "{";
    std::string sep = ", ";
    hana::for_each(
        hana::intersperse(
            hana::transform(tpl, [](auto& t){return &t;}),
            &sep
        ), [&](auto x){os << *x;}
    );
    return os << "}";
}

如何为Hana序列编写for循环？

4 个答案: