Menerapkan Pola Pengunjung untuk Pohon Sintaks Abstrak


23

Saya sedang dalam proses membuat bahasa pemrograman saya sendiri, yang saya lakukan untuk tujuan belajar. Saya sudah menulis lexer dan parser keturunan rekursif untuk subset dari bahasa saya (saya saat ini mendukung ekspresi matematika, seperti + - * /dan kurung). Pengurai memberikan saya kembali Pohon Sintaks Abstrak, di mana saya memanggil Evaluatemetode untuk mendapatkan hasil dari ekspresi. Semuanya bekerja dengan baik. Inilah kira-kira situasi saya saat ini (Contoh kode dalam C #, meskipun ini cukup banyak bahasa-agnostik):

public abstract class Node
{
    public abstract Double Evaluate();
}

public class OperationNode : Node
{
    public Node Left { get; set; }
    private String Operator { get; set; }
    private Node Right { get; set; }

    public Double Evaluate()
    {
        if (Operator == "+")
            return Left.Evaluate() + Right.Evaluate();

        //Same logic for the other operators
    }
}

public class NumberNode : Node
{
    public Double Value { get; set; }

    public Double Evaluate()
    {
        return Value;
    }
}

Namun, saya ingin memisahkan algoritma dari node pohon karena saya ingin menerapkan Prinsip Terbuka / Tertutup jadi saya tidak perlu membuka kembali setiap kelas simpul ketika saya ingin mengimplementasikan pembuatan kode misalnya. Saya membaca bahwa Pola Pengunjung baik untuk itu. Saya memiliki pemahaman yang baik tentang bagaimana pola bekerja dan menggunakan pengiriman ganda adalah cara untuk pergi. Tetapi karena sifat rekursif pohon itu, saya tidak yakin bagaimana saya harus mendekatinya. Di sini akan terlihat seperti apa Pengunjung saya:

public class AstEvaluationVisitor
{
    public void VisitOperation(OperationNode node)
    {
        // Here is where I operate on the operation node.
        // How do I implement this method?
        // OperationNode has two child nodes, which may have other children
        // How do I work the Visitor Pattern around a recursive structure?

        // Should I access children nodes here and call their Accept method so they get visited? 
        // Or should their Accept method be called from their parent's Accept?
    }

    // Other Visit implementation by Node type
}

Jadi ini masalah saya. Saya ingin segera mengatasinya sementara bahasa saya tidak mendukung banyak fungsi untuk menghindari masalah yang lebih besar nantinya.

Saya tidak memposting ini ke StackOverflow karena saya tidak ingin Anda memberikan implementasi. Saya hanya ingin Anda berbagi ide dan konsep yang mungkin saya lewatkan, dan bagaimana saya harus mendekati ini.


1
Saya mungkin akan menerapkan lipat pohon
jk.

@ jk .: Apakah Anda keberatan sedikit menguraikan?
marco-fiset

Jawaban:


10

Terserah implementasi pengunjung untuk memutuskan apakah akan mengunjungi node anak dan dalam urutan apa. Itulah inti dari pola pengunjung.

Untuk menyesuaikan pengunjung dengan lebih banyak situasi, sangat membantu (dan sangat umum) untuk menggunakan obat generik seperti ini (ini Java):

public interface ExpressionNodeVisitor<R, P> {
    R visitNumber(NumberNode number, P p);
    R visitBinary(BinaryNode expression, P p);
    // ...
}

Dan sebuah acceptmetode akan terlihat seperti ini:

public interface ExpressionNode extends Node {
    <R, P> R accept(ExpressionNodeVisitor<R, P> visitor, P p);
    // ...
}

Ini memungkinkan untuk memberikan parameter tambahan kepada pengunjung dan mengambil hasil darinya. Jadi, evaluasi ekspresi dapat diimplementasikan seperti ini:

public class EvaluatingVisitor
    implements ExpressionNodeVisitor<Double, Void> {
    public Double visitNumber(NumberNode number, Void p) {
        // Parse the number and return it.
        return Double.valueOf(number.getText());
    }
    public Double visitBinary(BinaryNode binary, Void p) {
        switch (binary.getOperator()) {
        case '+':
            return binary.getLeftOperand().accept(this, p)
                + binary.getRightOperand().accept(this, p);
        // More cases for other operators here.
        }
    }
}

The acceptparameter metode tidak digunakan dalam contoh di atas, tetapi hanya percayalah: itu cukup berguna untuk memiliki satu. Misalnya, ini bisa menjadi contoh Logger untuk melaporkan kesalahan.


Saya akhirnya mengimplementasikan sesuatu yang serupa dan saya sangat puas dengan hasilnya sejauh ini. Terima kasih!
marco-fiset

6

Saya telah menerapkan pola pengunjung pada pohon rekursif sebelumnya.

Struktur data rekursif khusus saya sangat sederhana - hanya tiga jenis simpul: simpul generik, simpul internal yang memiliki anak, dan simpul daun yang memiliki data. Ini jauh lebih sederhana dari yang saya perkirakan AST Anda, tetapi mungkin idenya dapat meningkat.

Dalam kasus saya, saya sengaja tidak membiarkan Terima node dengan anak-anak memanggil Terima pada anak-anaknya, atau untuk memanggil pengunjung. Kunjungi (anak) dari dalam Terima. Merupakan tanggung jawab implementasi anggota "Kunjungan" yang benar dari pengunjung untuk mendelegasikan Terima kepada anak-anak dari simpul yang dikunjungi. Saya memilih cara ini karena saya ingin mengizinkan implementasi Pengunjung yang berbeda untuk dapat memutuskan urutan kunjungan secara independen dari representasi pohon.

Manfaat kedua adalah hampir tidak ada artefak dari pola Pengunjung di dalam simpul pohon saya - masing-masing "Terima" hanya memanggil "Kunjungi" pada pengunjung dengan jenis beton yang benar. Ini membuatnya lebih mudah untuk menemukan dan memahami logika kunjungan, semuanya ada di dalam implementasi pengunjung.

Untuk lebih jelasnya saya telah menambahkan beberapa C ++ - pseudocode ish. Pertama node:

class INode {
  public:
    virtual void Accept(IVisitor& i_visitor) = 0;
};

class NodeWithChildren : public INode {
  public:
     virtual void Accept(IVisitor& i_visitor) override {
        i_visitor.Visit(*this);
     }
     // Plus interface for getting the children, exercise for the reader ;-)
 };

 class LeafNode : public INode {
   public:
     virtual void Accept(IVisitor& i_visitor) override {
       i_visitor.Visit(*this);
     }
 };

Dan pengunjung:

class IVisitor {
  public:
     virtual void Visit(NodeWithChildren& i_node) = 0;
     virtual void Visit(LeafNode& i_node) = 0;
};

class ConcreteVisitor : public IVisitor
  public:
     virtual void Visit(NodeWithChildren& i_node) override {
       // Do something useful, then...
       for(Node * p_child : i_node) {
         child->Accept(*this);
       }
     }

     virtual void Visit(LeafNode& i_node) override {
        // Just do something useful, there are no children.
     }

};

