编译时字符串中的字符序列没有递归

Question

是的，这个话题可能看起来已经被问了一百次了，但我问的是非常不同的。

请不要误会我的意思：模板递归在 C++03 中使用时可能很棒，并且是某些习语的唯一方法，但在 MSVS 2017/2019 编译器中使用时可能会出现问题并变得可怕fatal error C1202: recursive type or function dependency context too complex.

我知道 gcc 和 clang 管理的递归比 MSVS 好得多，但这次编译器是合同主体，不能更改。

我开始使用boost::hana::string，但使用复杂的字符串（超过 2000 个字符）会出现错误。

我想知道是否有某种方法可以复制 BOOST_HANA_STRING 宏的行为（基本上它需要一个字符串并将其转换为 char 序列，或根据输入字符串转换为 wchar）但摆脱递归。

我猜要付出的代价是只使用 C++17，而是使用 fold，但对我来说这是负担得起的。

顺便说一下，请不要提供operator""_cs的解决方案，因为MSVS不兼容这样的gcc扩展。

我想要实现的伪代码：

STRING("Hello") => my_static_string<char, 'H', 'e', 'l', 'l', 'o'>

Answer 1

我想知道是否有某种方法可以复制BOOST_HANA_STRING 宏的行为（基本上它需要一个字符串并将其转换为字符序列，或根据输入字符串转换为 wchar）但摆脱递归。

嗯，这会很困难，因为BOOST_HANA_STRING doesn't use recursion：

    namespace string_detail {
        template <typename S, std::size_t ...N>
        constexpr string<S::get()[N]...>
        prepare_impl(S, std::index_sequence<N...>)
        { return {}; }

        template <typename S>
        constexpr decltype(auto) prepare(S s) {
            return prepare_impl(s,
                std::make_index_sequence<sizeof(S::get()) - 1>{});
        }
    }

#define BOOST_HANA_STRING(s)                                                \
    (::boost::hana::string_detail::prepare([]{                              \
        struct tmp {                                                        \
            static constexpr decltype(auto) get() { return s; }             \
        };                                                                  \
        return tmp{};                                                       \
    }()))                                                                   \

注意没有递归。它只是获取字符串的大小，使用它来构建索引序列，并使用该序列来构建字符串元素的包扩展。它总是恰好是 2 个函数调用深度；不多不少。

你的问题不是递归；您的问题是 Visual Studio 不支持“2000”元素参数包。 C++ 标准只推荐编译器支持 1024 个模板参数和Visual C++ support 2046。我不会指望这个数字在未来会变得更大，所以你需要找到替代方法来做你正在做的任何事情。

此外，C++20 允许您创建一个真正的编译时字符串类，该类存储一个实际字符的实际数组，您可以在正常的实际代码而不是元编程中实际使用这些字符。并且可以作为模板参数使用； 单个模板参数。并且 VC++ 已经对此提供了支持。