2

我在 Classic Spirit 中有以下代码：

/// _BasicRules.h
template <typename scanT> class _BasicRules {
    public:
        _BasicRules() {
            // ALPHA = %x41-5A / %x61-7A ; A-Z / a-z
            ALPHA = range_p(0x41, 0x5A) | range_p(0x61, 0x7A);
            ...
        }
    protected:
        boost::spirit::rule<scanT> ALPHA;
        ...
};

// CommonRules.h
template <typename scanT> class _CommonRules : public _BasicRules<scanT> {...};

// _UriRules.h
template <typename scanT> class _UriRules : public _CommonRules<scanT> {...};

// _HeaderRules.h
template <class scanT> class _HeaderRules : public _UriRules<scanT> {...};

// _SipRules.h
template <typename scanT> class SipGrammar::definition : public _HeaderRules<scanT> {
public:
    definition(SipGrammar const& self) {
        SIP_message = Request | Response; 
        Request = Request_Line >> *(message_header) >> CRLF >> !message_body;
        ...
    }
    const rule<scanT> & start() const
    {
        return SIP_message;
    }
  private:
    boost::spirit::rule<scanT> SIP_message;
    using _BasicRules<scanT>::DIGIT;
    using _CommonRules<scanT>::token;
    ...
};

我只是将基于 RFC3261 的 SIP 消息解析器从 Spirit Classic 转换为新的 Spirit 2.5.2。我将整个语法拆分为多个继承文件，因为语法非常庞大。

我正在写这段代码；

....
template <typename Iterator> struct _HeaderRules:grammar<Iterator>, _UriRules<Iterator> {...}
template <typename Iterator> struct SipGrammar:grammar<Iterator>, _HeaderRules<Iterator> {
    SipGrammar():SipGrammar::base_type(SIP_Message){...}
    ...
};

这不起作用。您能否建议在 Spirit 2.5.2 中分层拆分语法的来源。

4

1 回答 1

3

无论如何，继承在这里不是一个合乎逻辑的选择（在任何意义上，SipGrammar 都不是 HeaderRules 的 Liskov-Substitutable）。

解决这个问题的通常方法是聚合：

template <typename Iterator> struct SipGrammar : grammar<Iterator>
{
    SipGrammar() : SipGrammar::base_type(SIP_Message)
    {
        ...
    }

  private:

     HeaderRule<Iterator> _headerRules;
    ...
};

Boost Spirit 源代码树中的编译器示例包含几个示例，说明如何在同时拆分 hpp/cpp 文件时做到这一点，确实可以减少编译时间：

于 2013-09-07T20:31:09.823 回答