c++ - 将 constexpr 编译字符串转换为模板字符列表

Question

有一个 Scott Schurr 的编译时字符串实现:

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) {
        return n < sz_ ? p_[n] : throw std::out_of_range("");
    }
    constexpr std::size_t size() {
        return sz_;
    }
};

这很好，但我想对编译时字符列表进行操作，例如 string<'H', 'e', 'l', 'l', 'o'> . 有没有办法转换str_const进入这样的列表？

我能想到的实现路线是模板和函数。无法转换 str_const通过模板转换成其他东西，因为 str_const是非类型模板参数的无效类型。同样不可能定义这样的函数，因为它会有不同的返回值 string<...>取决于其参数的值。

更新。编辑以删除“您的问题可能是重复的”消息，因为从该问题的文本中可以明显看出字符串不是整数。

Answer 1

我觉得应该可以。您可以在常量表达式中使用这些 constexpr 字符串类型。就像您可以将 str[0] 传递给需要整数参数的模板一样。

因此，您应该能够创建从 0 到 str.size() 的范围模板。然后，您将对构建 mpl::string 的内容进行递归实例化，并重复调用 concat。

实现这个需要一段时间，所以我现在不打算提供代码，但我认为这个想法是可行的。这是我的字符串实现，可能会有所帮助。该代码具有证明它可以在您尝试使用它的上下文中使用的测试。

https://crazycpp.wordpress.com/2014/10/17/compile-time-strings-with-constexpr/ https://github.com/crazy-eddie/crazycpp/tree/master/20141016-constexprstr