boost之spirit学习-mini_c(4)_增加函数 boost spirit-CSDN博客

本文链接：https://blog.csdn.net/jjparch/article/details/7401186

本文探讨了boost spirit库中的error_handler.hpp，解析了result结构体在boost::result_of中的作用。error_handler是一个函数对象，用于定义规则出错时的处理方式。内容包括如何获取错误位置到行末的字符串，并展示了如何设置出错处理函数，特别是当Action为函数或函数对象时，如何使用boost::bind进行参数转换。

摘要由CSDN通过智能技术生成

今天看看error_handler.hpp,先把这些周边的东西搞清楚。

    ///
    //  The error handler
    ///
    template <typename Iterator>
    struct error_handler
    {   
        template <typename, typename, typename>
        struct result { typedef void type; };

        error_handler(Iterator first, Iterator last)
          : first(first), last(last) {}
        //...
        Iterator first;
        Iterator last;
        std::vector<Iterator> iters;
    };

error_handler.hpp比较简单，只定义了error_handler一个模板类。包含三个成员变量：first、last和iters。first和last代表要解析的字符串的起始位置。iters比较奇怪，它在error_handler里定义，但在error_handler里一次都没用。翻翻其它代码，发现这个iters由annotation类使用，annotation类保存对这个iters数组的引用。每次出现一个需要标记的语法对象，annotation类就在iters里记录下该对象的位置，而对象的id就是iters数组的下标。从而通过对象id可以直接查到对象对代码中的确切位置。

struct result是为了boost::result_of准备的。error_handler是个函数对象，因此它的返回值需要通过这种特殊方法标记。

        template <typename Message, typename What>
        void operator()(
            Message const& message,
            What const& what,
            Iterator err_pos) const
        {
            int line;
            Iterator line_start = get_pos(err_pos, line);
            if (err_pos != last)
            {
                std::cout << message << what << " line "