Bagaimanakah kita boleh menghuraikan ungkapan Boolean dalam C menggunakan Boost.Spirit untuk mencipta struktur pokok, menghormati keutamaan pengendali?

Menghuraikan Ungkapan Boolean dalam C

Pengenalan

Kami menyasarkan untuk mencipta penghurai yang mengubah ungkapan boolean kepada struktur pokok, menghormati peraturan keutamaan operator (bukan, dan, xor, atau).

Tokenisasi

Untuk bermula, kami akan mentakrifkan ungkapan biasa untuk memadankan token yang berbeza dalam ungkapan:

• Pembolehubah: Urutan satu atau lebih aksara abjad
• Pengendali: "dan", "atau", "xor", "bukan"
• Kurungan: "(" dan ")"

using namespace boost::spirit::qi;
typedef std::string var;
qi::rule<:string::const_iterator var qi::space_type> var_ = qi::lexeme[+alpha];
qi::rule<:string::const_iterator std::string qi::space_type> operator_ = 
    keywords("and" | "or" | "xor" | "not");
qi::rule<:string::const_iterator char qi::space_type> parenthesis_ = qi::char_("()[]");</:string::const_iterator></:string::const_iterator></:string::const_iterator>

Peraturan Tatabahasa

Kemudian, kami mentakrifkan peraturan tatabahasa untuk digabungkan token:

• Ungkapan: Bermula dengan sama ada ungkapan dalam kurungan, pembolehubah atau "tidak" diikuti dengan ungkapan
• Sub-ungkapan: Ikut peraturan keutamaan (bukan, dan, xor, atau)

qi::rule<:string::const_iterator expr qi::space_type> expression_ = (
    '(' >> expression_ >> ')'
) | var_ | operator_ >> expression_;

qi::rule<:string::const_iterator expr qi::space_type> sub_expression_ = 
    expression_ >> *operator_ >> expression_;</:string::const_iterator></:string::const_iterator>

Menghuraikan

Untuk menghuraikan ungkapan, kami menggunakan fungsi boost::spirit phrase_parse, yang cuba memadankan keseluruhan rentetan input dengan peraturan tatabahasa.

std::string input = "(a and b) xor (c and d)";
auto it = input.begin();
auto end = input.end();
expr parsed_expression;

bool success = phrase_parse(it, end, expression_, qi::space, parsed_expression);

if (success && it == end) {
    std::cout <h3 id="Membina-Pokok">Membina Pokok</h3><p>Setelah ungkapan dihuraikan, kita boleh membina pokok itu struktur. Berikut ialah contoh pelaksanaan:</p><pre class="brush:php;toolbar:false">typedef std::vector<expr> expr_set;
expr_set nodes;

void create_node(const expr& sub_expr) {
    if (sub_expr.is<:string>()) {
        nodes.push_back(sub_expr.get<:string>());
    } else {
        nodes.push_back(expr_set{sub_expr.get<expr_set>()});
    }
}

void build_tree(const expr& root) {
    if (root.is<:string>()) {
        nodes.push_back(root.get<:string>());
    } else {
        expr_set sub_expressions = root.get<expr_set>();
        for (const auto& sub_expr : sub_expressions) {
            create_node(sub_expr);
        }
    }
}</expr_set></:string></:string></expr_set></:string></:string></expr>

Contoh Penggunaan

input = "(a and b) xor (c and d)";
it = input.begin();
end = input.end();

if (phrase_parse(it, end, expression_, qi::space, parsed_expression)) {
    std::cout <p>Output:</p><pre class="brush:php;toolbar:false">(
a
and
b
)
xor
(
c
and
d
)

Atas ialah kandungan terperinci Bagaimanakah kita boleh menghuraikan ungkapan Boolean dalam C menggunakan Boost.Spirit untuk mencipta struktur pokok, menghormati keutamaan pengendali?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!