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

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

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

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

• השימוש במאקרו "פאניקה!" יוצב. בהקשרים שנוצרו במהלך הקומפילציה, כגון הצהרות "const fn". בנוסף, בנוסף לשימוש ב"פאניקה!" הצהרות const מאפשרות שימוש במאקרו "assert!". ועוד כמה ממשקי API סטנדרטיים של ספרייה. התייצבות עדיין לא מכסה את כל תשתית העיצוב, כך שבצורתו הנוכחית המאקרו "פאניקה!" ניתן להשתמש רק עם מחרוזות סטטיות (פאניק!("...")) או עם ערך אינטרפולציה יחיד "&str" בעת החלפה (פאניק!("{}", a)), שאמור להיות מוגבל להחלפת "{ }" ללא מפרטי עיצוב וסוגים אחרים. בעתיד תתרחב הישימות של פקודות מאקרו בהקשרים קבועים, אך היכולות המיוצבות כבר מספיקות לביצוע בדיקות טענה בשלב הקומפילציה: const _: () = assert!(std::mem::size_of:: () == 64); const _: () = assert!(std::mem::size_of:: () == 8);
• מנהל החבילות של Cargo מאפשר שימוש בפרופילים בעלי שמות שרירותיים, לא מוגבל ל-"dev", "release", "test" ו-"bench". לדוגמה, כדי לאפשר אופטימיזציה בשלב הקישור (LTO) רק כאשר מכלול המוצר הסופי נוצר, ניתן ליצור פרופיל "ייצור" ב-Cargo.toml ולהוסיף לו את הדגל "lto = true". עם זאת, בעת הגדרת פרופילים משלך, עליך לציין פרופיל קיים כדי לרשת את הגדרות ברירת המחדל ממנו. הדוגמה להלן יוצרת פרופיל "הפקה" המשלים את פרופיל ה"הפצה" על ידי הכללת הדגל "lto = true". הפרופיל עצמו מופעל על ידי קריאה למטען עם אפשרות "--profile production", וחפצי ההרכבה ימוקמו בספריית "יעד/ייצור". [profile.production] inherits = "release" lto = true
• יוצב השימוש ב-try_reserve לסוגים Vec, String, HashMap, HashSet ו-VecDeque, מה שמאפשר לשמור מקום מראש למספר מסוים של אלמנטים מסוג נתון על מנת להפחית את תדירות פעולות הקצאת הזיכרון ולהימנע קורס במהלך הפעולה עקב חוסר זיכרון.
• מותר לציין פקודות מאקרו עם סוגרים מסולסלים בביטויים כמו "m!{ .. }.method()" ו-"m!{ ..}?".
• הביצוע של הפונקציות File::read_to_end ו-read_to_string עבר אופטימיזציה.
• התמיכה במפרט Unicode עודכנה לגרסה 14.0.
• הרחיב את מספר הפונקציות המסומנות "#[must_use]" כדי להנפיק אזהרה אם מתעלמים מערך ההחזרה, מה שעוזר לזהות שגיאות הנגרמות מהנחה שפונקציה תשנה ערכים במקום להחזיר ערך חדש.
• נוסף backend ניסיוני ליצירת קוד באמצעות libgccjit.
• חלק חדש של ה-API הועבר לקטגוריה של יציב, כולל השיטות והיישום של תכונות התייצבו:
  • [ת; N]::as_mut_slice
  • [ת; N]::as_slice
  • collections::TryReserveError
  • HashMap::try_reserve
  • HashSet::try_reserve
  • מחרוזת::try_reserve
  • מחרוזת::try_reserve_exact
  • Vec::try_reserve
  • Vec::try_reserve_exact
  • VecDeque::try_reserve
  • VecDeque::try_reserve_exact
  • Iterator::map_while
  • iter::MapWhile
  • proc_macro::is_available
  • Command::get_program
  • Command::get_args
  • Command::get_envs
  • Command::get_current_dir
  • CommandArgs
  • CommandEnvs
• התכונה "const", שקובעת אם ניתן להשתמש בה בכל הקשר במקום בקבועים, משמשת ברמז הפונקציה::unreachable_unchecked.
• רמת התמיכה השלישית יושמה עבור armv6k-nintendo-3ds, armv7-unknown-linux-uclibceabihf, m68k-unknown-linux-gnu, aarch64-kmc-solid_asp3, armv7a-kmc-solid_asp3-eabi ו-armv7a-kmc- פלטפורמות solid_asp3-eabihf. הרמה השלישית כוללת תמיכה בסיסית, אך ללא בדיקות אוטומטיות, פרסום בונים רשמיים או בדיקה אם ניתן לבנות את הקוד.

מקור: OpenNet.ru