Как перевернуть hana :: string

Хм, мне пришлось немного покопаться во внутренностях струны хана.

Но Hana восхитительно функциональна, так что этого короткого решения достаточно:

auto reverse_boost_hana_string = [](auto s) {
    auto add_reverse = [=](auto xs, auto ys) {
        auto ys_s = boost::hana::string<ys>(); // this is what I had wrong for a while
        return ys_s + xs;
    };
    auto reversed = boost::hana::fold_left(s, BOOST_HANA_STRING(""), add_reverse);
    return reversed;
};


int main()
{
    auto s = BOOST_HANA_STRING("abcdef");
    auto s2 = reverse_boost_hana_string(s);
    std::cout << "Reversed ==>" <<  s2.c_str() << "<==\n";
}

Очень приятно писать TMP без шаблонного шума.

Boost.Hana, безусловно, работает, но если вы можете избежать сворачивания по типам, вы можете получить алгоритм, более эффективный во время компиляции.

#include <array>
#include <boost/hana.hpp>

namespace hana = boost::hana;

template <typename S, unsigned long ...i>
auto reverse_string_impl(S s, std::index_sequence<i...>) {
  constexpr unsigned long n = sizeof...(i);
  constexpr char const* c = hana::to<char const*>(s);
  return hana::make_string(hana::char_c<c[n - i - 1]>...);
  // would be better but assumes stuff about the impl of hana::string
  //return hana::string<c[n - i - 1]...>{};
}

template <typename S>
constexpr auto reverse_string(S) {
  return reverse_string_impl(S{},
    std::make_index_sequence<hana::length(S{})>{});
}

int main() {
  BOOST_HANA_CONSTANT_ASSERT(
      BOOST_HANA_STRING("foo") == reverse_string(BOOST_HANA_STRING("oof"))
  );

  // or just convert to a tuple and back (less efficient)
  BOOST_HANA_CONSTANT_ASSERT(
      BOOST_HANA_STRING("foo") ==
        hana::unpack(
          hana::reverse(hana::unpack(BOOST_HANA_STRING("oof"),
                        hana::make_tuple)),
          hana::make_string)


  );
}