Rust 1.57 प्रोग्रामिंग भाषा प्रकाशन

सिस्टम प्रोग्रामिंग लँग्वेज Rust 1.57 चे प्रकाशन, Mozilla प्रकल्पाद्वारे स्थापित, परंतु आता स्वतंत्र ना-नफा संस्था Rust Foundation च्या संरक्षणाखाली विकसित केले गेले आहे. भाषा मेमरी सुरक्षिततेवर लक्ष केंद्रित करते, स्वयंचलित मेमरी व्यवस्थापन प्रदान करते आणि कचरा संग्राहक किंवा रनटाइम न वापरता उच्च कार्य समांतरता प्राप्त करण्याचे साधन प्रदान करते (रनटाइम मानक लायब्ररीच्या मूलभूत प्रारंभ आणि देखभाल करण्यासाठी कमी केला जातो).

रस्टचे ऑटोमॅटिक मेमरी मॅनेजमेंट पॉइंटरमध्ये फेरफार करताना त्रुटी दूर करते आणि लो-लेव्हल मेमरी मॅनिप्युलेशनमुळे उद्भवणाऱ्या समस्यांपासून संरक्षण करते, जसे की मेमरी रिजन मोकळे झाल्यानंतर त्यात प्रवेश करणे, नल पॉइंटर डिरेफरन्स, बफर ओव्हररन्स इ. लायब्ररी वितरीत करण्यासाठी, असेंबली सुनिश्चित करण्यासाठी आणि अवलंबित्व व्यवस्थापित करण्यासाठी, प्रकल्प कार्गो पॅकेज व्यवस्थापक विकसित करत आहे. crates.io रेपॉजिटरी होस्टिंग लायब्ररीसाठी समर्थित आहे.

मुख्य नवकल्पना:

