Question

我希望能够生成包含这样的编译时整数的编译时字符串。可能吗？

我知道我可以使用boost::string向fold_left插入单个元素，但是我想添加整数的十进制表示形式。有没有允许的库？

#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, "");
}

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

1 个答案: