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

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

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

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

• הטמעה תמיכה עבור סוגים מערכים כל מידה. בעבר, בשל חוסר היכולת להגדיר פונקציות גנריות עבור כל הערכים השלמים, הספרייה הסטנדרטית סיפקה תמיכה מובנית בתכונות רק עבור מערכים בגודל של עד 32 אלמנטים (התכונות לכל גודל הוגדרו סטטית). הודות ליצירת הפונקציונליות של גנריות קבועות ("const generics"), ניתן היה להגדיר פונקציות גנריות לכל גודל מערך, אך הן עדיין אינן נכללות בתכונות השפה היציבות, למרות שהן מיושמות במהדר והן. עַכשָׁיו מְעוּרָב בספרייה הסטנדרטית עבור תכונות מערך בכל גודל.

  לדוגמה, המבנה הבא ב-Rust 1.47 ידפיס את התוכן של מערך, אם כי בעבר זה היה גורם לשגיאה:

  fn main() {
  תן xs = [0; 34];

  println!("{:?}", xs);
  }

• מסופק פלט של עקבות קצרות יותר (backtrace), פלט במצבי חירום. אלמנטים שאינם מעניינים ברוב המצבים, אך מבלבלים את הפלט ומסיחים את תשומת הלב מהגורמים העיקריים לבעיה, אינם נכללים במעקב. כדי להחזיר מעקב מלא, אתה יכול להשתמש במשתנה הסביבה "RUST_BACKTRACE=full". לדוגמה, עבור הקוד

  fn main() {
  בהלה!();
  }

  בעבר, המעקב הופק ב-23 שלבים, אך כעת הוא יצטמצם ל
  3 שלבים המאפשרים לך לתפוס מיד את המהות:

  השרשור 'ראשי' נכנס לפאניקה מ'פאניקה מפורשת', src/main.rs:2:5
  מחסנית אחורה:
  0: std::panicking::begin_panic
  בכתובת /rustc/d…d75a/library/std/src/panicking.rs:497
  1: מגרש משחקים::ראשי
  בכתובת ./src/main.rs:2
  2: core::ops::function::FnOnce::call_once
  בכתובת /rustc/d…d75a/library/core/src/ops/function.rs:227

• מהדר rustc עודכן לבנייה באמצעות LLVM 11 (חֲלוּדָה использует LLVM כ-backend עבור יצירת קוד). יחד עם זאת, היכולת לבנות עם LLVMs ישנים יותר, עד גרסה 8, נשמרת, אך כברירת מחדל (ב rust-lang/llvm-project) משתמש כעת ב-LLVM 11. LLVM 11 צפוי לצאת בימים הקרובים.
• בפלטפורמת Windows, מהדר rustc מספק תמיכה להפעלת בדיקות שלמות זרימת בקרה (Control Flow Guard), המופעל באמצעות דגל "-C control-flow-guard". בפלטפורמות אחרות מתעלמים מהדגל הזה לעת עתה.
• חלק חדש של ממשקי API הועבר לקטגוריית היציבות, כולל מיוצב
  Ident::new_raw,
  Range::is_empty,
  RangeInclusive::is_empty,
  תוצאה::as_deref,
  תוצאה::as_deref_mut,
  Vec::leak,
  pointer::offset_from,
  f32::TAU ו
  f64::TAU.

• התכונה "const", הקובעת את האפשרות להשתמש בה בכל הקשר במקום בקבועים, משמשת בשיטות:
  • חדש עבור כל המספרים השלמים מלבד אפס;
  • checked_add, checked_sub, checked_mul, checked_neg, checked_shl, checked_shr, saturating_add, saturating_sub ו-saturating_mul עבור כל המספרים השלמים;
  • is_ascii_alphabetic, is_ascii_perctuation, is_ascii_lowercase, is_ascii_alphanumeric, is_ascii_digit, is_ascii_hexdigit, is_ascii_פיסוק, is_ascii_graphic, is_ascii_whitespace ו-is_ascii_types for .
• עבור FreeBSD מְעוּרָב ערכת כלים מ- FreeBSD 11.4 (FreeBSD 10 אינו תומך ב-LLVM 11).

מקור: OpenNet.ru