可以为字符串文字创建模板化的用户定义文字(文字后缀)吗？

Question

当我发现可以将用户定义的文字模板化时，我大吃一惊:

template <char ...C> std::string operator ""_s()
{
    char arr[]{C...};
    return arr;
}

// ...

std::cout << 123_s;

但是上面的声明不适用于字符串文字:

"123"_s

给我以下错误:

掠夺。cpp:在函数“int main（）”中：
prog。cpp:12:15:错误：调用“运算符”“s（）”时没有匹配的函数
std：：cout

prog.cpp:4:34:注意:候选:模板标准::字符串运算符" " _s()
模板标准::字符串运算符" " _s()

prog.cpp： 4:34：注意：模板参数推导/替换失败：

（意念）

有没有一种方法可以将模板化的用户定义文字和字符串文字一起使用？

Answer 1

在C 20之前，在标准C中是不可能的。请参阅@T.C.的答案，了解适用于GCC和Clang的非标准解决方案。

从 C 20 开始，可以将字符串文本作为模板参数传递。你需要一个像这样的帮助程序类：

#include <algorithm>
#include <cstddef>
#include <string_view>

namespace impl
{
    // Does nothing, but causes an error if called from a `consteval` function.
    inline void ExpectedNullTerminatedArray() {}
}

// A string that can be used as a template parameter.
template <std::size_t N>
struct ConstString
{
    char str[N]{};

    static constexpr std::size_t size = N - 1;

    [[nodiscard]] std::string_view view() const
    {
        return {str, str + size};
    }

    consteval ConstString() {}
    consteval ConstString(const char (&new_str)[N])
    {
        if (new_str[N-1] != '\0')
            impl::ExpectedNullTerminatedArray();
        std::copy_n(new_str, size, str);
    }
};

它允许您这样做：

#include <iostream>

template <ConstString S>
void Print()
{
    std::cout << S.view() << '\n';
}

int main()
{
    Print<"foo">();
}

这对于您的用例来说可能就足够了，并且您可能不需要模板 UDL 本身。

但是如果你真的需要它们，这是可能的:

#include <iostream>

template <ConstString S>
void operator""_print()
{
    std::cout << S.view();
}

int main()
{
    "foo"_print;
}

Answer 2

Clang和GCC支持一个扩展，允许你做

template<class CharT, CharT... Cs>
std::string operator ""_s() { return {Cs...}; }

但是标准C中什么都没有；标准化它的建议已经提出了几次，每次都被拒绝，最近一次是在不到一个月前，主要是因为模板参数包是一种非常低效的字符串表示方式。