Spirit.X3 使用 string_view 和名为 'insert' 的成员编译器错误

Question

在 Whosebug 上有几个与使用 {boost, std}::string_view 有关的问答，例如：

重载 x3 move_to

namespace boost { namespace spirit { namespace x3 { namespace traits {

template <typename It>
void move_to(It b, It e, boost::string_view& v)
{
    v = boost::string_view(&*b, e-b);
}

} } } }

其中进一步提供了有关属性兼容性的信息

namespace boost { namespace spirit { namespace x3 { namespace traits { 
    template <>
    struct is_substitute<raw_attribute_type,boost::string_view> : boost::mpl::true_
    {};
} } } }

llonesmiz 在 wandbox which compiles with boost 1.64, but failed with boost 1.67 现在用

写了一个例子

    opt/wandbox/boost-1.67.0/gcc-7.3.0/include/boost/spirit/home/x3/support/traits/container_traits.hpp:177:15: error: 'class boost::basic_string_view<char, std::char_traits<char> >' has no member named 'insert'
                 c.insert(c.end(), first, last);
                 ~~^~~~~~

我在项目中遇到了同样的错误。

使用std::string也会出现问题即使明确使用 , see also at wandbox:

    #include <iostream>
    #include <string>
    #include <string_view>

    namespace boost { namespace spirit { namespace x3 { namespace traits {

    template <typename It>
    void move_to(It b, It e, std::string_view& v)
    {
        v = std::string_view(&*b, e-b);
    }

    } } } } // namespace boost


    #include <boost/spirit/home/x3.hpp>


    namespace boost { namespace spirit { namespace x3 { namespace traits {

    template <>
    struct is_substitute<raw_attribute_type, std::string_view> : boost::mpl::true_
    {};

    } } } } // namespace boost


    namespace parser
    {
        namespace x3 = boost::spirit::x3;
        using x3::char_;
        using x3::raw;

        template<typename T>
        auto as = [](auto p) { return x3::rule<struct _, T>{ "as" } = x3::as_parser(p); };

        const auto str = as<std::string_view>(raw[ +~char_('_')] >> '_');
        const auto str_vec  = *str;
    }

    int main()
    {
        std::string input = "hello_world_";

        std::vector<std::string_view> strVec; 
        boost::spirit::x3::parse(input.data(), input.data()+input.size(), parser::str_vec, strVec);

        for(auto& x : strVec) { std::cout << x << std::endl; }
    }

据我所知，问题始于 boost 1.65。更改了什么以及如何修复它？

最后，我有一个关于提到的连续存储要求的问题：我理解这个要求，但是解析器可以违反这个要求吗？ - 在我看来，即使在回溯时解析器也必须失败，所以这不可能发生。通过使用 error_handler，引用 string_view 的内存存储地址终于在解析级别有效。我的结论是，只要引用在这种情况下的范围内，就可以使用 string_view，不是吗？

Answer 1

这里的问题似乎与 is_container 特征有关：

template <typename T>
using is_container = mpl::bool_<
    detail::has_type_value_type<T>::value &&
    detail::has_type_iterator<T>::value &&
    detail::has_type_size_type<T>::value &&
    detail::has_type_reference<T>::value>;

在齐国，那本来可以专门化：

template <> struct is_container<std::string_view> : std::false_type {};

但是在 X3 中，它开始成为模板别名，无法专门化。

这是一个棘手的问题，因为似乎根本没有自定义点可以让 X3 执行我们在这里需要的操作。

解决方法

我试图深入挖掘。我还没有看到 "clean" 解决这个问题的方法。事实上，属性强制技巧可以提供帮助，但是，如果您将它用于 "short out" 导致匹配的启发式：

该属性是 "like a" "char"
解析器可以匹配这样的容器

在这种情况下，我们可以将解析器的属性强制设置为特别是不兼容，然后事情就会开始起作用。

正确覆盖`move_to`

这也是一个有争议的领域。只需添加重载，例如：

template <typename It>
inline void move_to(It b, It e, std::string_view& v) {
    v = std::string_view(&*b, std::distance(b,e));
}

不足以使其成为最佳重载。

基本模板是

template <typename Iterator, typename Dest>
inline void move_to(Iterator first, Iterator last, Dest& dest);

要真正让它坚持下去，我们需要专业化。但是，专门化和函数模板 is not a good match。特别是，我们不能部分专门化，所以我们最终将对模板参数进行硬编码：