• "पॅनिक!" मॅक्रोचा वापर स्थिर केला गेला आहे. संकलनादरम्यान तयार केलेल्या संदर्भांमध्ये, जसे की "const fn" घोषणा. याव्यतिरिक्त, "पॅनिक!" वापरण्याव्यतिरिक्त! const घोषणांमुळे "असेर्ट!" मॅक्रो वापरण्याची परवानगी मिळते. आणि काही इतर मानक लायब्ररी API. स्थिरीकरण अद्याप संपूर्ण स्वरूपन पायाभूत सुविधांना कव्हर करत नाही, म्हणून सध्याच्या स्वरूपात “पॅनिक!” मॅक्रो फक्त स्टॅटिक स्ट्रिंग्स (पॅनिक!("...")) किंवा प्रतिस्थापन करताना "&str" एकल इंटरपोलेटेड व्हॅल्यूसह वापरले जाऊ शकते (पॅनिक!("{}", a)), जे "{" बदलण्यापुरते मर्यादित असावे }" फॉरमॅटिंग स्पेसिफायर्स आणि इतर प्रकारांशिवाय. भविष्यात, स्थिर संदर्भातील मॅक्रोची लागूक्षमता वाढवली जाईल, परंतु स्थिरीकरण केलेल्या क्षमता संकलनाच्या टप्प्यावर आस्था तपासण्यासाठी आधीच पुरेशी आहेत: const _: () = assert!(std::mem::size_of:: () == 64); const _: () = assert!(std::mem::size_of:: () == 8);
• कार्गो पॅकेज मॅनेजर "देव", "रिलीज", "टेस्ट" आणि "बेंच" पर्यंत मर्यादित नसून, अनियंत्रित नावांसह प्रोफाइल वापरण्याची परवानगी देतो. उदाहरणार्थ, लिंकिंग स्टेजवर (LTO) ऑप्टिमायझेशन सक्षम करण्यासाठी जेव्हा अंतिम उत्पादन असेंब्ली व्युत्पन्न केले जातात, तेव्हा तुम्ही Cargo.toml मध्ये “उत्पादन” प्रोफाइल तयार करू शकता आणि त्यात “lto = true” ध्वज जोडू शकता. तथापि, तुमची स्वतःची प्रोफाइल परिभाषित करताना, तुम्ही त्यापासून डीफॉल्ट सेटिंग्ज इनहेरिट करण्यासाठी विद्यमान प्रोफाइल निर्दिष्ट करणे आवश्यक आहे. खालील उदाहरण एक "उत्पादन" प्रोफाइल तयार करते जे "lto = true" ध्वज समाविष्ट करून "रिलीझ" प्रोफाइलला पूरक आहे. प्रोफाइल स्वतः "--प्रोफाइल उत्पादन" पर्यायासह कार्गो कॉल करून सक्रिय केले जाते आणि असेंबली आर्टिफॅक्ट्स "लक्ष्य/उत्पादन" निर्देशिकेत ठेवल्या जातील. [profile.production] inherits = "रिलीज" lto = खरे
• Vec, String, HashMap, HashSet आणि VecDeque प्रकारांसाठी try_reserve चा वापर स्थिर केला गेला आहे, ज्यामुळे तुम्हाला मेमरी वाटप ऑपरेशन्सची वारंवारता कमी करण्यासाठी आणि टाळण्यासाठी दिलेल्या प्रकारच्या घटकांच्या विशिष्ट संख्येसाठी जागा राखून ठेवता येते. मेमरीच्या कमतरतेमुळे ऑपरेशन दरम्यान क्रॅश.
• "m!{ .. }.method()" आणि "m!{ .. }?" सारख्या अभिव्यक्तींमध्ये कर्ली ब्रेसेससह मॅक्रो निर्दिष्ट करण्याची परवानगी आहे.
• फाइल::read_to_end आणि read_to_string फंक्शन्सची अंमलबजावणी ऑप्टिमाइझ केली गेली आहे.
• युनिकोड तपशीलासाठी समर्थन आवृत्ती 14.0 वर अद्यतनित केले गेले आहे.
• रिटर्न व्हॅल्यूकडे दुर्लक्ष केल्यास चेतावणी जारी करण्यासाठी "#[must_use]" चिन्हांकित केलेल्या फंक्शन्सची संख्या वाढवली, जे नवीन मूल्य परत करण्याऐवजी फंक्शन मूल्ये बदलेल असे गृहीत धरल्यामुळे झालेल्या त्रुटी ओळखण्यात मदत करते.
• libgccjit वापरून कोड निर्मितीसाठी प्रायोगिक बॅकएंड जोडले.
• API चा एक नवीन भाग स्थिर श्रेणीमध्ये हलविला गेला आहे, ज्यामध्ये पद्धती आणि गुणधर्मांची अंमलबजावणी स्थिर केली गेली आहे:
  • [ट; N]::as_mut_slice
  • [ट; N]:: as_slice
  • संग्रह::TryReserveError
  • HashMap::try_reserve
  • हॅशसेट::ट्राय_रिझर्व
  • String::try_reserve
  • String::try_reserve_exact
  • Vec::try_reserve
  • Vec::try_reserve_exact
  • VecDeque::try_reserve
  • VecDeque::try_reserve_exact
  • इटरेटर::map_while
  • iter::MapWhile
  • proc_macro::is_available
  • कमांड::गेट_प्रोग्राम
  • आदेश::get_args
  • आदेश::get_envs
  • आदेश::get_current_dir
  • CommandArgs
  • CommandEnvs
• "const" विशेषता, जी स्थिरांकांऐवजी कोणत्याही संदर्भात वापरली जाऊ शकते की नाही हे निर्धारित करते, फंक्शन hint::unreachable_unchecked मध्ये वापरली जाते.
• समर्थनाचा तिसरा स्तर armv6k-nintendo-3ds, armv7-unknown-linux-uclibceabihf, m68k-unknown-linux-gnu, aarch64-kmc-solid_asp3, armv7a-kmc-solid_asp3-eabi-एबी-एबी-एबी-एबी-एबी-एबी-एबी-एएसपी7-एएसपी3-एएसपीXNUMX-एएसपीXNUMX-एएसपी-XNUMX-एबी-एबी-एबी-एबी-एबी-एएबी-एएसपीXNUMX-एएसपीXNUMX, एमXNUMXके-अज्ञात-लिनक्स-ग्नू, एमXNUMXके-अज्ञात-लिनक्स-जीएनयूसाठी लागू केला गेला आहे. solid_aspXNUMX-eabihf प्लॅटफॉर्म. तिसऱ्या स्तरामध्ये मूलभूत समर्थन समाविष्ट आहे, परंतु स्वयंचलित चाचणीशिवाय, अधिकृत बिल्ड प्रकाशित करणे किंवा कोड तयार केला जाऊ शकतो की नाही हे तपासणे.

स्त्रोत: opennet.ru