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

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

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

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

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

• פורמט ההודעות שהונפקו על ידי מטפל ברירת המחדל של התוכנית (פאניקה) עוצב מחדש. הטקסט שצוין במאקרו "פאניקה!" מוצג כעת בשורה נפרדת ללא מרכאות, מה שמקל על הקריאה של ההודעה ומבטל בלבול כאשר מרכאות מקוננות קיימות או מפוצלות על פני מספר שורות. fn main() { let file = "ferris.txt"; פאניקה!("הו לא! {קובץ:?} לא נמצא!"); } היה שרשור 'ראשי' בפאניקה ב'אוי לא! "ferris.txt" לא נמצא!', src/main.rs:3:5 השרשור 'ראשי' נכנס לפאניקה ב-src/main.rs:3:5: הו לא! "ferris.txt" לא נמצא!

  הפלט של ההודעות המוצגות כאשר פקודות המאקרו "assert_eq" ו-"assert_ne" מופעלות גם עובד מחדש. fn main() { assert_eq!("🦀", "🐟", "פריס זה לא דג"); } היה שרשור 'ראשי' בפאניקה ב-'assertion failed: `(left == right)` left: `"🦀"`, right: `"🐟"`: ferris is not a fish', src/main.rs: 2:5 השרשור 'ראשי' נכנס לפאניקה ב-src/main.rs:2:5: הטענה `שמאל == ימין` נכשלה: פריס זה לא דג שמאלה: "🦀" מימין: "🐟"

• בהתאם ל-RFC 3184, נוספה היכולת לבצע מניפולציה ישירה של מפתחות אחסון מקומיים (thread_local) של LocalKey > ו-LocalKey > באמצעות שימוש בשיטות get(), set(), take() ו-replace(), במקום שימוש בסגירה "with(|inner| ...)", מה שמבטל את הצורך בקוד אתחול נוסף עבור ברירת המחדל ערכים שצוינו עבור שרשורים חדשים בעת שימוש במאקרו "thread_local!" thread_local! { דברים סטטיים: תא > = Cell::new(Vec::new()); } fn f() { // was THINGS.with(|i| i.set(vec![32, 1, 2])); // הפך ל-THINGS.set(vec![3, 1, 2]); // ... // היה נתן v = THINGS.with(|i| i.take()); // הפך לתת v: Vec = THINGS.take(); }
• חלק חדש של ה-API הועבר לקטגוריה של יציב, כולל השיטות והיישום של תכונות התייצבו:
  • לא חתום {integer}::div_ceil
  • לא חתום {integer}::next_multiple_of
  • לא חתום {integer}::checked_next_multiple_of
  • std::ffi::FromBytesUntilNulError
  • std::os::unix::fs::chown
  • std::os::unix::fs::fchown
  • std::os::unix::fs::lfchown
  • LocalKey:: >::קבל
  • LocalKey:: >::סט
  • LocalKey:: >::קח
  • LocalKey:: >:: להחליף
  • LocalKey:: >::with_borrow
  • LocalKey:: >::with_borrow_mut
  • LocalKey:: >::סט
  • LocalKey:: >::קח
  • LocalKey:: >:: להחליף
• התכונה "const", הקובעת את האפשרות להשתמש בה בכל הקשר במקום בקבועים, משמשת בפונקציות:
  • rc::חלש::חדש
  • sync::Weak::new
  • NonNull::as_ref
• המהדר מספק הקלטה של ​​מידע גרסה בסעיף ".comment", בדומה ל-GCC ו-Clang.
• רמת התמיכה השלישית יושמה עבור הפלטפורמות aarch64-unknown-teeos, csky-unknown-linux-gnuabiv2, riscv64-linux-android, riscv64gc-unknown-hermit, x86_64-unikraft-linux-musl ו-x86_64-unknown-linux -אוהס. הרמה השלישית כוללת תמיכה בסיסית, אך ללא בדיקות אוטומטיות, פרסום בונים רשמיים או בדיקה אם ניתן לבנות את הקוד.
• הרמה השנייה של תמיכה בפלטפורמת היעד wasm32-wasi-preview1-threads יושמה. רמת התמיכה השנייה כרוכה בערבות הרכבה.

מקור: OpenNet.ru