X3：非终端解析器上的链接器错误（未解析的外部符号“parse_rule”）

2024-04-26

首先我使用的是MSVC 2017（最新版本）。这是我的非终结符解析器的代码：

播放器.hpp

namespace parse
{
    namespace impl
    {
        namespace x3 = boost::spirit::x3;

        struct _tag;

        using player_type = x3::rule<_tag, PlayerIterator>;
        using player_vector_type = x3::rule<_tag, std::vector<PlayerIterator>>;
        BOOST_SPIRIT_DECLARE(player_type);
        BOOST_SPIRIT_DECLARE(player_vector_type);
    }; //impl

    impl::player_type player();
    impl::player_vector_type player_vector();
}; //parse

播放器.cpp

namespace parse
{
    namespace impl
    {
        const player_type player = "player";
        const player_vector_type player_vector = "player_vector";
        auto player_find = [](auto &ctx)
        {
            auto &attr = x3::_attr(ctx);
            if(attr.which() == 0)
                return x3::_val(ctx) = PlayerManager::find(boost::get<int>(attr));
            return x3::_val(ctx) = PlayerManager::find(boost::get<std::string>(attr));
        };
        auto player_vector_find = [](auto &ctx)
        {
            return x3::_val(ctx) = PlayerManager::vector_find(x3::_attr(ctx));
        };
        auto const player_def = (x3::int_ | (+x3::char_))[player_find];
        auto const player_vector_def = (((+x3::char_)[player_vector_find]));
        BOOST_SPIRIT_DEFINE(player);
        BOOST_SPIRIT_DEFINE(player_vector);
        BOOST_SPIRIT_INSTANTIATE(player_type, iterator_type, context_type);
        BOOST_SPIRIT_INSTANTIATE(player_vector_type, iterator_type, context_type);
    } //impl
    parse::impl::player_type player() { return impl::player; }
    parse::impl::player_vector_type player_vector() { return impl::player_vector; }
}//parse

我收到有关“未解析的外部符号引用”的链接器 LNK2019 错误：
Pastebin.com 链接有错误 https://pastebin.com/HcYnaFyi关于他们有什么想法吗？提前致谢。

编辑：这就是我在源文件中的调用方式：

void test(std::string &params)
{
    std::tuple<PlayerIterator, std::vector<PlayerIterator>, std::string> tuple;
    if (!x3::phrase_parse(params.begin(), params.end(), parse::player()>> parse::player_vector() >> (+x3::char_), x3::space,tuple))
    {
        std::cout << "Error: Parsing failed" << std::endl;
        return;
    }
    std::cout << "Parsing succeded" << std::endl;
    std::cout << "Found player, size of player vector: "<< std::get<1>(tuple).size() << ", also parsed string:" << std::get<2>(tuple);
    return;
};

我愿意打赌 10 美元，因为您在实例化时与上下文或迭代器类型不匹配。

例如。在你的test函数，参数是std::string&, hence params.begin()将std::string::iterator。如果你有iterator_type配置如下：

using iterator_type = std::string::const_iterator; // very sensible!

因为迭代器类型与实际需要的类型不匹配，所以您将有未解析的外部。

对于上下文来说也是如此。为了匹配您的调用，它需要完全相同：

using context_type = x3::phrase_parse_context<x3::space_type>::type;

遗憾的是您没有显示完整的代码，因此您必须自己检查。

Notes

重复使用标签类型会导致灾难。我不认为can工作。规则标签是在分离编译单元的情况下调度实现函数的内容。修理它：

using player_type        = x3::rule<struct player_tag,        PlayerIterator>;
using player_vector_type = x3::rule<struct player_vector_tag, std::vector<PlayerIterator>>;

复制规则似乎很浪费，考虑通过引用返回：

impl::player_type const&player(); impl::player_vector_type const&player_vector();

注意：这应该没问题。静态初始化顺序惨败 https://isocpp.org/wiki/faq/ctors

using which()变体上是反模式。您可以更换

auto player_find = [](auto &ctx) {
    auto &attr = x3::_attr(ctx);
    if (attr.which() == 0)
        return x3::_val(ctx) = PlayerManager::find(boost::get<int>(attr));
    return x3::_val(ctx) = PlayerManager::find(boost::get<std::string>(attr));
};

With

auto find = [](auto const& key) { return PlayerManager::find(key); };
auto player_find = [](auto &ctx) {
    return x3::_val(ctx) = boost::apply_visitor(find, x3::_attr(ctx));
};

(+x3::char_)始终匹配所有输入
(+x3::graph)由于船长的原因，仍然匹配所有输入

相反，你想要一个词位：