template <>
inline void move_to<Iterator, std::string_view>(Iterator b, Iterator e, std::string_view& v) {
    v = std::string_view(&*b, std::distance(b,e));
}

This is making me question whether move_to is "user-serviceable" at all, much like is_container<> above, it just seems not designed for extension.

I do realize I've applied it in the past myself, but I also learn as I go.

强制：入侵系统

与其声明规则的属性 std::string_view（将 X3 的类型魔法房间留给 "do the ~~right~~ thing"），不如将 raw[] 的预期结果刻在石头上（并让 X3 做使用 move_to 的其余魔法):

namespace parser {
    namespace x3 = boost::spirit::x3;
    const auto str 
        = x3::rule<struct _, boost::iterator_range<Iterator> >{"str"}
        = x3::raw[ +~x3::char_('_')] >> '_';
    const auto str_vec  = *str;
}

这行得通。看到了吗Live On Wandbox

版画

hello
world

备选

这看起来很脆弱。例如。如果你 change Iterator to char const* (or, use std::string const input = "hello_world_", but not both).

它会坏掉的

这是一个更好的选择（我认为）：

namespace boost { namespace spirit { namespace x3 {

    template <typename Char, typename CharT, typename Iterator> 
    struct default_transform_attribute<std::basic_string_view<Char, CharT>, boost::iterator_range<Iterator>> {
        using type = boost::iterator_range<Iterator>;

        template <typename T> static type pre(T&&) { return {}; }

        static void post(std::basic_string_view<Char, CharT>& sv, boost::iterator_range<Iterator> const& r) {
            sv = std::basic_string_view<Char, CharT>(std::addressof(*r.begin()), r.size());
        }
    };

} } }

现在，唯一需要跳过的环节是规则声明提到迭代器类型。你也可以隐藏它：

namespace parser {
    namespace x3 = boost::spirit::x3;

    template <typename It> const auto str_vec = [] {
        const auto str 
            = x3::rule<struct _, boost::iterator_range<It> >{"str"}
            = x3::raw[ +~x3::char_('_')] >> '_';
        return *str;
    }();
}

auto parse(std::string_view input) {
    auto b = input.begin(), e = input.end();
    std::vector<std::string_view> data;
    parse(b, e, parser::str_vec<decltype(b)>, data);
    return data;
}

int main() {
    for(auto& x : parse("hello_world_"))
        std::cout << x << "\n";
}

这立即表明它适用于非指针迭代器。

Note: for completeness you'd want to statically assert the iterator models the ContiguousIterator concept (c++17)

最终版本上线

Live On Wandbox

#include <iostream>
#include <string>
#include <string_view>
#include <boost/spirit/home/x3.hpp>

namespace boost { namespace spirit { namespace x3 {

    template <typename Char, typename CharT, typename Iterator> 
    struct default_transform_attribute<std::basic_string_view<Char, CharT>, boost::iterator_range<Iterator>> {
        using type = boost::iterator_range<Iterator>;

        template <typename T> static type pre(T&&) { return {}; }

        static void post(std::basic_string_view<Char, CharT>& sv, boost::iterator_range<Iterator> const& r) {
            sv = std::basic_string_view<Char, CharT>(std::addressof(*r.begin()), r.size());
        }
    };

} } }

namespace parser {
    namespace x3 = boost::spirit::x3;

    template <typename It> const auto str_vec = [] {
        const auto str 
            = x3::rule<struct _, boost::iterator_range<It> >{"str"}
            = x3::raw[ +~x3::char_('_')] >> '_';
        return *str;
    }();
}

auto parse(std::string_view input) {
    auto b = input.begin(), e = input.end();
    std::vector<std::string_view> data;
    parse(b, e, parser::str_vec<decltype(b)>, data);
    return data;
}

int main() {
    for(auto& x : parse("hello_world_"))
        std::cout << x << "\n";
}

Spirit.X3 使用 string_view 和名为 'insert' 的成员编译器错误

Spirit.X3 using string_view and member named 'insert' compiler error

c++

boost

boost-spirit-x3

解决方法

正确覆盖`move_to`

强制：入侵系统

备选

最终版本上线

Spirit.X3 使用 string_view 和名为 'insert' 的成员编译器错误

Spirit.X3 using string_view and member named 'insert' compiler error

c++

boost

boost-spirit-x3

解决方法

正确覆盖move_to

强制：入侵系统

备选

最终版本上线

正确覆盖`move_to`