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

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

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

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

• נוסף מצב קומפילציה בצינור (pipelined), שבו בניית חבילת ארגז תלויה מתחילה ברגע שמטא-נתוני התלות הופכים לזמינים, מבלי לחכות להשלמת הקומפילציה שלו. בעת קומפילציה של חבילה, אין צורך להרכיב את התלות במלואם, אלא רק להגדיר את המטא-נתונים, הכוללים רשימות של סוגים, תלות ואלמנטים מיוצאים. מטא נתונים זמינים בשלב מוקדם בתהליך הקומפילציה, כך שניתן כעת להרכיב חבילות מקושרות הרבה יותר מוקדם. בעת בניית חבילות בודדות, המצב המוצע אינו משפיע על הביצועים, אך אם ה-build מכסה חבילות עם תלות מסועפת, ניתן להפחית את זמן הבנייה הכולל ב-10-20%;
• מבטיח זיהוי של שימוש לא נכון בפונקציות std::mem::לא אתחול и std::mem::אפס. לדוגמה, std::mem::uninitialized נוח ליצירה מהירה של מערכים, אך הוא מטעה את המהדר כי נראה שהוא מאותחל, אך בפועל הערך נותר לא מאותחל. הפונקציה mem::uninitialized כבר מסומנת כמוצאה ומומלץ להשתמש בסוג ביניים במקום זאת אולי יחידה. לגבי mem::zeroed, פונקציה זו עלולה לגרום לבעיות עם טיפוסים שאינם יכולים לקבל ערכי אפס.

  כדי לסייע בזיהוי התנהגות לא מוגדרת, המהדורה החדשה מוסיפה בדיקת מוך למהדר שמזהה כמה בעיות עם mem::uninitialized או mem::zeroed. לדוגמה, כעת אתה מקבל שגיאה בעת ניסיון להשתמש ב-mem::uninitialized או ב-mem::zeroed עם סוגי &T ו-Box‹T›, המייצגים אובייקטי מצביע שאינם יכולים לקבל ערכי null;

• התכונה "#[הוצא משימוש]" הורחבה כדי לאפשר לסמן חבילות ארגז כמיושנות ולתזמון למחיקה עתידית. החל מ-Rust 1.38, ניתן להשתמש בתכונה זו גם עבור פקודות מאקרו;
• נוספה את היכולת להשתמש בתכונה "#[מקצה_גלובלי]" בתת-מודולים;
• נוספה פונקציה std::any::type_name, המאפשר לך לברר את שם הסוג, שיכול להיות שימושי למטרות ניפוי באגים. לדוגמה, במהלך הפעלת התוכנית תוכל לברר לאיזה סוג נקראה הפונקציה:

  fn gen_value‹T: ברירת מחדל>() -› T {
  println!("אתחול מופע של {}", std::any::type_name::‹T›());
  ברירת מחדל::default()
  }

  fn main() {
  let _: i32 = gen_value(); # "i32" יודפס
  let _: String = gen_value(); # ידפיס "alloc::string::String"
  }

• פונקציות מורחבות של הספרייה הסטנדרטית:
  • slice::{concat, connect, join} יכול כעת לקחת את הערך &[T] בנוסף ל-&T;
  • "*const T" ו-"*mut T" מיישמים כעת סמן::Unpin;
  • "Arc‹[T]›" ו-"Rc‹[T]›" מיישמים כעת FromIterator‹T›;
  • iter::{StepBy, Peekable, Take} יישם כעת את DoubleEndedIterator.
  • ascii::EscapeDefault מיישמת Clone ו-Display.
• חלק חדש של ממשקי API הועבר לקטגוריית היציבות, כולל שיטות שיוצבו
  • ‹*const T›::cast, ‹*mut T›::cast,
  • Duration::as_secs_f{32|64},
  • Duration::div_duration_f{32|64},
  • Duration::div_f{32|64},
  • Duration::from_secs_f{32|64},
  • Duration::mul_f{32|64},
  • פעולות החטיבה עם השאר
    div_euclid ו-rem_euclid עבור כל הפרימיטיבים שלמים;

• נוספה תמיכה לציון אפשרות "--features" מספר פעמים כדי לאפשר תכונות שונות במנהל חבילות המטען;
• המהדר מספק שלישי רמה תמיכה עבור פלטפורמות יעד aarch64-uwp-windows-msvc, i686-uwp-windows-gnu, i686-uwp-windows-msvc, x86_64-uwp-windows-gnu, x86_64-uwp-windows-msvc targets, armv7-unknown-linux -gnueabi, armv7-unknown-linux-musleabi, hexagon-unknown-linux-musl ו-riscv32i-unknown-none-elf. הרמה השלישית כוללת תמיכה בסיסית, אך ללא בדיקות אוטומטיות ופרסום של מבנים רשמיים.

מקור: OpenNet.ru