Rust: हेक्साडेसिमल फ्लोट शाब्दिक के लिए समर्थन जोड़ें

मैंने इस मुद्दे के साथ खेला है और निष्कर्ष निकाला है कि यह दुर्भाग्य से #1306 मुद्दे को पुनर्जीवित करता है। वर्तमान लेक्सर इसके कारण . बाद किसी भी अल्फा वर्ण को प्रतिबंधित करता है। जब पैटर्न 0x<digits>. पाया जाता है, तो हम उन्हें चुनिंदा रूप से अनुमति दे सकते हैं, लेकिन यह बहुत असंगत लगता है और अगर हम एक असंगति को दूर करना चाहते हैं तो अनंत लुकहेड की आवश्यकता हो सकती है।

मेरा सुझाव है कि बिंदु के बाद अंक या 0x या 0b की आवश्यकता है। यह टकराव से बचा जाता है और (उत्सुकता से) यदि आप चुनते हैं तो आपको मूलांक मध्य-शाब्दिक स्विच करने देता है। और यह सी९९ के द्वारा आपको लिखे जाने की तुलना में थोड़ा ही कुरूप है।

@graydon या हमें डॉट के बाद केवल शून्य की आवश्यकता हो सकती है। (उदाहरण के लिए 0x1fffffffffffff.0p+972_f64 बजाय 0x1.fffffffffffffp+1023_f64 )

मुझे विश्वास नहीं है कि यह पिछड़ा असंगत है, पुनर्नामांकन।

फीचर-पूर्ण मील के पत्थर के लिए स्वीकार किया गया

2013-07-15 से ट्राइएज डेटिंग के लिए दौरा किया। क्या हम वास्तव में यहाँ एक वाक्य रचना पर बस गए हैं? ऐसा लगता है कि यह एक नए योगदानकर्ता के लिए एक अच्छा आसान काम हो सकता है _if_ हम उन्हें वाक्य रचना के लिए एक स्पष्ट विनिर्देश सौंप सकते हैं; लेकिन अगर वाक्य रचना अभी भी डिजाइन चरण में है, तो वह दावा कम सच है।

मुझे लगता है कि हमने वाक्य-विन्यास को काफी प्रभावित नहीं किया है, लेकिन मुझे यह बताना चाहिए कि प्रत्ययों से टकराने से बचना आवश्यक होगा (जिनमें से कुछ f से शुरू होते हैं, एक हेक्स अंक), इसलिए मुझे लगता है कि अगर हम ऐसा करते हैं तो इसे केवल काम करना चाहिए मंटिसा को निर्दिष्ट करना, और केवल तभी जब एक पूर्ण घातांक (दशमलव में) के साथ संयुक्त हो।

इस पर अभी अमल होना बाकी है।

1.0 . नहीं

सी गणित पुस्तकालयों के बीच हेक्साडेसिमल फ्लोट काफी लोकप्रिय हैं। और मैं उन्हें रस्ट में भी इस्तेमाल करना पसंद करूंगा।

मैं देखता हूं कि हेक्साडेसिमल फ्लोट को विस्तार के रूप में जंग में लागू किया गया है, फिर एक अलग क्रेट में ले जाया गया है और अब यह rust-deprecated और रात के जंग के साथ संकलित करने में विफल रहता है।

इस फीचर का भविष्य क्या है?

इसमें भी दिलचस्पी है। मैं एक खेल के लिए एक पुन: चलाने योग्य भौतिकी प्रणाली को लागू करना चाहता हूं, जिसके लिए कंप्यूटर पर लगातार परिणाम की आवश्यकता होती है। हेक्स फ्लोट अक्षर मुझे परीक्षण और स्थिरांक में बिट-सटीक फ़्लोटिंग-पॉइंट मान लिखने की अनुमति देगा।

कम से कम, एक बयान कि इस सुविधा को बहिष्कृत क्यों किया जा रहा है, इसकी सराहना की जाएगी, क्योंकि यह धागा पहला परिणाम है जो मुझे "जंग हेक्स फ्लोट शाब्दिक" के लिए मिलता है।

