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

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

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

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

• התכונה התייצבה שלנו, המייצג ערך שאולי עדיין לא הושלמה הערכתו בעת שימוש בלוקים אסינכרוני / .await. ערכים אסינכרוניים המוגדרים באמצעות Future מאפשרים להמשיך לבצע עבודה שימושית בשרשור, תוך המתנה לסיום חישובים של ערך מסוים;
• הספרייה התייצבה להקצות, המספק מצביעים ואוספים חכמים לניהול ערכים שהוקצו לזיכרון. הקצאת זיכרון ב-std משתמשת כעת בסוג דבר, אשר מיוצאים מחדש מ-alloc. שימוש נפרד ב-alloc הגיוני ביישומים שאינם קשורים ל-std ("#![no_std]"), וכן בספריות המיועדות לשימוש בתוכניות דומות ללא std;
• כדי לעקוף בדיקות לאתחול נכון של ערכים מוּצָע סוג ביניים אולי יחידה, שניתן להשתמש בו במקום הפונקציה mem::uninitialized כחלופה בטוחה יותר. הפונקציה mem::uninitialized נוחה ליצירה מהירה של מערכים, אך היא מטעה את המהדר מכיוון שנראה שהיא אותחלה, אך בפועל הערך נותר לא מאותחל. MaybeUninit מאפשרת לך לציין במפורש למהדר שהערך אינו מאותחל, לקחת בחשבון את ההתנהגות הלא מוגדרת האפשרית הקשורה בכך, וגם לארגן בדיקות בתוכניות באמצעות "ייתכן_ת:" ואתחול שלב אחר שלב, לסמן את השלמתו באמצעות הקריאה ".assume_init()". עם הופעתה של MaybeUninit, הפונקציה mem::uninitialized הוצאה משימוש ואינה מומלצת לשימוש;
• טכניקת ה-NLL (Non-Lexical Lifetimes), שהרחיבה את המערכת לרישום משך החיים של משתנים שאולים, התייצבה עבור שפת Rust 2015 (בתחילה, NLL נתמך רק על ידי Rust 2018). במקום לבצע תקופות חיים ברמה המילונית, NLL עושה זאת ברמת קבוצת המצביעים בגרף זרימת הביצוע. גישה זו מאפשרת להגביר את איכות בדיקת השאלת המשתנים (השאלה בודק) ולאפשר ביצוע של כמה סוגים של קוד נכון, שהשימוש בו הוביל בעבר לשגיאה. ההתנהגות החדשה גם מקלה בהרבה על איתור באגים;
• יישום חדש של מערכים אסוציאטיביים כלול מפת גיבוב, בהתבסס על היישום של המבנה שולחן שוויצרי (נטען אוטומטית hashbrown::HashMap, אלא אם צוין אחרת במפורש, כגון std::HashMap, המבוסס על SipHash 1-3). ממשק התוכנה נשאר זהה, וההבדלים המורגשים למפתח מסתכמים בביצועים מוגברים וצריכת זיכרון מופחתת;
• במטען מנהל החבילות הוסיף אפשרות "--offline", המאפשרת פעולה ללא גישה לרשת, בה נעשה שימוש רק בחבילות המאוחסנות במטמון במערכת המקומית בעת התקנת תלות. אם התלות לא נמצאת במטמון המקומי, תיגרם שגיאה. כדי לטעון מראש תלות לתוך המטמון המקומי לפני מעבר לא מקוון, אתה יכול להשתמש בפקודה "אחזור מטען";
• הטמיע את היכולת לקרוא למאקרו "dbg!" מציין מספר טיעונים;
• התכונה "const", הקובעת את האפשרות להשתמש בכל הקשר במקום בקבועים, משמשת לשיטות
  Layout::from_size_align_unchecked,
  mem::needs_drop,
  NonNull::מתנדנד ו
  NonNull::cast;

• חלק חדש של ממשקי API הועבר לקטגוריית היציבות, כולל שיטות שיוצבו
  task::Waker, task::סקר,
  VecDeque::rotate_left, VecDeque::rotate_right,
  Read::read_vectored, Write::write_vectored,
  Iterator::copyd,
  BorrowMut (עבור מחרוזות) ו-str::as_mut_ptr.

מקור: OpenNet.ru