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

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

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

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

• מבוטל לאורך זמן פְּגָם בעת ביצוע המרות בין מספרים שלמים למספרי נקודה צפה. מכיוון שהמהדר Rust משתמש ב-LLVM בתור קצה עורפי, פעולות המרת סוג בוצעו באמצעות הוראות קוד ביניים של LLVM כגון fptoui, שיש להם תכונה אחת משמעותית - התנהגות לא מוגדרת אם הערך המתקבל אינו מתאים לסוג היעד. לדוגמה, כאשר ממירים את הערך הצף 300 עם סוג f32 לסוג מספר שלם u8, התוצאה אינה ניתנת לחיזוי ועשויה להשתנות במערכות שונות. הבעיה היא שתכונה זו מופיעה בקוד שאינו מסומן כ"לא בטוח".

  החל מ-Rust 1.45, ההתנהגות של הצפת גודל הסוג מוסדרת בקפדנות, ופעולת ההמרה "כמו" בודקת גלישה ומאלצת את המרת הערך לערך המקסימלי או המינימלי של סוג היעד (לדוגמה לעיל, ערך של 300 יומרו ל-255). כדי להשבית בדיקות כאלה, ניתנות קריאות API נוספות "{f64, f32}::to_int_unchecked", הפועלות במצב לא בטוח.

  fn cast(x: f32) -> u8 {
  x בתור u8
  }

  fn main() {
  let too_big = 300.0;
  let too_small = -100.0;
  let nan = f32::NAN;

  תן x: f32 = 1.0;
  let y: u8 = unsafe { x.to_int_unchecked() };

  println!("בגדול_מגוד = {}", שחקנים(מדי_גדולה)); // פלט 255
  println!("too_small_casted = {}", cast(too_small)); // פלט 0
  println!("not_a_number_casted = {}", cast(nan)); // פלט 0
  }

• השתמש מיוצב פקודות מאקרו פרוצדורליותביטויים, תבניות והצהרות דמויי פונקציה. בעבר, לא ניתן היה לקרוא פקודות מאקרו כאלה בכל מקום, אלא רק בחלקים מסוימים של הקוד (כקריאה נפרדת, לא שזורה בקוד אחר). הרחבת הדרך שבה ניתן לקרוא לפקודות מאקרו, בדומה לפונקציות, הייתה אחת הדרישות כדי לגרום למסגרת האינטרנט לעבוד רקטה במהדורות יציבות של Rust. בעבר, השגת גמישות נוספת בהגדרת מטפלים ב- Rocket דרשה הפעלת תכונה ניסיונית בשם "proc_macro_hygiene", שאינה זמינה בגרסאות יציבות של Rust. פונקציונליות זו מובנית כעת במהדורות יציבות של השפה.
• מותר להשתמש בטווחים עם סוג "char" כדי לחזור על ערכי טווח (ops::{Range, RangeFrom, RangeFull, RangeInclusive, RangeTo}):

  עבור ch in 'a'..='z' {
  print!("{}", ch);
  }
  println!(); // ידפיס "abcdefghijklmnopqrstuvwxyz"

• חלק חדש של ממשקי API הועבר לקטגוריית היציבות, כולל מיוצב
  Arc::as_ptr,
  BTreeMap::remove_entry,
  Rc::as_ptr,
  rc::Weak::as_ptr,
  rc::חלש::from_raw,
  rc::Weak::into_raw,
  str::strip_prefix,
  str::strip_suffix,
  sync::Weak::as_ptr,
  sync::Weak::from_raw,
  sync::Weak::into_raw,
  char::UNICODE_VERSION,
  span::resolved_at,
  Span::located_at,
  Span::mixed_site,
  unix::process::CommandExt::arg0.

• מהדר rustc הוסיף תמיכה לעקוף תכונות שונות של פלטפורמת יעד באמצעות דגל "target-feature", למשל, "-C target-feature=+avx2,+fma". כמו כן נוספו דגלים חדשים:
  "לשחרר טבלאות בכוח" ליצירת טבלאות שיחות לשחרור, ללא קשר לאסטרטגיית הטיפול בהתרסקות; "Embed-bitcode" כדי לשלוט אם LLVM bitcode כלול ב-rlibs שנוצרו. הדגל "Embed-bitcode" מופעל כברירת מחדל ב-Cargo כדי לייעל את זמן הבנייה וצריכת שטח הדיסק.

• רמה שלישית של תמיכה סופקה עבור הפלטפורמות mipsel-sony-psp ו-thumbv7a-uwp-windows-msvc. הרמה השלישית כוללת תמיכה בסיסית, אך ללא בדיקות אוטומטיות ופרסום של מבנים רשמיים.

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

מקור: OpenNet.ru