ओओपी

Question

में एस-एक्सप्रेशन को पार्स करने का सही तरीका मैं एक एस-एक्सप्रेशन रीडर (बाद में एक योजना दुभाषिया और एक कंपाइलर दोनों के साथ उपयोग करने के लिए) को लागू करने का एक तरीका ढूंढ रहा हूं, लेकिन मैं खुद से पूछ रहा हूं कि कैसे (अगर बिल्कुल) मुझे इसके लिए एएसटी लिखना चाहिए।

मैं एसआईसीपी पढ़ रहा हूं, और यह योजना के भीतर से काफी सरल है, लेकिन मैं ओओ फैशन में सी ++ में दुभाषिया और कंपाइलर को कार्यान्वित करना चाहता हूं।

कृपया ध्यान रखें कि मैं केवल सीखने के उद्देश्यों के लिए ऐसा कर रहा हूं, इसलिए मैं वास्तव में ऐसा करने का सबसे आसान या तेज़ तरीका नहीं ढूंढ रहा हूं, बल्कि इसे करने का सही और पुन: प्रयोज्य तरीका ढूंढ रहा हूं।

मैं कुछ योजना कार्यान्वयन है कि लोगों को पार्स एस भाव और आसानी से उत्पादन विपक्ष कोशिकाओं, कुछ इस तरह में देखा है:

struct Sexpr 
    { 
    }; 

    struct Cons : public Sexpr 
    { 
    Sexpr* left; 
    Sexpr* right; 
    }; 

    struct IntAtom : Sexpr 
    { 
    int value; 
    }; 

और एक साथ योजना Atom, या कुछ और के प्रत्येक प्रकार के लिए Sexpr के उपवर्ग उन पंक्तियों।

मुझे यकीन नहीं है, लेकिन यह मेरे लिए एक हैक जैसा लगता है ... क्या यह काम पाठक के बजाय दुभाषिया द्वारा नहीं किया जाना चाहिए?

मैं क्या जानना चाहता हूं कि यह एस-एक्सप्रेशन पढ़ने का सबसे अच्छा (या सही) तरीका माना जाता है, या यह पार्सर की तुलना में दुभाषिया का काम है? क्या पार्सर को विपक्षी कोशिकाओं पर भरोसा करने के बजाय अपना स्वयं का एएसटी होना चाहिए?

Answer 1

बाड़ की योजना/रैकेट की ओर से पालन करने के लिए , कम से कम) वे किस संदर्भ में बंधे हैं, वे किस स्रोत स्थान से आते हैं, कंपाइलर का क्या पास उन्हें सम्मिलित करता है, और कोई भी अन्य जानकारी जिसे आप स्टोर करना चाहते हैं (रैकेट में सीएफ। "वाक्यविन्यास गुण")।

यह अतिरिक्त जानकारी पॉइंटर्स से स्रोत, और स्वच्छ मैक्रोज़ के साथ त्रुटि संदेशों जैसी चीजों को सक्षम करती है।

कृपया ध्यान दें कि मेरा मतलब है कि "अधिक मूल्यों" अर्थ में "समृद्ध" है, न कि किसी भी गैर-मूल्य-तटस्थ तरीके से।

मुझे ट्यूरिंग टैर पिट में गिरने से पहले --- भी जोड़ना चाहिए --- कि आप इस को समान जानकारी का प्रतिनिधित्व कर सकते हैं; मानते हुए कि आपके पास सूचक तुलना है, संरचना के अंदर एक मूल्य डालने और मूल्य के साथ संरचना को जोड़ने के लिए तालिका का उपयोग करने के बीच कोई अभिव्यक्ति अंतर नहीं है।

Answer 2

आप अपने वाक्य रचना में कुछ हद तक पूरा होना चाहते हैं, तो आप

sexpr ::= atom | sexpr sexpr 
atom ::= nil | intatom | etc. 

का समर्थन करने की आवश्यकता होगी लेकिन वह अधिक सामान्य की तुलना में सबसे sexpr आपके सामने आ जाएगा। एस-एक्सप्रप्र का सबसे आसान और सबसे आम रूप जो एलआईएसपी/योजना में है (बी बी डी) जहां ए, बी, सी, डी परमाणु या सूचियां हैं। जोड़ी के रूप में यह [ए [बी [सी [डी नील]]]] है, जिसका अर्थ है कि आपके conses के सभी दाएं किनारे सूचियां हैं।

तो अगर आप सफाई के लिए जा रहे हैं, तो आप सिर्फ

class sexpr {}; 
class atom : sexpr {}; 
class s_list : forward_list<smart_ptr<sexpr>> {}; 

Answer 3

जबकि एक शायद आगे और पीछे का तर्क कर सकते हैं भर में क्या "सही" दृष्टिकोण है, मेरी राय, दृष्टिकोण आप में सुझाव है-का उपयोग कर कर सकता पढ़ने, संकलन, मूल्यांकन, और प्रसंस्करण के लिए समान डेटा संरचनाएं-वह है जो आपको लिस्प और "कोड डेटा" मंत्र के बारे में सबसे ज्यादा सिखाएगी, और विशेष रूप से, quote ऑपरेटर का वास्तव में क्या अर्थ है (जो काफी गहरी बात है)।

यह भी आकस्मिक रूप से, अधिकांश लिस्पस (दिलचस्प रूप से, योजना सहित नहीं) पारंपरिक रूप से काम करता है।

तो हाँ, पाठक लिस्प डेटा उत्पन्न करता है: conses, symbols, Lisp संख्या, तार, et cetera, उपयोगकर्ता स्तर के लिस्प कोड के साथ ठीक वही सामान होगा। यह शेष कार्यान्वयन को सरल और अधिक निर्देशक दोनों बना देगा। रैकेट में (

रैकेट (और कुछ अन्य योजना कार्यान्वयन) वाक्यविन्यास वस्तुओं के लिए एक अमीर प्रतिनिधित्व का उपयोग करें, ताकि वे उन्हें संलग्न गुण का संकेत हो सकता है:

Answer 4

आप इसे कैसे किया गया है इसके उदाहरण के लिए this c/c++ s-expr parser library पर एक नज़र डालना चाहेंगे।

यह आधार प्रतिनिधित्व की तरह लग रहा है:

struct elt { 
    int type; 
    char *val; 
    struct elt *list; 
    struct elt *next; 
}; 

और मैं उनके डॉक्स से बोली:

के बाद से एक तत्व या तो सूची या परमाणु हो सकता है, तत्व संरचना एक प्रकार सूचक है यह या तो सूची या VALUE हो सकता है। यदि प्रकार सूचक LIST है, तो संरचना सदस्य "सूची" इस तत्व द्वारा प्रतिनिधित्व सूची के शीर्ष पर एक सूचक होगा। यदि प्रकार सूचक VALUE है, तो संरचना सदस्य "वैल" में स्ट्रिंग के रूप में तत्व द्वारा प्रतिनिधित्व परमाणु होगा। दोनों मामलों में, "अगला" सूचक वर्तमान एस-अभिव्यक्ति के अगले तत्व पर इंगित करेगा।

अतिरिक्त here एस-एक्सप्रप्रड पाठकों के अन्य कार्यान्वयन की पूरी सूची है जो कि बहुत से भाषाओं में रुचि हो सकती है।