是否可以将 integral_constant 转换为 hana::string

Question

我希望能够生成包含编译时整数的编译时字符串，如下所示。可能吗？

我知道我可以使用 fold_left 将单个元素插入 boost::string，但我想添加整数的十进制表示形式。是否有任何图书馆允许这样做？

#include <boost/hana/string.hpp>
#include <boost/hana/integral_constant.hpp>
#include <boost/hana/plus.hpp>
namespace hana = boost::hana;
using namespace hana::literals;

int main() {
    auto a = "test_nr_"_s;
    auto b = 42_c;
    auto c = a + b; 
};

我希望找到一种方法使 c 等于 "test_nr_42"_s。

Answer 1

不幸的是，Boost.Hana 不支持将整数转换为 hana::string，并且隐式转换是正确的。

然而，通过一点点 constexpr 和一点点 EuclideanRing，我们可以像这样制作我们自己的转换函数：

#define BOOST_HANA_CONFIG_ENABLE_STRING_UDL
#include <boost/hana.hpp>

namespace hana = boost::hana;
using namespace hana::literals;

constexpr size_t get_magnitude(size_t num) {
  unsigned i = 0;
  while (num > 0) {
    num /= 10;
    ++i;
  }
  return i;
}

template <typename X, size_t ...i>
constexpr auto to_string(X x,
                         std::index_sequence<i...>) {
  constexpr size_t mag = get_magnitude(X::value);
  return hana::string<
    (x / hana::power(hana::size_c<10>,
                     hana::size_c<mag - i - 1>) % hana::size_c<10> 
                       + hana::size_c<48>)...>{};
}

template <typename X>
constexpr auto to_string(X x) {
  return to_string(hana::size_c<static_cast<size_t>(X::value)>,
                   std::make_index_sequence<get_magnitude(X::value)>());
}

int main() {
  auto a = "test_nr_"_s;
  auto b = 42_c;
  auto c = a + to_string(b);
  static_assert(c == "test_nr_42"_s, "");
}

是否可以将 integral_constant 转换为 hana::string

Is it possible to convert integral_constant to hana::string

boost-hana