फिलहाल स्थिति थोड़ी विकट है। प्रक्रियात्मक मैक्रोज़ में अभी सुधार हो रहा है (#38356), और इसलिए ऐसा होने पर hexfloat अप-टू-डेट रखना कम से कम समय की बर्बादी होगी। लेकिन मुझे नहीं पता कि उसके बाद की कहानी क्या होगी।

अगर मेरी समझ सही है, तो सी/सी++ में हेक्साडेसिमल फ्लोट्स हैं क्योंकि दशमलव फ्लोट्स को सही ढंग से गोल करने की गारंटी नहीं है [1]। जंग में, हालांकि, #२७३०७--- के बाद मुझे संदेह है कि यह जरूरी नहीं कि जानबूझकर किया गया हो!--- लगभग सभी दशमलव फ़्लोट्स (#३१४०७ किनारे के मामलों का वर्णन करता है जो व्यावहारिक रूप से अप्रासंगिक हैं) को निकटतम तक गोल करना चाहिए, ताकि आप बस रस्ट दे सकें भिन्नात्मक अंकों की एक उपयुक्त संख्या (मान लीजिए, 30) और सही गोल संख्या प्राप्त करेगा। यह अभी के लिए एक "व्यावहारिक" उत्तर होगा।

एक चीज जिसके लिए मुझे अभी भी लगता है कि हेक्साडेसिमल फ्लोट प्रासंगिक हैं, सी/सी ++ से रूपांतरण है। आप सभी हेक्साडेसिमल फ़्लोट्स को स्वयं दशमलव में कनवर्ट नहीं करना चाहेंगे :) मैंने हाल ही में एक प्रयोगात्मक प्रक्रियात्मक मैक्रो लिखा है जो ठीक यही करता है, हेक्साडेसिमल फ़्लोट्स को दशमलव फ़्लोट्स में परिवर्तित करता है (जिसे rustc समझ सकता है), लेकिन एक को रिलीज़ करने के लिए अनिच्छुक था क्योंकि यथास्थिति की वास्तव में अब तक गारंटी नहीं थी --- मेरी राय में यह एक शुद्ध भाग्य है। यदि केवल कॉन्स्टैक्स से सटीक बिट पैटर्न के साथ एक फ्लोट बनाने का कोई तरीका है तो मैं इसे अनुकूलित कर दूंगा।

[१] उदाहरण के लिए, आईएसओ सी९९ के लिए केवल यह आवश्यक है कि दशमलव फ़्लोट्स को ± १.५ ulps के भीतर एक प्रतिनिधित्व योग्य संख्या में परिवर्तित किया जाना चाहिए ("परिणाम या तो निकटतम प्रतिनिधित्व योग्य मूल्य है, या निकटतम प्रतिनिधित्व योग्य मूल्य के निकट बड़ा या छोटा प्रतिनिधित्व योग्य मूल्य है" )

@lifthrasiir , जल्दी या बाद में मैं ठीक करना चाहता हूं https://github.com/jameysharp/corrode/issues/73 सी हेक्स फ्लोट्स को रस्ट में सही ढंग से अनुवाद करके, इसलिए मैं आपकी टिप्पणी को बेहतर ढंग से समझना चाहता हूं। मैंने अभी तक यहाँ क्या शामिल है यह समझने के लिए फ़्लोटिंग-पॉइंट मुद्दों पर पर्याप्त पठन नहीं किया है।

क्या आप कह रहे हैं कि, मॉडुलो रस्ट कंपाइलर बग, प्रत्येक हेक्स-फ्लोट शाब्दिक को दशमलव फ्लोट शाब्दिक में परिवर्तित किया जा सकता है कि रस्ट कंपाइलर उसी बिट-पैटर्न में परिवर्तित हो जाएगा? यदि ऐसा है, तो मुझे खुशी होगी कि कोरोड ने वह रूपांतरण किया। क्या आप उस रूपांतरण को सही ढंग से करने के लिए एक एल्गोरिदम के लिए मुझे एक संदर्भ की सिफारिश कर सकते हैं? (आपके प्रक्रियात्मक मैक्रो के लिए एक सूचक बहुत अच्छा होगा, लेकिन आदर्श रूप से मैं भी उद्धृत करने के लिए एक पेपर या पुस्तक लेना चाहता हूं।)

