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

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

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

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

• בבלוקים של עיצוב שורה, בנוסף ליכולת הזמינה בעבר להחליף משתנים הרשומים במפורש אחרי שורה לפי מספר ושם, מיושמת היכולת להחליף מזהים שרירותיים על ידי הוספת הביטוי "{מזהה}" לשורה. לדוגמה: // קונסטרוקציות שנתמכו בעבר: println!("שלום, {}!", get_person()); println!("שלום, {0}!", get_person()); println!("שלום, {person}!", person = get_person()); // עכשיו אתה יכול לציין let person = get_person(); println!("שלום, {אדם}!");

  ניתן גם לציין מזהים ישירות באפשרויות העיצוב. let (רוחב, דיוק) = get_format(); עבור (שם, ניקוד) ב-get_scores() { println!("{name}: {score:width$.precision$}"); }

  ההחלפה החדשה פועלת בכל פקודות המאקרו התומכות בהגדרת פורמט מחרוזת, למעט המאקרו "פאניקה!". בגרסאות 2015 ו-2018 של שפת Rust, שבה מתייחסים לפאניקה!("{ident}") כמחרוזת רגילה (ב-Rust 2021 ההחלפה עובדת).

• ההתנהגות של מבנה הפקודה std::process:: בפלטפורמת Windows שונתה כך שבעת ביצוע פקודות, מסיבות אבטחה, הוא לא מחפש עוד קבצי הפעלה בספרייה הנוכחית. הספרייה הנוכחית אינה נכללת מכיוון שהיא עשויה לשמש לביצוע קוד זדוני אם תוכניות מופעלות בספריות לא מהימנות (CVE-2021-3013). ההיגיון החדש של זיהוי ההפעלה כולל חיפוש בספריות Rust, ספריית היישומים, ספריית מערכת Windows והספריות המצוינות במשתנה הסביבה PATH.
• הספרייה הסטנדרטית הרחיבה את מספר הפונקציות המסומנות "#[must_use]" כדי להנפיק אזהרה אם מתעלמים מערך ההחזרה, מה שעוזר לזהות שגיאות הנגרמות מהנחה שפונקציה תשנה ערכים במקום להחזיר ערך חדש.
• חלק חדש של ה-API הועבר לקטגוריה של יציב, כולל השיטות והיישום של תכונות התייצבו:
  • Metadata::is_symlink
  • נתיב::is_symlink
  • {integer}::saturating_div
  • Option::unwrap_unchecked
  • תוצאה::unwrap_unchecked
  • תוצאה::unwrap_err_unchecked
• התכונה "const", הקובעת את האפשרות להשתמש בה בכל הקשר במקום בקבועים, משמשת בפונקציות:
  • Duration::new
  • Duration::checked_add
  • Duration::saturating_add
  • Duration::checked_sub
  • Duration::saturating_sub
  • Duration::checked_mul
  • Duration::saturating_mul
  • Duration::checked_div
• מותר להתייחס לפירוק מצביעי "*const T" בהקשרים של "const".
• במנהל החבילות של Cargo, השדה rust_version נוסף למטא נתונים של החבילה, והאפשרות "--message-format" נוספה לפקודה "cargo install".
• המהדר מיישם תמיכה במנגנון ההגנה של CFI (Control Flow Integrity), המוסיף בדיקות לפני כל קריאה עקיפה כדי לזהות כמה צורות של התנהגות לא מוגדרת שעלולה להוביל להפרה של הוראת הביצוע הרגילה (זרימת בקרה) כתוצאה מה- שימוש בניצולים שמשנים מצביעים המאוחסנים בזיכרון על פונקציות.
• המהדר הוסיף תמיכה בגרסאות 5 ו-6 של פורמט השוואת הכיסוי LLVM, המשמש להערכת כיסוי הקוד במהלך הבדיקה.
• במהדר, הדרישות לגרסה המינימלית של LLVM מועלות ל-LLVM 12.
• הרמה השלישית של תמיכה בפלטפורמת x86_64-unknown-none הוטמעה. הרמה השלישית כוללת תמיכה בסיסית, אך ללא בדיקות אוטומטיות, פרסום בונים רשמיים או בדיקה אם ניתן לבנות את הקוד.

בנוסף, אנו יכולים לציין את הפרסום על ידי מיקרוסופט של הוצאת ספריות Rust for Windows 0.30, המאפשרות לך להשתמש בשפת Rust כדי לפתח יישומים עבור מערכת ההפעלה Windows. הסט כולל שתי חבילות ארגז (windows ו- windows-sys), דרכן ניתן לגשת ל-Win API בתוכניות Rust. קוד לתמיכה ב-API נוצר באופן דינמי ממטא נתונים המתארים את ה-API, מה שמאפשר ליישם תמיכה לא רק עבור קריאות קיימות של Win API, אלא עבור קריאות שיופיעו בעתיד. הגרסה החדשה מוסיפה תמיכה בפלטפורמת היעד UWP (Universal Windows Platform) ומיישמת את סוגי ה- Handle ו-Debug.

מקור: OpenNet.ru