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

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

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

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

• הטמיעה תמיכה בתכונות עבור מערכים בגודל שרירותי. בעבר, בשל חוסר היכולת להגדיר פונקציות גנריות עבור כל הערכים השלמים, הספרייה הסטנדרטית סיפקה תמיכה מובנית בתכונות רק עבור מערכים בגודל של עד 32 אלמנטים (התכונות לכל גודל הוגדרו סטטית). הודות ליצירת הפונקציונליות הגנרית של const, ניתן היה להגדיר פונקציות גנריות עבור כל גודל מערך, אך הן עדיין אינן נכללות בתכונות היציבות של השפה, למרות שהן מיושמות במהדר ומשמשות כעת בספרייה הסטנדרטית עבור סוגי מערכים בכל גודל.
  לדוגמה, המבנה הבא ב-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 (Rust משתמש ב-LLVM כ-backend ליצירת קוד). יחד עם זאת, היכולת לבנות עם LLVM ישן, עד גרסה 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, Result::as_deref, Result::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

מקור: linux.org.ru