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

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

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

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

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

• למהדר rustc יש מערכת מבוססת LLVM יציבה להפקת נתוני כיסוי המשמשים להערכת כיסוי קוד במהלך בדיקה. כדי לאפשר נתוני כיסוי במהלך ההרכבה, עליך להשתמש בדגל "-Cinstrument-coverage", לדוגמה, להתחיל את ההרכבה עם הפקודה "RUSTFLAGS="-C instrument-coverage" cargo build". לאחר הפעלת קובץ ההפעלה שהודר בצורה זו, הקובץ default.profraw יישמר בספרייה הנוכחית, לעיבוד שבו תוכל להשתמש בכלי השירות llvm-profdata מהרכיב llvm-tools-preview. לאחר מכן ניתן להעביר את הפלט המעובד על ידי llvm-profdata אל llvm-cov כדי ליצור דוח כיסוי קוד מוער. מידע על הקישור לקוד המקור נלקח מקובץ ההפעלה הנבדק, הכולל את הנתונים הדרושים על הקשר בין מוני הכיסוי לקוד. 1| 1|fn main() { 2| 1| println!("שלום עולם!"); 3| 1|}
• במנהל חבילות המטען התייצבה התמיכה בדגל "-תזמונים", הכוללת הפקת דוח מפורט על התקדמות הבנייה וזמן הביצוע של כל שלב. הדוח עשוי להיות שימושי למיטוב הביצועים של תהליך ההרכבה.
• מנהל חבילות המטען מציע תחביר חדש למנגנון של קומפילציה מותנית ובחירה של תלות אופציונלית, המוגדר בקובץ Cargo.toml על ידי רישום רשימה של מאפיינים בעלי שם בסעיף [תכונות] ומופעל על ידי הפעלת המאפיינים במהלך בניית החבילה באמצעות הדגל "--features". הגרסה החדשה מוסיפה תמיכה בתלות במרחבי שמות נפרדים ובתלות חלשה.

  במקרה הראשון, אפשר להשתמש באלמנטים עם הקידומת "dep:" בתוך הקטע "[features]" כדי לקשר במפורש לתלות אופציונלית מבלי לייצג את התלות הזו כמאפיין. במקרה השני, נוספה תמיכה בסימון בסימן "?". ("שם חבילה?/שם תכונה") תלות אופציונלית שיש לכלול רק אם מאפיין אחר כולל את התלות האופציונלית הנתונה. לדוגמה, בדוגמה למטה, הפעלת המאפיין serde תאפשר את התלות "serde", כמו גם את המאפיין "serde" עבור התלות "rgb", אך רק אם התלות "rgb" מופעלת במקום אחר: [dependencies] serde = { version = " 1.0.133", optional = true } rgb = { version = "0.8.25", optional = true } [תכונות] serde = ["dep:serde", "rgb?/serde"]

• התמיכה בהידור מצטבר, שהושבתה במהדורה האחרונה, הוחזרה. באג המהדר שגרם לביטול התכונה נפתרה.
• פתרו כמה בעיות במתן טיימרים מיידיים עם ערובה לתזמון מונוטוני, הלוקח בחשבון את הזמן שהמערכת משקיעה במצב שינה. בעבר השתמשו ב-API של מערכת ההפעלה בכל הזדמנות שאפשר להפעלת הטיימר, מה שלא לקח בחשבון מצבים בעייתיים השוברים את המונוטוניות של הזמן, כמו בעיות חומרה, שימוש בווירטואליזציה או שגיאות במערכת ההפעלה.
• חלק חדש של ה-API הועבר לקטגוריה של יציב, כולל השיטות והיישום של תכונות התייצבו:
  • Arc::new_cyclic
  • Rc::new_cyclic
  • פרוסה::EscapeAscii
  • <[u8]>::escape_ascii
  • u8::escape_ascii
  • Vec::spare_capacity_mut
  • MaybeUninit::assume_init_drop
  • MaybeUninit::assume_init_read
  • i8::abs_diff
  • i16::abs_diff
  • i32::abs_diff
  • i64::abs_diff
  • i128::abs_diff
  • isize::abs_diff
  • u8::abs_diff
  • u16::abs_diff
  • u32::abs_diff
  • u64::abs_diff
  • u128::abs_diff
  • usize::abs_diff
  • תצוגה עבור io::ErrorKind
  • מאת עבור ExitCode
  • לא בשביל ! (הקלד "לעולם לא")
  • _Op_Assign<$t>
  • arch::is_aarch64_feature_detected!
• רמת התמיכה השלישית יושמה עבור הפלטפורמות mips64-openwrt-linux-musl* ו-armv7-unknown-linux-uclibceabi (softfloat). הרמה השלישית כוללת תמיכה בסיסית, אך ללא בדיקות אוטומטיות, פרסום בונים רשמיים או בדיקה אם ניתן לבנות את הקוד.
• המהדר הוחלף לשימוש ב-LLVM 14.

בנוסף, אתה יכול לשים לב:

• נוספה תמיכה ב-bootstrapping של מהדר rustc באמצעות ה-backend rustc_codegen_gcc, המאפשר לך להשתמש בספריית libgccjit מפרויקט GCC כמחולל קוד ב-rustc, מה שמאפשר ל-rustc לספק תמיכה בארכיטקטורות ואופטימיזציות הזמינות ב-GCC. קידום מהדר פירושו היכולת להשתמש במחולל קוד מבוסס GCC ב-rustc כדי לבנות את מהדר rustc עצמו. בצד הפרקטי, תכונה זו מאפשרת לך לבנות תוכניות חלודה לארכיטקטורות שלא נתמכו בעבר ב-rustc.
• השחרור של ערכת הכלים uutils coreutils 0.0.13 זמינה, שבתוכה מפתחים אנלוגי של חבילת GNU Coreutils, שנכתבה מחדש בשפת Rust. Coreutils מגיע עם יותר ממאה כלי עזר, כולל sort, cat, chmod, chown, chroot, cp, date, dd, echo, hostname, id, ln ו-ls. מטרת הפרויקט היא ליצור יישום חלופי חוצה פלטפורמות של Coreutils, המסוגל לרוץ על פלטפורמות Windows, Redox ו-Fuchsia, כמו גם הפצה תחת רישיון MIT המתירני, במקום רישיון GPL copyleft.

  הגרסה החדשה שיפרה יישומים של כלי שירות רבים, כולל תאימות משופרת משמעותית של כלי השירות cp, dd, df, split ו-tr עם מקביליהם מפרויקט GNU. תיעוד מקוון מסופק. מנתח clap משמש לניתוח ארגומנטים של שורת הפקודה, אשר שיפר את הפלט עבור הדגל "--help" והוסיף תמיכה בקיצורים של פקודות ארוכות (לדוגמה, ניתן לציין "ls -col" במקום "ls -color" ”).

מקור: OpenNet.ru