模板参数推断原始 C 字符串文字的错误，但适用于 std：：string

问：

我正在用 C++ 设计一个 PEG 解析器，解析器应该同时支持和作为令牌流输入。std::string_viewstd::span<Token>

在代码中，我看到一个模板类只能由一些代码片段实例化，例如，而不能由代码实例化。我的意思是模板推导不允许从 C 字符串文字转换为 . 这里有一个简化的代码来演示这个问题，它应该由 C++20 构建。auto p2 = lit_(std::string_view("world"));auto p1 = lit_("world");std::string_view

#include <span>
#include <string_view>
#include <vector>

struct Token
{
};

template <typename T>
struct Viewer;

// explicit specialization for T = Token
template <>
struct Viewer<Token>
{
    using type = std::span<Token>; // std::span or derived class
};

// explicit specialization for T = char
template <>
struct Viewer<char>
{
    using type = std::string_view;
};

// alias template
template <typename T> using ViewerT = typename Viewer<T>::type;

template <typename Base, typename T>
struct parser_base {
    using v = ViewerT<T>;
    using charType = T;
};

// literal string match, for std::string_view, it could match a string
// for std::span<Token>, it will match a stream of Tokens defined by the span<Token>
template<typename V>
struct lit_ final : public parser_base<lit_<V>, typename V::value_type> {
    /// @brief Construct a lit_ parser.
    /// @param[in] str The string literal to parse.
    //template<typename V>
    constexpr lit_(V str) noexcept
        : str(str)
    {}

private:
    V str;
};


int main()
{

    //auto p1 = lit_("world");  // build error if uncommented
    auto p2 = lit_(std::string_view("world"));

    Token a;
    std::vector<Token> tokens;
    tokens.push_back(a);
    tokens.push_back(a);
    tokens.push_back(a);
    std::span<Token> match(tokens.begin(), tokens.size());
    auto p3 = lit_(match);  //
    return 0;
}

它演示了（）的流或（）的流都可以构造为（文字）。charstd::string_viewTokenstd::span<Token>lit_

关于如何解决这个问题的任何想法？

谢谢。

C++ C++20 字符串视图标准跨度

嗨，谢谢你帮助我。虽然我是 C++ 的长期用户，但这是我第一次看到 .如果我没记错的话，PEG 解析器代码最初只支持解析，而在那个时候，我可以直接使用 C 文字字符串构造，这意味着隐式转换有效。但后来我通过添加对的支持来扩展，我猜编译器不知道它是否应该隐式转换为或 .User-defined deduction guidesstd::string_viewlit_<std::string_view>std::span<Token>string_viewspan<Token>

1赞 康桓瑋 2/26/2023 #2

可以使构造函数模板接受可以转换为或的各种类型，并为构造函数提供约束推导std::string_viewstd::span<Token>

// literal string match, for std::string_view, it could match a string
// for std::span<Token>, it will match a stream of Tokens defined by the span<Token>
template<typename V>
struct lit_ final : public parser_base<lit_<V>, typename V::value_type> {
    /// @brief Construct a lit_ parser.
    /// @param[in] str The string literal to parse.
    template<typename R>
    constexpr lit_(R&& str) noexcept
        : str(std::forward<R>(str))
    {}

private:
    V str;
};

template<std::ranges::borrowed_range R>
  requires std::convertible_to<R, std::string_view>
lit_(R&&) -> lit_<std::string_view>;

template<std::ranges::borrowed_range R>
  requires std::convertible_to<R, std::span<Token>>
lit_(R&&) -> lit_<std::span<Token>>;

这使得接受任何可以转换为 a 的参数以及：lit_std::string_viewstd::span<Token>

auto l1 = lit_("world"); // ok
auto l2 = lit_(std::string_view("world")); // ok
// auto l3 = lit_(std::string("world")); // error, rvalue string does not model borrowed_range

std::vector<Token> v;
Token arr[4] = {};
auto l4 = lit_(v);    // ok
auto l5 = lit_(arr);  // ok

哇！这太棒了，谢谢。顺便说一句：我只看到一些像这样的代码，我从来没有看到过放在里面。高级 C++ 功能（也许是 C++ 20），尤其是与模板相关的功能对我来说就像一种新的编程语言，我会找一些时间来学习它们。template<typename T>std::ranges::borrowed_range<>

上一个：我应该怎么称呼这种具有大小的唯一指针结构？

下一个：为 std：：span<T 添加成员函数 substr>它模仿 string_view：：substr

模板参数推断原始 C 字符串文字的错误，但适用于 std：：string_view

template argument deduce error for raw C string literal but works for std::string_view

评论

评论

评论