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

יצא לאור שחרור שפת תכנות מערכת חלודה 1.44, שהוקמה על ידי פרויקט מוזילה. השפה מתמקדת בבטיחות זיכרון, מספקת ניהול זיכרון אוטומטי ומספקת כלים להשגת מקביליות גבוהה של משימות ללא שימוש באוסף אשפה זמן ריצה.

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

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

• מנהל חבילות המטען משלב את פקודת "עץ המטען", המציגה גרף תלות דמוי עץ. כמו כן, נוספה האפשרות "-duplicates" ("עץ מטען -d"), המאפשרת לך להעריך תלות בגרסאות שונות של אותה חבילה.

  mdbook v0.3.2 (/Users/src/rust/mdbook)
  ├── אמוניה v3.0.0
  │ ├── html5ever v0.24.0
  │ │ ├── יומן v0.4.8
  │ │ │ └── cfg-if v0.1.9
  │ │ ├── mac v0.1.1
  │ │ └── markup5ever v0.9.0
  │ │ ├── יומן v0.4.8 (*)
  │ │ ├── phf v0.7.24
  │ │ │ └── phf_shared v0.7.24
  │ │ │ ├── siphasher v0.2.3
  │ │ │ └── unicase v1.4.2
  │ │ │ [תלות בבנייה] │ │ │ └── version_check v0.1.5
  ...

• עבור יישומים שאינם קשורים ל-std ("#![no_std]"), תמיכה בטכניקות תכנות אסינכרוני מיושמת בהתבסס על פונקציית ה-"async", הבלוק ה-async move { ... } ואופרטור ".await", אשר פשט את הכתיבה של מטפלים שאינם חוסמים את זרימת הפקודה הראשית.
• תמיכה בסכימת הגדרת היררכיית מודול הניתנת להרחבה נוספה למנתח. לדוגמה, המבנה הבא לא יפיק שגיאה, למרות היעדר בפועל של המודול "foo/bar/baz.rs" (המבנה עדיין לא חוקי מבחינה סמנטית ועלול לגרום לשגיאה, אך ניתן לראות ולנתח את השינויים ב- רמת המאקרו והקומפילציה המותנית):

  #[cfg(FALSE)] mod foo {
  סרגל מוד {
  mod baz;
  }
  }

• מהדר rustc הוסיף את היכולת להשתמש בדגל "-C codegen-units" במצב אינקרמנטלי. ההטמעה של catch_unwind עובדה מחדש כך שאין לה השפעה על הביצועים אם תהליך ההתנתקות מושבת ולא נזרקים חריגים.
• תמיכה ברמה 64 סופקה עבור הפלטפורמות aarch64-unknown-none, aarch64-unknown-none-softfloat, arm86-apple-tvos ו-x64_XNUMX-apple-tvos. הרמה השלישית כוללת תמיכה בסיסית, אך ללא בדיקות אוטומטיות ופרסום של מבנים רשמיים.
• חלק חדש של ממשקי API הועבר לקטגוריית היציבות, כולל מיוצב
  PathBuf::with_capacity,
  PathBuf::capacity,
  PathBuf::clear,
  PathBuf::reserve,
  PathBuf::reserve_exact,
  PathBuf::shrink_to_fit,
  {f32|f64}::to_int_unchecked,
  Layout::align_to,
  פריסה::pad_to_align,
  פריסה:: מערך ו
  פריסה::extend.

• פונקציות מורחבות של הספרייה הסטנדרטית:
  • נוסף וריאנט מיוחד של "vec![]" המשתקף ישירות ב-Vec::new(), המאפשר להשתמש ב-"vec![]" בהקשר במקום בקבועים.
  • יישום (impl) של התכונה נוסף כדי להמיר::Infallible בליל.
  • OsString מיישמת מצביעים חכמים DerefMut и IndexMut, מחזיר את "&mut OsStr".
  • נוספה תמיכה עבור Unicode 13.
  • מיושם במחרוזת מ<&mut str>.
  • IoSlice מיישמת את התכונה העתק.
  • Vec מיושם מ<[T; N]>.
  • proc_macro::LexError מיישמת fmt::Display and Error.
• התכונה "const", הקובעת אם ניתן להשתמש בה בכל הקשר במקום בקבועים, משמשת בשיטות from_le_bytes, to_le_bytes, from_be_bytes, to_be_bytes, from_ne_bytes ו-to_ne_bytes עבור כל סוגי המספרים השלמים.
• נוספה תמיכה ביצירת ספריות סטטיות בפורמט ".a" במקום ".lib" עבור פלטפורמות GNU ב-Windows.
• דרישות המינימום עבור LLVM הועלו לגרסה 8 של LLVM.

מקור: OpenNet.ru