रैगेल स्टेट मशीन कंपाइलर का मजेदार उपयोग इंट आर्जीसी, चार * आरजीवी [] पर एक लाइन पार्सिंग फ़ंक्शन बनाने के लिए।

यह सब इस तथ्य के साथ शुरू हुआ कि बाद के हस्तांतरण के लिए स्ट्रिंग को पार्स करने के लिए बिल्डगर्ग फ़ंक्शन की आवश्यकता थी

int main (int argc, char *argv[]) { body } 

मैंने सोचा, यह नहीं हो सकता है कि कहीं भी उधार लेना असंभव था, अब हम पाते हैं ... और मुझे नहीं मिला ...

खैर, ऐसा नहीं है कि मुझे यह बिल्कुल नहीं मिला, उदाहरण के लिए, https://github.com/gcc-mirror/gcc/blob/master/libiberty/argv.c (GPLv2 हमेशा अच्छा होता है), मैं तुरंत ऐसे दायित्वों को स्वीकार करता हूं तैयार नहीं था। निश्चित रूप से बाश में ऐसा कार्य है (GPLv3 और भी बेहतर है)। zsh? - जाओ ढूंढो (मैंने पाया ... - मुझे नहीं चाहिए)।

सामान्य तौर पर, मुझे वह नहीं मिला जो मैं चाहता था, लेकिन मुझे वह नहीं मिला जैसा मैंने पाया। खैर, अंत में, मुझे इसका अधिकार है, सभी समान हैं, मैं इस प्रक्रिया में खुद को मनोरंजन की प्यास बनाता हूं।

मैं इस मामले को पारंपरिक रूप से शब्द से नहीं लिखना चाहता था, मैं इस आधार पर भी परेशान था।

सामान्य तौर पर, हम रगेल स्टेट मशीन कंपाइलर से मिलते हैं।

उपकरण

• जीसीसी;)
• ragel
• मेकअप
• lcov
• libcheck

इस परियोजना को यहां पाया जा सकता है: JOYFUL CMDLINE PARSER WRITTEN IN RAGEL

समस्या का बयान

इनपुट में, हमारे पास किसी भी प्रकार का एक स्ट्रिंग है, कार्य स्ट्रिंग से एक स्थान या टैब द्वारा अलग किए गए तर्कों की एक सरणी से प्राप्त करना है:

• बच चरित्र के बाद किसी भी चरित्र को नजरअंदाज किया जाना चाहिए।
• कोई भी वर्ण जो दो डबल्स के बीच या होना चाहिए
  एक तत्व माना जाता है
• अयोग्य ' या " मामले में, एक त्रुटि वापस आ जाएगी

सामान्य तौर पर, कई स्थितियां नहीं होती हैं। और रगेल इस कार्य के लिए काफी उपयुक्त है।

लागू किया गया समझाया

चलिए "buildargv" नाम के साथ एक मशीन की घोषणा करते हैं और रागेल को फ़ाइल की शुरुआत में अपने डेटा को रखने के लिए कहते हैं (5.8.1 डेटा लिखें)।

 %%{ machine buildargv; write data; }%% 

अगला, हम एक lineElement मशीन की घोषणा करते हैं, जिसमें बदले में (2.5.1 संघ) दो मशीनें शामिल होती हैं: arg और whitespace ।

 lineElement = arg >start_arg %end_arg | whitespace; main := blineElements**; 

arg मशीन के इनपुट और आउटपुट पर end_arg क्रमशः start_arg और end_arg कार्यों end_arg जाता है।

 action start_arg { argv_s = p; } action end_arg { nargv = (char**)realloc((*argv), (argc_ + 1)*sizeof(char*)); (*argv) = nargv; (*argv)[argc_] = strndup(argv_s, p - argv_s); argc_++; } 

इसके अलावा, start_arg कार्य इनपुट पर वर्ण की स्थिति को सुरक्षित रखता है, और arg मशीन से सफल निकास के मामले में, end_arg कार्य argv सरणी में end_arg नया तत्व end_arg ।

अब हम arg पर करीब से नज़र डालते हैं।

 arg = '\''> { fcall squote; } | '"'>{ fcall dquote; } | ( '\\'>{fcall skip;} | ^[ \t"'\\] )+; 

इसमें तीन मशीनों ' , " और ' (\ | ^[ \t"'\]) का समावेश होता है, बाद में क्रमशः क्रमशः ^[ \t"'\] और ^[ \t"'\] का एक संघ होता है।

जब हमें चरित्र squote , तो हम squote कहते हैं, ' हम कॉल करते हैं squote , या यदि वर्तमान वर्ण है \ skip कहते हैं, जो इसके बाद किसी भी वर्ण को skip देता है, और कोई भी वर्ण 0x20 (स्थान), 0x09 (टैब), ' , " या \ " को सही नहीं माना जाता है ।

यह एक बहुत छोटा हिस्सा है:

 skip := any @{ fret; }; dquote := ( '\\'>{ fcall skip; } | ^[\\] )+ :> ["] @{ fret; } @err(dquote_err); squote := ( '\\'>{ fcall skip; } | ^[\\] )+ :> ['] @{ fret; } @err(squote_err); 

skip साथ skip हमने पहले ही पता लगा लिया है कि ^['\\] भी क्या कारण नहीं होने चाहिए। और यहाँ :> यह Entry-Guarded Concatenation ( '\\'>{ fcall skip; } | ^['\\] )+ (4.2 गार्ड ऑपरेटर्स जो प्रायोरिटीज को ( '\\'>{ fcall skip; } | ^['\\] )+ ) इसका अर्थ यह है कि मशीन ( '\\'>{ fcall skip; } | ^['\\] )+ पूरा करने के बाद जब ["] प्रारंभिक अवस्था में लौटता है।

और अंत में, खुले उद्धरणों के साथ लाइन त्रुटि के अंत के मामले में, dquote_err और squote_err को इंगित करने और संबंधित त्रुटि कोड सेट करने के लिए squote_err है।

 action dquote_err { ret = -1; errsv = BUILDARGV_EDQUOTE; } action squote_err { ret = -1; errsv = BUILDARGV_ESQUOTE; } 

कोड पीढ़ी कमांड द्वारा किया जाता है:

 ragel -e -L -F0 -o buildargv.c buildargv.rl 

परीक्षण लाइनों की एक सूची test_cmdline.c में पाई जा सकती है।

निष्कर्ष

समस्या हल हो गई है।

क्या यह तेज था? मुझे इसमें संदेह है। अधिक स्पष्ट? यदि केवल आप रगेल के विशेषज्ञ हैं।

मैं निरंकुशता का ढोंग नहीं करता, रैगेल कोड पर रचनात्मक टिप्पणियों के लिए आभारी रहूंगा।

सामग्री सूची:

[^ 1]: एड्रियन थर्स्टन। रगेल स्टेट मशीन कंपाइलर ।