उस ने कहा, मैं हेक्स फ्लोट के सटीक दशमलव संस्करण को इकट्ठा करता हूं, इसमें काफी अधिक अंक (दाएं?) . यदि इन नंबरों के लिए हेक्स फ्लोट मानव-पसंदीदा रूप हैं, तो मैं तर्क दूंगा कि जंग को उनका समर्थन करना चाहिए। तो आईएमओ, हेक्स फ्लोट्स का उपयोग करने वाले लोगों से अधिक प्रतिक्रिया यहां मदद करेगी।

क्या आप कह रहे हैं कि, मॉडुलो रस्ट कंपाइलर बग, प्रत्येक हेक्स-फ्लोट शाब्दिक को दशमलव फ्लोट शाब्दिक में परिवर्तित किया जा सकता है कि रस्ट कंपाइलर उसी बिट-पैटर्न में परिवर्तित हो जाएगा?

मेरा विश्वास हाँ है।

क्या आप उस रूपांतरण को सही ढंग से करने के लिए एक एल्गोरिदम के लिए मुझे एक संदर्भ की सिफारिश कर सकते हैं?

आपको इसे लागू करने की आवश्यकता नहीं है, क्योंकि वर्तमान जंग संकलक और मानक पुस्तकालय सभी आवश्यक एल्गोरिदम लागू करता है (जो कठिन है :-)। यदि आपको वास्तव में संदर्भों की आवश्यकता है तो निम्नलिखित देखें:

• बाइनरी से दशमलव में रूपांतरण ("flt2dec", #24612) [Dragon4] और [Grisu3] का एक संकर है।

  • [ड्रैगन ४]: बर्गर, आरजी और डायबविग, आरके १९९६। फ्लोटिंग-पॉइंट नंबरों को जल्दी और सटीक रूप से प्रिंट करना। सिगप्लान नहीं। 31, 5 (मई। 1996), 108-116।
  • [ग्रिसु३]: फ्लोरियन लोइट्सच। 2010. पूर्णांकों के साथ फ्लोटिंग-पॉइंट नंबरों को जल्दी और सटीक रूप से प्रिंट करना। सिगप्लान नहीं। 45, 6 (जून 2010), 233-243।

• दशमलव से बाइनरी में रूपांतरण ("dec2flt", #27307) [क्लिंगर] द्वारा वर्णित कुछ एल्गोरिदम हैं। (मैंने उन्हें स्वयं लागू नहीं किया है, इसलिए उनके लिए मेरा ज्ञान सीमित है।)

  • [क्लिंजर]: विलियम डी. क्लिंजर। 1990. फ्लोटिंग पॉइंट नंबरों को सही तरीके से कैसे पढ़ा जाए। सिगप्लान नहीं। २५, ६ (जून १९९०), ९२-१०१।

रिकॉर्ड के लिए, मेरा कार्यान्वयन लिफ्टथ्रैसिर/हेक्सफ है (अभी प्रकाशित हुआ है, अभी तक crates.io में नहीं)। लेने के लिए स्वतंत्र महसूस करें।

उस ने कहा, मैं एक हेक्स फ्लोट के सटीक दशमलव संस्करण को इकट्ठा करता हूं, इसमें काफी अधिक अंक (दाएं?) . [...]

बिल्कुल नहीं, उदाहरण के लिए, 0x1.999999999999bp-4 = 0.10000000000000002 । मेरी इस बात पर कोई राय नहीं है कि रस्ट को हेक्स फ्लोट्स का समर्थन करना चाहिए या नहीं।

मैंने अब औपचारिक रूप से hexf को crates.io पर प्रकाशित कर @jameysharp , मुझे लगता है कि आप शायद अपने काम के लिए हेक्सफ-पार्स का उपयोग कर सकते हैं? (अंडरस्कोर के बिना सिंटैक्स लगभग समान होना चाहिए C99 hexadecimal-floating-constant गैर-टर्मिनल बिना वैकल्पिक floating-suffix ।)

संपादित करें: आर्ग मुझे एक मामला याद आया। 0x1p1 मान्य होना चाहिए लेकिन hexf इसे नहीं पहचानता है; हालांकि, इसका हिसाब देना शायद आसान है।

मेरे लिए भी इसी तरह का उपयोग-मामला; मैं फ्लोट अक्षर के लिए परिशुद्धता के नुकसान के बिना, एक कंपाइलर से जंग कोड उत्पन्न करने में सक्षम होना चाहता हूं।