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

התרחש שחרור שפת תכנות מערכת חלודה 1.34, שפותח על ידי פרויקט מוזילה. השפה מתמקדת בבטיחות זיכרון, מספקת ניהול זיכרון אוטומטי, ומספקת אמצעי להשגת מקביליות גבוהה של משימות ללא שימוש באוסף אשפה או זמן ריצה.

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

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

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

  כדי להוסיף רישום חיצוני ל-.cargo/config (הממוקם ב-$HOME או בספריית החבילות)
  מסופק סעיף "[רישום]", וכדי להשתמש ברישום חיצוני, האפשרות "רישום" הופיעה בתיאור של כל תלות ב-Cargo.toml. כדי להתחבר לרישום נוסף, פשוט הצב את אסימון האימות בקובץ ~/.cargo/credentials והפעל את הפקודה
  "login cargo --registry=my-registry" וכדי לפרסם חבילה -
  "cargo publish -registry=my-registry";

• נוספה תמיכה מלאה בשימוש באופרטור "?". במבחנים דוקטורטות, המאפשר לך להשתמש בקוד לדוגמה מהתיעוד כבדיקות. בעבר מפעיל
  "?" יכול לשמש לטיפול בשגיאות במהלך ביצוע בדיקה רק בנוכחות הפונקציה "fn main()" או בפונקציות "#[test]";

• במאפיינים מותאמים אישית המוגדרים באמצעות פקודות מאקרו פרוצדורליות מְאוּבטָח היכולת להשתמש בקבוצות שרירותיות של אסימונים ("#[attr($tokens)]", "#[attr[$tokens]] ו-#[attr{$tokens}]"). בעבר, ניתן היה לציין אלמנטים רק בצורת עץ/רקורסיבית באמצעות מילוליות של מחרוזות, למשל "#[foo(bar, baz(quux, foo = "bar"))]", אך כעת ניתן להשתמש בספירות (' #[range(0. .10)]') וקונסטרוקציות כמו "#[bound(T: MyTrait)]";
• טיפוסים מיוצבים (תכונה) נסה מאת и TryInto, המאפשר המרות סוגים עם טיפול בשגיאות. לדוגמה, שיטות כמו from_be_bytes עם סוגי מספר שלם משתמשות במערכים כקלט, אבל הנתונים מגיעים לרוב בסוג Slice, וההמרה בין מערכים לפרוסות היא בעייתית לבצע באופן ידני. בעזרת תכונות חדשות, ניתן לבצע את הפעולה שצוינה תוך כדי קריאה ל-.try_into(), למשל, "let num = u32::from_be_bytes(slice.try_into()?)". עבור המרות שתמיד מצליחות (לדוגמה, מסוג u8 ל-u32), נוסף סוג שגיאה בלתי מתקבל על הדעת, המאפשר שימוש שקוף
  TryFrom עבור כל ההטמעות הקיימות של "מאת";

• הפונקציה הוצאה משימוש CommandExt::before_exec, שאיפשר להפעיל מטפל לפני הפעלת exec, אשר בוצע בהקשר של תהליך ילד שחולק לאחר הקריאה fork() . בתנאים כאלה, כמה משאבים של תהליך האב, כגון מתארי קבצים ואזורי זיכרון ממופים, עלולים להשתכפל, מה שעלול להוביל להתנהגות לא מוגדרת ולפעולה לא נכונה של ספריות.
  מומלץ להשתמש בפונקציה לא בטוחה במקום before_exec CommandExt::pre_exec.

• סוגי מספרים שלמים אטומיים מיוצבים ובלתי מסומנים בגודל של בין 8 ל-64 סיביות (לדוגמה, AtomicU8), כמו גם סוגים חתומים NonZeroI[8|16|32|64|128].
• חלק חדש של ה-API הועבר לקטגוריה היציבה, כולל Any::type_id, Error::type_id, slice::sort_by_cached_key, str::escape_*, str::split_ascii_whitespace, Instant::checked_[add|sub ] ושיטות SystemTime התייצבו ::checked_[add|sub]. הפונקציות iter::from_fn וה-iter::successors התייצבו;
• עבור כל סוגי המספרים השלמים, השיטות checked_pow, saturating_pow, wrapping_pow ו-overflowing_pow מיושמות;
• הוספה את היכולת לאפשר אופטימיזציות בשלב הקישור על ידי ציון אפשרות הבנייה "-C linker-plugin-lto".

מקור: OpenNet.ru