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

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

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

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

• נוספה את היכולת לסמן מבנים (struct) וספירות (enum עם בלוק Variant) באמצעות התכונה "#[לא_ממצה]", איזה היא מאפשרת בעתיד, הוסף שדות ואפשרויות חדשות למבנים וספירות מוצהרות. לדוגמה, מפתחים של מודולים שיש להם מבנים עם שדות שהוכרזו בפומבי יכולים להשתמש ב-"#[non_exhaustive]" כדי לסמן מבנים שעשויים להתווסף להם שדות חדשים בעתיד. עד כה, במצב זה, היזם נאלץ לבחור בין הצהרת שדות באופן פרטי לבין קשירה לרשימה בלתי ניתנת לשינוי של שדות. התכונה החדשה מסירה מגבלה זו ומאפשרת לך להוסיף שדות חדשים בעתיד ללא סיכון לשבירת קוד חיצוני שהורכב בעבר. בחבילות ארגז, בעת התאמת אפשרויות בסעיף "התאמה", נדרשת הגדרה מפורשת של המסכה "_ => {...}", המכסה שדות עתידיים אפשריים, אחרת תוצג שגיאה בעת הוספת שדות חדשים.
• נוסף היכולת לקרוא למאקרו הפרוצדורלי mac!() בהקשר טיפוסי. לדוגמה, כעת תוכל לכתוב "סוג Foo = expand_to_type!(bar);" אם "expand_to_type" הוא מאקרו פרוצדורלי.
• בלוקים "חיצוניים { ... }". הוסיף היכולת להשתמש בפקודות מאקרו פרוצדורליות ותכונות, כולל פקודות מאקרו "bang!()", למשל:

  כללי_מאקרו! make_item { ($name:ident) => { fn $name(); } }

  חיצוני {
  make_item!(alpha);
  make_item!(בטא);
  }

  חיצוני "C" {
  #[מאקרו_זהות_שלי] fn foo();
  }

• בפקודות מאקרו מוטמע היכולת ליצור אלמנטים של "macro_rules!". יצירת "acro_rules!" אפשרי הן בפקודות מאקרו דמויות פונקציות ("mac!()") והן בפקודות מאקרו בצורה של תכונות ("#[mac]").
• באלמנט המיפוי $m:meta הוסיף תמיכה בערכי ספירת אסימונים שרירותיים ("[TOKEN_STREAM]", "{TOKEN_STREAM}" ו-"(TOKEN_STREAM)"), לדוגמה:

  כללי_מאקרו! accept_meta { ($m:meta) => {} }
  accept_meta!( my::path );
  accept_meta!( my::path = "lit" );
  accept_meta!( my::path ( abc ) );
  accept_meta!( my::path [ abc ] );
  accept_meta!( my::path { abc } );

• במצב Rust 2015, פלט שגיאה מופעל עבור בעיות שזוהו בעת בדיקת השאלת משתנים (בודק ההשאלה) באמצעות טכניקת ה-NLL (Non-Lexical Lifetimes). בעבר, אזהרות הוחלפו בשגיאות בעת הפעלה במצב Rust 2018.
  לאחר שהשינוי הורחב למצב Rust 2015, מפתחים הצליחו סוף סוף Ёё ± ± ± РЏЏЏЏЏЏЏЏ מבדיקת ההשאלה הישנה.

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

• התכונה "const", הקובעת את האפשרות להשתמש בה בכל הקשר במקום בקבועים, משמשת עבור הפונקציה is_power_of_two (עבור מספרים שלמים ללא סימן).
• חלק חדש של ה-API הועבר לקטגוריה היציבה, כולל המאקרו todo!() וה-slice::repeat, mem::take, BTreeMap::get_key_value, HashMap::get_key_value, השיטות התייצבו.
  Option::as_deref, Option::as_deref_mut, Option::flatten, UdpSocket::peer_addr, {f32,f64}::to_be_bytes, {f32,f64}::to_le_bytes,{f32,f64}::to_ne_bytes, {f32} f64}::from_be_bytes, {f32,f64}::from_le_bytes, ו-{f32,f64}::from_ne_bytes.

• במטען מנהל החבילות
  מוטמע אזהרות מהדר מטמון בדיסק. לפקודה "מטא-נתונים של מטען" נוספה האפשרות "מטא-נתונים של מטען".--פילטר-פלטפורמה" כדי להציג רק חבילות המחוברות לפלטפורמת היעד שצוינה בעמודת פתרון התלות. נוספה אפשרות תצורת http.ssl-version כדי להגדיר גרסאות TLS חוקיות.
  נוספה האפשרות לפרסם את הקטע "תלות במפתחים" מבלי לציין את מפתח "גרסה".

• מהדר rustc מספק תמיכה ברמה שלישית עבור פלטפורמות יעד thumbv7neon-unknown-linux-musleabihf, aarch64-unknown-none-softfloat, mips64-unknown-linux-muslabi64 ו-mips64el-unknown-linux-muslabi64. הרמה השלישית כוללת תמיכה בסיסית, אך ללא בדיקות אוטומטיות ופרסום של מבנים רשמיים.

מקור: OpenNet.ru