c++ - Boost Spirit x3 未编译

Question

我正在关注 boost 网站上的 x3 文档，并尝试使用随后的注释示例中解释的内容来扩充有关如何组织代码的示例。编译项目时出现以下错误(使用 g++ 或 MSVC):

error: no matching function for call to 'boost::spirit::x3::unused_type::get()'

在函数on_success的第一行代码如下:

// tag used to get the position cache from the context
struct annotate_position
{
    template <typename T, typename Iterator, typename Context>
    inline void on_success(const Iterator &first, const Iterator &last, T &ast, const Context &context)
    {
        auto &position_cache = x3::get<position_cache_tag>(context).get();
        position_cache.annotate(ast, first, last);
    }
};

代码可以在这里找到:Github .

注释示例几乎是完全相同的代码，只是在一个文件中，所以我不知道哪里出了问题...

Answer 1

注解使用with<>指示。这会修改这些规则的上下文。

然而，上下文已被硬编码在 config.hpp 中因为这使得规则定义可以在它们自己的翻译单元(源文件)中分开。

直接修复:

struct position_cache_tag;
using position_cache = boost::spirit::x3::position_cache<std::vector<iterator_type>>;

using simple_context_type = x3::phrase_parse_context<x3::ascii::space_type>::type;

using context_type = boost::spirit::x3::context<
    client::parser::position_cache_tag,
    std::reference_wrapper<position_cache>, 
    simple_context_type
>;

那应该已经可以了。但是，您会发现还缺少其他东西，因为旧的 parse在 main 中发挥作用(没有位置注释)也仍然存在。原则上添加一个三元组，如

BOOST_SPIRIT_INSTANTIATE(person_type, iterator_type, simple_context_type)
BOOST_SPIRIT_INSTANTIATE(employee_type, iterator_type, simple_context_type)
BOOST_SPIRIT_INSTANTIATE(employees_type, iterator_type, simple_context_type)

足以缓解，但显然，on_success 中的注释代码不会编译。如果你愿意，你可以自己从 SFINAE 中摆脱出来，但我只是从 main.cpp 中删除了未使用的代码。 .

奖金

作为奖励，您可以不用 reference_wrapper这些天，因为我看到你在使用 Boost 1.70。

引用包装器曾经是 with 指令中可变状态所必需的，但我最近发现 (Spirit X3, Is this error handling approach useful?) 不再需要它了。因此，您可以简化上下文:

using context_type = boost::spirit::x3::context<
    client::parser::position_cache_tag,
    position_cache, 
    simple_context_type
>;

并在两端放下引用包装器:

auto &position_cache = x3::get<position_cache_tag>(context); // NOTE: no more .get()

和

auto const parser =
    with<position_cache_tag>(positions)[client::employees()];

完整代码(Github)

这是我的工作代码:https://github.com/sehe/corrupted-spirit按顺序包含以下提交，因此很容易找到更改原因:

commit 2d1d553afab53d7a83620406c2dcd50967bf2765
Date:   Wed Jul 31 22:50:49 2019 +0200

    Build tweaks

    Make it compile on my linux box, and adding some minimum
    debug/sanitizer/diagnostics flags

commit 98a989bb165d0b25b6919449d4dd09f7656168c8
Date:   Wed Jul 31 22:51:50 2019 +0200

    Various compiler wanrings, no impact

commit 91f5c607c10a489e2d7b9e45dca55438d05419a2
Date:   Wed Jul 31 22:53:46 2019 +0200

    Fixed style issues in main.cpp

     - using namespace (my first hunch was with `ref` being std::ref instead
     of boost::ref, but that turned out a red herring. Better to be explicit
     though

     - added condition on use of ast[1]

commit 084700c80023d4fb291bee36f41cb99f23f7dffa
Date:   Wed Jul 31 22:51:20 2019 +0200

    Fix the context_type in config.hpp

commit df7f9505e042b93bcd62167090e89008788218de (HEAD -> master, sehe/master)
Date:   Wed Jul 31 22:56:20 2019 +0200

    Simplify the with directive

    1.70.0 no longer requires manual ref() for with directives with mutable
    context items.