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

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

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

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

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

  fn foo(words: &[&str]) {
  התאמת מילים {

  // בודק את רכיבי ההתחלה של המערך ומתעלם
  אלמנטים הבאים אחריהם
  ["שלום", "עולם", "!", ..] => println!("שלום עולם!"),

  // בודק את שני האלמנטים הראשונים "Foo" ו-"Bar", והשאר לא חשוב
  ["Foo", "Bar", ..] => println!("Baz"),

  // תתעלם מהכל, אבל האלמנט האחרון חייב להיות "!".
  [.., "!"] => println!(“!!!”),

  // בפרוסת ההתחלה אנו כוללים הכל מלבד האלמנט האחרון, שאמור להיות "z"
  [start @ .., "z"] => println!("מתחיל עם: {:?}", התחל),

  // בפרוסה הסופית שמנו הכל מלבד האלמנט הראשון, שאמור להיות "a".
  ["a", end @ ..] => println!("מסתיים עם: {:?}", סוף),

  rest => println!("{:?}", rest),
  }
  }

• נוסף מאקרו חדש "מתאים!", שלוקח ביטוי ותבנית כקלט, ומחזיר "true" אם התבנית תואמת לביטוי. התבנית יכולה להשתמש בפעולות "|". ואם".

  match self.partial_cmp(other) {
  חלק (פחות) => נכון,
  _ => שקר,
  }

  matches!(self.partial_cmp(other), Some(Less))

  let foo = 'f';
  assert!(matches!(foo, 'A'..='Z' | 'a'..='z'));

  let bar = Some(4);
  assert!(matches!(bar, Some(x) if x > 2));

• הודעות בהלה המוצגות בעת שימוש לא נכון
  סוגים Option ו-Result, מציגים כעת מספרי שורות עם קישור לקוד שעשה את הקריאה הבעייתית, במקום קישורים לקוד המיישם את הקריאה ב-libcore. לדוגמה, השינוי משפיע על קריאות ל- unwrap and expect over Option::None, או קורס בעת שימוש ב-unwrap_err, expect, expect_err ושיטות דומות בסוג Result.

• מנהל החבילות של Cargo מספק החלפה אוטומטית של "proc_macro crate" לבלוק "extern" עבור חבילות עם פקודות מאקרו פרוצדורליות. שינוי זה מאפשר להחיל את ההנחיה "use" על פקודות מאקרו פרוצדורליות מבלי לציין "extern crate proc_macro;" בקוד. לדוגמה, אם התוכנית משתמשת בשורה "use proc_macro::TokenStream;", אז הקוד ימשיך לעבוד אם "extern crate proc_macro;" יוסר ממנו.
• היכולות של הספרייה הסטנדרטית הורחבו. באיטר::ריק הוסיף תמיכת שליחה וסנכרון לכל ערכי T.
  סיכת שיחות::{map_unchecked, map_unchecked_mut} נמסר מהצורך להחזיר ערך סוג עבור היישום "גודל".
  ב-io::סמן מוטמע PartialEq ו-Eq. התכונה "const" קובעת את אפשרות השימוש בכל הקשר במקום קבועים, מיושם עבור השיטה Layout::new.

• חלק חדש של ה-API הועבר לקטגוריה היציבה, כולל ה-CondVar::wait_while המיוצב, CondVar::wait_timeout_while,
  DebugMap::key, DebugMap::value,
  ידני Drop::take,
  ptr::slice_from_raw_parts_mut ו-ptr::slice_from_raw_parts.

• שיטת Error::description הוצאה משימוש.
• סיפק תמיכה ברמה שנייה עבור פלטפורמות armv7a-none-eabi ו-riscv64gc-unknown-linux-gnu. ניתנה תמיכה בספרייה הסטנדרטית עבור פלטפורמת riscv64gc-unknown-linux-gnu.
  פלטפורמות 32 סיביות של אפל הורד בדרגה עד לרמה השלישית של תמיכה, מה שמרמז על תמיכה בסיסית, אך ללא בדיקות אוטומטיות ופרסום של מבנים רשמיים. השדרוג לאחור בתמיכה נובע מכך שאפל כבר לא תומכת בפלטפורמות 32 סיביות.

מקור: OpenNet.ru