c++ - 使用 boost spirit x3 单独解析器时链接错误

Question

我正在尝试使用将我的 boost spirit x3 解析器分成不同的 _def 和 .cpp 文件BOOST_SPIRIT_DEFINE/DECLARE/INSTANTIATE，但我不断收到链接错误。这是我的解析器，它是分开的。

链接器错误读取

<artificial>:(.text.startup+0xbb): undefined reference to `bool kyle::parser::impl::parse_rule<__gnu_cxx::__normal_iterator<char*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, boost::spirit::x3::context<boost::spirit::x3::skipper_tag, boost::spirit::x3::char_class<boost::spirit::char_encoding::standard, boost::spirit::x3::space_tag> const, boost::spirit::x3::unused_type>, boost::spirit::x3::unused_type const>(boost::spirit::x3::rule<kyle::parser::impl::identifier_class, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false>, __gnu_cxx::__normal_iterator<char*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >&, __gnu_cxx::__normal_iterator<char*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&, boost::spirit::x3::context<boost::spirit::x3::skipper_tag, boost::spirit::x3::char_class<boost::spirit::char_encoding::standard, boost::spirit::x3::space_tag> const, boost::spirit::x3::unused_type> const&, boost::spirit::x3::unused_type const&)'

我究竟做错了什么？我怎样才能使我的例子工作？

配置.hpp：

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

namespace kyle{
namespace parser{

namespace x3 = boost::spirit::x3;

typedef std::string::const_iterator iterator_type;
typedef x3::phrase_parse_context<x3::ascii::space_type>::type context_type;

}
}

文字.cpp：

#include "literals_def.hpp"
#include "config.hpp"
#include <boost/spirit/home/x3.hpp>


namespace kyle {
namespace parser {
namespace impl {

BOOST_SPIRIT_INSTANTIATE(identifier_type, iterator_type, context_type);

}
}
}

文字定义.hpp：

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

namespace kyle {
namespace parser {
namespace impl {

namespace x3 = boost::spirit::x3;


const identifier_type identifier = "identifier";



auto const identifier_def = x3::alpha >> *x3::alnum;

BOOST_SPIRIT_DEFINE(identifier)
}
impl::identifier_type identifier(){
    return impl::identifier;
}


}
}

文字.hpp：

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

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

struct identifier_class;

typedef x3::rule<identifier_class, std::string> identifier_type;

BOOST_SPIRIT_DECLARE(identifier_type)
}

impl::identifier_type identifier();


}
}

主.cpp：

#include "literals.hpp"
#include <iostream>

template<typename Parser>
bool test(std::string str, Parser&& p, bool full_match = true)
{
    auto in = str.begin();
    auto end = str.end();
    bool ret = boost::spirit::x3::phrase_parse(in, end, p, boost::spirit::x3::space);
    ret &= (!full_match || (in == end));
    return ret;

}

int main(){
    auto b = test("fobar", kyle::parser::identifier());
    std::cout << b << std::endl;

}

score 7 · Accepted Answer

两点：

您将上下文定义为
```
typedef x3::phrase_parse_context<x3::space_type>::type context_type;
```
但是，您尝试使用x3::space而不是调用它x3::ascii::space。

提示在您未包含的错误消息中：

/home/sehe/custom/boost/boost/spirit/home/x3/nonterminal/rule.hpp:116: undefined reference to 'bool kyle::parser::impl::parse_rule<__gnu_cxx::__normal_iterator<char const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, boost::spirit::x3::context<boost::spirit::x3::skipper_tag, boost::spirit::x3::char_class<boost::spirit::char_encoding::standard, boost::spirit::x3::space_tag> const, boost::spirit::x3::unused_type>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >(boost::spirit::x3::rule<kyle::parser::impl::identifier_class, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false>, __gnu_cxx::__normal_iterator<char const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >&, __gnu_cxx::__normal_iterator<char const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&, boost::spirit::x3::context<boost::spirit::x3::skipper_tag, boost::spirit::x3::char_class<boost::spirit::char_encoding::standard, boost::spirit::x3::space_tag> const, boost::spirit::x3::unused_type> const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >&)'
迭代器类型被推断为std::string::iterator，而不是std::string::const_iterator。修复它或不要auto总是使用：

Live On Melpon

完整代码

为子孙后代

配置.hpp：

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

namespace kyle{
    namespace parser{

        namespace x3 = boost::spirit::x3;

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

    }
}

文字.cpp：

#include "literals_def.hpp"
#include "config.hpp"
#include <boost/spirit/home/x3.hpp>

namespace kyle { namespace parser { namespace impl {
    BOOST_SPIRIT_INSTANTIATE(identifier_type, iterator_type, context_type);
} } }

文字定义.hpp：

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

namespace kyle {
    namespace parser {
        namespace impl {

            namespace x3 = boost::spirit::x3;

            const identifier_type identifier = "identifier";
            auto const identifier_def = x3::alpha >> *x3::alnum;

            BOOST_SPIRIT_DEFINE(identifier)
        }
        impl::identifier_type identifier(){
            return impl::identifier;
        }
    }
}

文字.hpp：

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

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

            struct identifier_class;

            typedef x3::rule<identifier_class, std::string> identifier_type;

            BOOST_SPIRIT_DECLARE(identifier_type)
        }

        impl::identifier_type identifier();
    }
}

主.cpp：

#include "literals.hpp"
#include <iostream>

template<typename Parser>
bool test(std::string const& str, Parser p, std::string& output, bool full_match = true)
{
    auto in = str.begin();
    auto end = str.end();
    bool ret = boost::spirit::x3::phrase_parse(in, end, p, boost::spirit::x3::space, output);
    ret &= (!full_match || (in == end));
    return ret;
}

int main(){
    std::string s;
    auto b = test("fobar", kyle::parser::identifier(), s);
    std::cout << b << ": " << s << std::endl;
}

CMakeLists.txt：

ADD_EXECUTABLE(sox3 main.cpp literals.cpp)

SET(CMAKE_CXX_COMPILER g++-5)
SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -isystem /home/sehe/custom/boost -std=c++14 -O3 -pthread -march=native -flto)

score 5 · Accepted Answer

除了sehe的回答，让我补充一点：

您需要非常准确地声明您声明的内容和实际使用的内容。X3 允许任何可能的类型，但链接器不允许。

这里有一个提示：当出现链接器错误时，在 BOOST_SPIRIT_INSTANTIATE 之后，声明如下：

int x = context_type{};

这将是一个错误，是的，因为 context_type 无法转换为 int。但是该错误也会为您提供上下文的确切类型。将其与链接器错误进行比较，您将看到您的错误。

c++ - 使用 boost spirit x3 单独解析器时链接错误

2 回答 2

完整代码

Related

Reference