שחרור שפת תכנות Rust 1.51

פורסם שחרור שפת התכנות המערכתית Rust 1.51, שהוקמה על ידי פרויקט מוזילה, אך פותחה כעת בחסות העמותה העצמאית Rust Foundation. השפה מתמקדת בבטיחות זיכרון, מספקת ניהול זיכרון אוטומטי, ומספקת את האמצעים להשגת מקביליות משימות גבוהה ללא שימוש באספן אשפה או זמן ריצה (זמן הריצה מצטמצם לאתחול ותחזוקה בסיסיים של הספרייה הסטנדרטית).

ניהול הזיכרון האוטומטי של Rust מבטל שגיאות בעת מניפולציה של מצביעים ומגן מפני בעיות הנובעות ממניפולציה של זיכרון ברמה נמוכה, כגון גישה לאזור זיכרון לאחר שחרורו, הפניית מצביע אפסית, חריגות מאגר וכו'. כדי להפיץ ספריות, להבטיח הרכבה ולנהל תלות, הפרויקט מפתח את מנהל החבילות Cargo. מאגר crates.io נתמך לאירוח ספריות.

חידושים עיקריים:

• הפונקציונליות הקשורה לשימוש בגנריות קבועות קיבלה מעמד של מוצר מינימלי בר-קיימא (MVP), מה שנותן אור ירוק לשימוש נרחב. Const גנריות מאפשרות להכליל טיפוסים לערכים קבועים, כלומר. השתמש בארגומנטים גנריים המוגבלים לטווח של ערכים קבועים, לא סוגים או תקופות חיים. תכונה זו מאפשרת לך להשתמש בסוגים ובהפשטה עם פרמטרים שלמים בעת יצירת תכונות עבור מערכים בכל גודל מבלי ליצור סוג נפרד עבור כל טווח של ערכים חוקיים כדי להבטיח שאין התרחשויות מחוץ לתחום.

  החל מהגרסה הנוכחית, עבור מערכים עם סוג "[T; N]" (סוג T וגודל N) מספק את היכולת להפשט סוג וגודל באמצעות ערכים עם כל סוגי מספר שלם, בוליאני ותווים (סוגי struct ו-enum אינם נתמכים עדיין). גנריות קבועות מפשטות מאוד את פיתוח הספרייה; לדוגמה, כדי להשתמש במערך שאינו קשור לסוג וגודל ספציפיים, ניתן לציין: struct Array { // ^^^^^^^^^^^^^^^^^^^^ הגדרה של רשימה גנרית קבועה: [T; LENGTH] // ^^^^^^ השימוש שלו }

  כאשר נעשה בו שימוש בפועל עם ההגדרה הזו של "מערך » המהדר יפיק גרסה מונומורפית של Array: struct Array { רשימה: [u8; 32] }

• ה-std::array::IntoIter API, המבוסס על גנריות קבועות, יוצב, בעזרתו ניתן ליצור איטרטורים לפי ערך עבור כל מערך: fn main() { let array = [1, 2, 3, 4, 5] ; // בעבר, כדי לחזור על ערך, היית צריך לקרוא למתודה .iter() עבור פריט ב-array.iter().copied() { println!("{}", item); } // כעת אתה יכול לציין עבור פריט ב-std::array::IntoIter::new(array) { println!("{}", item); } }
• מנהל חבילות המטען תומך כעת בשדה פותר חדש ב-Cargo.toml, שבו ניתן להשתמש כדי להפעיל את הגרסה השנייה של פותר התכונות. הגרסה החדשה של המגדיר נמנעת משילוב של תכונות תלות המפורטות בסעיף "[תכונות]", כאשר היא אינה מתאימה, למשל, כאשר הכללת תלות המבקשת תכונה סטנדרטית כלשהי בסקריפטים ופקודות מאקרו, אך בעת שימוש בתכונה לא סטנדרטית. בקובץ ההפעלה שהתקבל.

  עד כה שולבו היכולות של חבילה שהוזכרה מספר פעמים בגרף התלות. לדוגמה, אם פרויקט כולל foo תלות שמגדיר את היכולות A ו-B, וחבילה זו משמשת בחבילות האחרות bar ו-baz, למרות ש-bar תלוי ב-foo עם תכונה A, ובאז תלוי ב-foo עם תכונה B, אז התוצאה תהיה cargo ישלב את התכונות הללו ויקמפל את foo עם תכונות A ו- B. שיטה זו עשויה לגרום לתכונה המאופשרת עקב תלות מסוימת שאינה תואמת למערכת היעד שעבורה נוצר ה-build המתקבל. לדוגמה, כאשר אתה רוצה להשתמש בגרסה של foo עם "#![no_std]" בקובץ הפעלה שנבנה עם "#![no_std]", ובמקביל להשתמש ב-foo עם "std" במהלך ה-build in. rs. כאשר מציינים את resolver="2" ב-Cargo.toml, מנהל החבילות ינסה לטפל כראוי בהתנגשות זו, תוך הפרדה בין תלות של מפתח, מארח ויעד.

• Cargo מיישמת את אפשרות הפיצול-debuginfo, המוגדרת בסעיף "[פרופיל]", ואת הדגל המתאים "-Csplit-debuginfo=unpacked" ב-rustc, ומציעה הטמעה של שיטה חדשה לשמירת מידע באגים, שמייתרת את הצורך קרא לכלי השירות dsymutil ומאיץ משמעותית את תהליך בניית התהליך עם מידע ניפוי באגים ב-macOS.
• makos מיוצב "ptr::addr_of!" ו-"ptr::addr_of_mut!", המאפשרים לך ליצור מצביעים גולמיים עבור שדות לא מיושרים. השתמש ב-std::ptr; #[repr(packed)] struct Packed { f1: u8, f2: u16, } let packed = Packed { f1: 1, f2: 2 }; // &packed.f2 ייצור מצביע לא מיושר המוביל להתנהגות לא מוגדרת let raw_f2 = ptr::addr_of!(packed.f2); assert_eq!(unsafe { raw_f2.read_unaligned() }, 2);
• חלק חדש של ה-API הועבר לקטגוריית היציבה, כולל השיטות הבאות התייצבו:
  • Arc::decrement_strong_count
  • Arc::increment_strong_count
  • Once::call_once_force
  • להצצה::next_if_eq
  • להצצה::next_if
  • Seek::stream_position
  • array::IntoIter
  • panic::panic_any
  • ptr::addr_of!
  • ptr::addr_of_mut!
  • פרוסה::fill_with
  • slice::split_inclusive_mut
  • פרוסה::split_inclusive
  • slice::strip_prefix
  • slice::strip_suffix
  • str::split_inclusive
  • sync::OnceState
  • משימה::התעורר
• רמת התמיכה השלישית יושמה עבור הפלטפורמות i386-unknown-linux-gnu, i486-unknown-linux-gnu, aarch64_be-unknown-linux-gnu, aarch64-unknown-linux-gnu_ilp32 ו-aarch64_be-unknown-linux-gnu_ilp32 . הרמה השלישית כוללת תמיכה בסיסית, אך ללא בדיקות אוטומטיות, פרסום בונים רשמיים או בדיקה אם ניתן לבנות את הקוד.

מקור: OpenNet.ru