将 `hana::string` 转换为 `constexpr const char (&)[]`

Question

我有一些旧代码使用与 str_const 描述的非常相似的东西 here and here 来执行一些 constexpr 字符串操作。 str_const 是 Scott Schurr 描述的一种文字类型，它可以从字符串文字构造，因为它有一个来自 const char (&)[].

的模板构造函数

我现在也有一些使用 boost::hana 的新代码。

我希望能够使用 hana::string 并创建一个引用它的 str_const。最简单的方法是将 hana::string 转换为 constexpr const char (&)[]。（实际上，此时这不是最简单的方法，最简单的方法肯定是在我的 str_const 实现中添加一个新的模板构造函数。但此时问题已经有了它自己的生命，我是主要感兴趣的是这是否可以用 hana::string 来完成。所以让我们假设我不允许更改 str_const 实现。）

然而，在 hana docs 中，将 hana::string 转换为运行时间字符串的方法是 hana::to<const char *>。

乐观地说，我尝试了各种形式的 hana::to<const char (&)[hana::length(...)]> (...)，但这会导致 hana 中的静态断言失败。

hana 文档建议的另一个选项是使用 hana::unpack 然后自己将字符粘贴到数组中。我写了这段代码

template <typename T, size_t N>
struct array {
  T arr[N];
};

struct char_packer {
  template <typename... Ts>
  constexpr auto operator()(Ts... ts) -> array<const char, sizeof...(ts) + 1> {
    return array<const char, sizeof...(ts) + 1>{{ ts... , 0 }};
  }
};

template <typename S>
struct string_keeper {
  static constexpr auto my_array = hana::unpack(S{}, char_packer{});
};

template <int N>
using char_arr = const char [N];

template <typename S>
constexpr auto to_string_literal(S &&) -> const char_arr<decltype(hana::length(S{}))::value + 1> & {
  return string_keeper<S>::my_array.arr;
}

我认为这几乎可以工作，至少可以编译。但是，如果引用也在运行时使用，那么它将失败并出现链接器错误：undefined reference to ... string_keeper<boost::hana::string<(char)97> >::my_array.

（实际上，我想我明白为什么这是一个 ODR 问题，如果我再考虑一下，我可能会记得如何修复它……不确定……）

凭直觉，我觉得一定有办法做到这一点。因为，hana 已经允许我将 hana::string 转换为 constexpr const char *，其中指针正好指向我想要的数组。事实上，它甚至暗示可能有一个邪恶的选择，我试图将 const char * 强制回 (&)[] 类型，尽管这似乎也需要做一些 const char * 中不允许的事情=35=]函数。无论如何，如果 hana 可以制作那个数组，那么我肯定也可以，或者以某种方式说服它更准确地把它给我。

有没有办法修复我上面的代码？在我忽略的 hana 中有没有更简单的方法来做到这一点？由于某种原因这实际上是不可能的吗？

Answer 1

另一个问题是，当从函数返回时，原始字符数组将衰减为指针。我建议在您的函数上下文中构建 str_const 对象，我相信它可以实现您创建 str_const 而不更改其接口的意图。

以下示例使用顶级变量模板创建数组，hana::string 实现使用该数组：

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

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

class str_const {
    const char * const p_;
    const std::size_t sz_;
public:
    template <std::size_t N>
    constexpr str_const( const char( & a )[ N ] )
    : p_( a ), sz_( N - 1 ) {}
    constexpr char operator[]( std::size_t n ) const {
        return n < sz_ ? p_[ n ] : throw std::out_of_range( "" );
    }
    constexpr std::size_t size() const { return sz_; }
};

template <char ...c>
constexpr char string_storage[sizeof...(c) + 1] = {c..., '[=10=]'};

struct to_str_const_helper {
  template <typename ...Ts>
  constexpr auto operator()(Ts...) {
    return str_const(string_storage<Ts::value...>);
  }
};
template <typename S>
constexpr auto to_str_const(S) {
  return hana::unpack(S{}, to_str_const_helper{});
}

int main()
{
  constexpr str_const str = to_str_const("foo"_s);
  static_assert(str[0] == 'f', "");
  static_assert(str[1] == 'o', "");
  static_assert(str[2] == 'o', "");
}

将 `hana::string` 转换为 `constexpr const char (&)[]`

Convert `hana::string` to `constexpr const char (&)[]`

c++

string

c++14

constexpr

boost-hana