摘要

Question

我对Spirit Qi有一个编译问题，它抱怨 value_type 不是标识符的成员。出于某种原因，Qi的属性系统将标识符视为容器类型，并尝试枚举它的值类型。

这与this question中的问题类似，但我认为原因是单个成员结构，可能与此bug相关。

#include <string>
#include <boost/spirit/include/qi.hpp>
#include <boost/fusion/include/adapt_struct.hpp>

using namespace boost::spirit::qi; 

struct identifier
{
    std::wstring name;
};

struct problem
{
    identifier _1;
    identifier _2;
    identifier _3;
};

BOOST_FUSION_ADAPT_STRUCT(
    identifier,
    (std::wstring, name)
)

BOOST_FUSION_ADAPT_STRUCT(
    problem,
    (identifier, _1)
    (identifier, _2)
    (identifier, _3)
)



int main(int argc, char* argv[])
{
    rule<std::wstring::const_iterator, identifier()> gr_identifier = eps >> raw[lexeme[(alpha | '_') >> *(alnum | '_')]];

    // Ok, compiles
    /*rule<std::wstring::const_iterator, problem()> gr_problem =       gr_identifier
                                                                  >> gr_identifier
                                                                  >> '('
                                                                  >>   gr_identifier
                                                                  >>   ')';*/
    // Fails
    rule<std::wstring::const_iterator, problem()> gr_problem =       gr_identifier
                                                                  >> gr_identifier
                                                                  >> '('
                                                                  >   gr_identifier
                                                                  >   ')';

    std::wstring input = L"foo goo(hoo)";
    /*bool dummy = phrase_parse(
            input.begin(), input.end(), 
            gr_problem,
            space);*/

    return EXIT_SUCCESS;
}

有趣的是，这仅在使用期望解析器时发生（请参阅示例中的定义2）。定义1，仅使用序列解析器，正确编译（和执行）。

有人知道这个问题的正确解决方案吗？

请查看live example

Answer 1

这是一个非常臭名昭着的精神边缘案例。问题是，精神中单元素融合序列的特殊情况处理打破了一些抽象。

通常的解决方法是使暴露属性方面不那么简单：

rule<It, single_member_struct()> r = eps >> XXX; 
// the `eps` is there to break the spell

但是，此处不起作用，因为您的(a > XXX > b)子表达式会产生另一个vector1<decltype(member_type)>，而这次，没有多少智能括号或eps - 将为您节省。< SUP> [1]

简而言之，我有三个解决方法：

1。 #define KEEP_STRING_WORKAROUND

查看Live On Coliru

您只需允许gr_identifier返回std::wstring ^[2]：

rule<It, std::string()> gr_identifier = 
    (alpha | '_') >> *(alnum | '_');

这有效地推迟了使用Fusion改编的 magic 属性转换identifier，从而打破了咒语：

rule<It, problem(), qi::space_type> gr_problem = 
       gr_identifier
    >> gr_identifier
    >> ('(' > gr_identifier > ')')
    ;

正常工作。我认为这可能是最不具侵入性的解决方法

2。 #define DUMMY_WORKAROUND

查看Live On Coliru

由此你使magix unjinx ...使identifier结构不融合为单元素融合序列。是。这涉及添加虚拟字段的 EvilHack™ 。为了尽量减少混淆，让我们尽可能地qi::unused_type：

struct identifier
{
    std::string    name;
    qi::unused_type dummy;
};

BOOST_FUSION_ADAPT_STRUCT(
    identifier,
    (std::string,    name)
    (qi::unused_type, dummy)
)

现在：

rule<It, identifier()> gr_identifier = 
    (alpha | '_') >> *(alnum | '_') >> attr(42);   // that's hacky

作品

3。 #define NO_ADAPT_WORKAROUND

查看Live On Coliru

最终的解决方法可能是最明显的：首先不要将结构调整为融合序列，并且利润：

struct identifier
{
    std::string name;

    identifier() = default;

