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

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

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

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

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

• נוספה תמיכה בסוגים משויכים גנריים (GAT, Generic Associated Types), המאפשרים ליצור כינויי טיפוס המשויכים לסוג אחר ומאפשרים לשייך בוני טיפוסים לתכונות. תכונה Foo { סוג Bar; }
• הביטוי "תן ... else" יושם, ומאפשר לך לבדוק את תנאי התאמת הדפוס ישירות בתוך הביטוי "לתת" ולהפעיל קוד שרירותי אם הדפוס אינו תואם. let Ok(count) = u64::from_str(count_str) else { panic!("לא ניתן לנתח מספר שלם: '{count_str}'"); };
• אפשר להשתמש בהצהרת break כדי לצאת מבלוקים עם שם בטרם עת, תוך שימוש בשם הבלוק (תווית) כדי לזהות את הבלוק שיש לסיים. let result = 'block: { do_thing(); if condition_not_met() { break 'block 1; } do_next_thing(); if condition_not_met() { break 'block 2; } do_last_thing(); 3};
• עבור לינוקס, נוספה היכולת לשמור בנפרד מידע איתור באגים (split-debuginfo), שזמינה בעבר רק עבור פלטפורמת macOS. בעת ציון האפשרות "-Csplit-debuginfo=unpacked", נתוני debuginfo בפורמט DWARF יישמרו בכמה קבצי אובייקט נפרדים עם סיומת ".dwo". ציון "-Csplit-debuginfo=packed" תיצור חבילה בודדת בפורמט ".dwp" הכוללת את כל נתוני debuginfo עבור הפרויקט. כדי לשלב debuginfo ישירות במקטע .debug_* של אובייקטי ELF, אתה יכול להשתמש באפשרות "-Csplit-debuginfo=off".
• חלק חדש של ה-API הועבר לקטגוריה של יציב, כולל השיטות והיישום של תכונות התייצבו:
  • std::backtrace::Backtrace
  • קשור::as_ref
  • std::io::read_to_string
  • ::cast_mut
  • ::cast_const
• התכונה "const", הקובעת את האפשרות להשתמש בה בכל הקשר במקום בקבועים, משמשת בפונקציות ::offset_from ו-::offset_from
• כחלק מהשלב הסופי של העברת היישום של פרוטוקול LSP (Language Server Protocol) ל-rust-analyzer, היישום המיושן של Rust Language Server (RLS) הוחלף בשרת סטאב שמוציא אזהרה עם הצעה לעבור אל. באמצעות מנתח חלודה.
• במהלך הקומפילציה, מופעלת תמיכה בפריסה מוטבעת של קוד ביניים MIR, מה שמאיץ את הקומפילציה של חבילות ארגז טיפוסיות ב-3-10%.
• כדי להאיץ את הבנייה המתוזמנת, מנהל חבילות Cargo מספק מיון של עבודות הממתינות לביצוע בתור.

בנוסף, אתה יכול לציין את הראיון על השימוש בשפת Rust בוולוו לפיתוח רכיבים של מערכות מידע לרכב. אין תוכניות לשכתב קוד קיים ונבדק ב-Rust, אך עבור קוד חדש, Rust היא אחת האפשרויות המועדפות לשיפור האיכות בעלויות נמוכות יותר. קבוצות עבודה הקשורות לשימוש בשפת Rust נוצרו גם בעמותות הרכב AUTOSAR (AUTomotive Open System ARchitecture) ו-SAE (Society of Automotive Engineers).

בנוסף, דיוויד קליידרמאכר, סגן נשיא להנדסה של גוגל, דיבר על תרגום הקוד המשמש בפלטפורמת אנדרואיד לניהול מפתחות הצפנה ל-Rust, וכן על השימוש ב-Rust בהטמעת פרוטוקול DNS over HTTPS במחסנית. עבור שבבי UWB- (Ultra-Wideband) ובמסגרת הוירטואליזציה (Android Virtualization Framework) הקשורה לשבב Tensor G2. ערימות חדשות ל-Bluetooth ו-Wi-Fi, שנכתבו מחדש ב-Rust, מפותחות גם לאנדרואיד. האסטרטגיה הכללית היא לחזק בהדרגה את האבטחה, תחילה על ידי המרת רכיבי התוכנה הפגיעים והחיוניים ביותר ל-Rust, ולאחר מכן הרחבה לתתי מערכות קשורות אחרות. בשנה שעברה, שפת Rust נכללה ברשימת השפות המותרות לפיתוח פלטפורמת אנדרואיד.

מקור: OpenNet.ru