1
+1 untuk allow different Visitor implementations to be able to decide the order of visitation. Ide yang sangat bagus.
marco-fiset

@ marco-fiset Algoritma (pengunjung) kemudian harus mengetahui bagaimana data (node) disusun. Ini akan memecah algoritma-data separasi yang diberikan oleh pola pengunjung.
B Visschers

2
@BVisschers Pengunjung menerapkan fungsi untuk setiap jenis simpul, jadi ia tahu simpul mana yang beroperasi pada waktu tertentu. Itu tidak merusak apa pun.
marco-fiset

3

Anda mengerjakan pola pengunjung di sekitar struktur rekursif dengan cara yang sama Anda akan melakukan hal lain dengan struktur rekursif Anda: dengan mengunjungi node dalam struktur Anda secara rekursif.

public class OperationNode
{
    public int SomeProperty { get; set; }
    public List<OperationNode> Children { get; set; }
}

public static void VisitNode(OperationNode node)
{
    ... Visit this node

    foreach(var node in Children)
    {
         VisitNode(node);
    }
}

public static void VisitAllNodes()
{
    VisitNode(rootNode);
}

Ini bisa gagal untuk parser jika bahasa memiliki konstruksi yang sangat bersarang - mungkin diperlukan untuk mempertahankan tumpukan secara terpisah dari tumpukan panggilan bahasa.
Pete Kirkham

1
@PeteKirkham: Itu pasti pohon yang cukup dalam.
Robert Harvey

@PeteKirkham Apa maksudmu itu bisa gagal? Apakah maksud Anda semacam StackOverflowException atau konsep itu tidak akan skala dengan baik? Untuk saat ini saya tidak peduli dengan kinerja, saya hanya melakukan ini untuk bersenang-senang dan belajar.
marco-fiset

@ marco-fiset Ya, Anda mendapatkan pengecualian stack overflow jika Anda berkata, coba parsing file XML yang besar dan dalam dengan pengunjung. Anda akan lolos dengan itu untuk sebagian besar bahasa pemrograman.
Pete Kirkham
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.