auto const name              = x3::lexeme[+x3::graph];
auto const player_def        = (x3::int_ | name) [player_find];
auto const player_vector_def = name[ player_vector_find];

我可以建议写一下test功能更加简洁：

void test(std::string const &params) {
    auto comment_ = x3::lexeme[+x3::char_];

    PlayerIterator player;
    PlayerIterators vec;
    std::string comment;
    auto tuple = std::tie(player, vec, comment);

    if (phrase_parse(params.cbegin(), params.cend(), parse::player() >> parse::player_vector() >> comment_, x3::space, tuple)) {
        std::cout << "Parsing succeded" << std::endl;
        std::cout << "Found player, size of player vector: " << vec.size() << "\n";
        std::cout << "Also parsed string: " << std::quoted(comment);
    } else {
        std::cout << "Error: Parsing failed" << std::endl;
    }
}

完整演示

See it Live On Wandbox https://wandbox.org/permlink/8gcrM81P2NDSbJts

stuff.h

包含模型PlayerManager

#pragma once
#include <string>
#include <vector>
#include <iostream>

struct PlayerIterator { };
using PlayerIterators = std::vector<PlayerIterator>;

struct PlayerManager {
    static PlayerIterator              find(std::string const&)        { std::cout << __PRETTY_FUNCTION__ << "\n"; return {}; } 
    static PlayerIterator              find(int)                       { std::cout << __PRETTY_FUNCTION__ << "\n"; return {}; } 
    static PlayerIterators vector_find(std::string const&) { std::cout << __PRETTY_FUNCTION__ << "\n"; return {}; } 
};

test.h

#pragma once
#include <boost/spirit/home/x3.hpp>
#include <boost/fusion/adapted.hpp>
#include "stuff.h"

namespace x3 = boost::spirit::x3;

namespace parse
{
    namespace impl
    {
        using player_type        = x3::rule<struct player_tag,        PlayerIterator>;
        using player_vector_type = x3::rule<struct player_vector_tag, PlayerIterators>;

        BOOST_SPIRIT_DECLARE(player_type)
        BOOST_SPIRIT_DECLARE(player_vector_type)
    } //impl

    impl::player_type const& player();
    impl::player_vector_type const& player_vector();
} //parse

test.cpp

#include "stuff.h"
#include "test.h"

using iterator_type = std::string::const_iterator;
using context_type = x3::phrase_parse_context<x3::space_type>::type;

namespace parse {
    namespace impl {
        const player_type player               = "player";
        const player_vector_type player_vector = "player_vector";

        auto find               = [](auto const& key) { return PlayerManager::find(key); } ;
        auto player_find        = [](auto &ctx)       { return x3::_val(ctx) = boost::apply_visitor(find, x3::_attr(ctx)); } ;
        auto player_vector_find = [](auto &ctx)       { return x3::_val(ctx) = PlayerManager::vector_find(x3::_attr(ctx)); } ;

        auto const name              = x3::lexeme[+x3::graph];
        auto const player_def        = (x3::int_ | name) [player_find];
        auto const player_vector_def = name[ player_vector_find];

        BOOST_SPIRIT_DEFINE(player)
        BOOST_SPIRIT_DEFINE(player_vector)

        BOOST_SPIRIT_INSTANTIATE(player_type,        iterator_type, context_type)
        BOOST_SPIRIT_INSTANTIATE(player_vector_type, iterator_type, context_type)
    } // namespace impl

    parse::impl::player_type const& player()               { return impl::player; }
    parse::impl::player_vector_type const& player_vector() { return impl::player_vector; }
} // namespace parse

main.cpp

#include "stuff.h"
#include "test.h"
#include <iostream>
#include <iomanip>

void test(std::string const &params) {
    auto comment_ = x3::lexeme[+x3::char_];

    PlayerIterator player;
    PlayerIterators vec;
    std::string comment;
    auto tuple = std::tie(player, vec, comment);

    if (phrase_parse(params.cbegin(), params.cend(), parse::player() >> parse::player_vector() >> comment_, x3::space, tuple)) {
        std::cout << "Parsing succeded" << std::endl;
        std::cout << "Found player, size of player vector: " << vec.size() << "\n";
        std::cout << "Also parsed string: " << std::quoted(comment);
    } else {
        std::cout << "Error: Parsing failed" << std::endl;
    }
}

int main() {
    test("42 someword # bogus trailing comment");
}

Prints:

static PlayerIterator PlayerManager::find(int)
static PlayerIterators PlayerManager::vector_find(const std::string &)
Parsing succeded
Found player, size of player vector: 0
Also parsed string: "# bogus trailing comment"

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

c

boost

boostspirit

boostspiritx3