    explicit identifier(std::string name) 
        : name(std::move(name))
    {}
};

请注意，要允许属性传播，现在需要使用合适的转换构造函数。此外，Spirit中的公开属性需要默认构造函数。

现在，

rule<It, identifier()> gr_identifier = 
    as_string [ (alpha | '_') >> *(alnum | '_') ]; // cleaner... but no fusion

的工作原理。如果您不需要将此类型的Fusion用于其他目的，这可能会更直观。

注意：这个变体在编译时可能是最有效的

摘要

我认为对于你的代码，有2个完全可行的解决方法（＃1和＃3），还有一个不那么出色（具有虚拟字段的那个），但我将它包含在纪录片中。

完整代码

供将来参考

#define BOOST_SPIRIT_DEBUG
#include <string>
#include <boost/spirit/include/qi.hpp>
#include <boost/fusion/include/adapt_struct.hpp>

namespace qi = boost::spirit::qi;

//////////////////////////////////////////
// Select workaround to demonstrate
#define KEEP_STRING_WORKAROUND
// #define DUMMY_WORKAROUND™
// #define NO_ADAPT_WORKAROUND
//////////////////////////////////////////

#if defined(KEEP_STRING_WORKAROUND)
    struct identifier
    {
        std::string    name;
    };

    BOOST_FUSION_ADAPT_STRUCT(
        identifier,
        (std::string,    name)
    )
#elif defined(DUMMY_WORKAROUND)
    struct identifier
    {
        std::string    name;
        qi::unused_type dummy;
    };

    BOOST_FUSION_ADAPT_STRUCT(
        identifier,
        (std::string,    name)
        (qi::unused_type, dummy)
    )
#elif defined(NO_ADAPT_WORKAROUND)
    struct identifier
    {
        std::string name;

        identifier() = default;

        explicit identifier(std::string name) 
            : name(std::move(name))
        {}
    };
#endif

struct problem
{
    identifier _1;
    identifier _2;
    identifier _3;
};

BOOST_FUSION_ADAPT_STRUCT(
    problem,
    (identifier, _1)
    (identifier, _2)
    (identifier, _3)
)

//////////////////////////////////////////
// For BOOST_SPIRIT_DEBUG only:
static inline std::ostream& operator<<(std::ostream& os, identifier const& id) {
    return os << id.name;
}
//////////////////////////////////////////

int main()
{
    using namespace qi;
    typedef std::string::const_iterator It;
#if defined(KEEP_STRING_WORKAROUND)
    rule<It, std::string()> gr_identifier = 
        (alpha | '_') >> *(alnum | '_');
#elif defined(DUMMY_WORKAROUND)
    rule<It, identifier()> gr_identifier = 
        (alpha | '_') >> *(alnum | '_') >> attr(42);   // that's hacky
#elif defined(NO_ADAPT_WORKAROUND)
    rule<It, identifier()> gr_identifier = 
        as_string [ (alpha | '_') >> *(alnum | '_') ]; // cleaner... but no fusion
#endif

    rule<It, problem(), qi::space_type> gr_problem = 
           gr_identifier
        >> gr_identifier
        >> ('(' > gr_identifier > ')')
        ;

    std::string input = "foo goo(hoo)";

    BOOST_SPIRIT_DEBUG_NODES((gr_problem)(gr_identifier));

    It f(begin(input)), l(end(input));
    bool dummy = phrase_parse(f, l, gr_problem, qi::space);

    return dummy? 0 : 255;
}

^[1]相信我，我尝试过，即使在插入qi::unused_type“假”属性，和/或使用attr_cast<>或帮助规则来强制类型子表达式。

^[2]出于演示目的，我使用std::string因为我认为它与BOOST_SPIRIT_DEBUG混合得更好

单一成员结构的Spirit Qi属性传播问题

1 个答案:

1。 #define KEEP_STRING_WORKAROUND

2。 #define DUMMY_WORKAROUND

3。 #define NO_ADAPT_WORKAROUND

摘要

完整代码