Rust 1.73 პროგრამირების ენის გამოშვება

გამოვიდა ზოგადი დანიშნულების პროგრამირების ენა Rust 1.73, რომელიც დაარსდა Mozilla-ს პროექტის მიერ, მაგრამ ახლა შეიქმნა დამოუკიდებელი არაკომერციული ორგანიზაციის Rust Foundation-ის ეგიდით. ენა ყურადღებას ამახვილებს მეხსიერების უსაფრთხოებაზე და უზრუნველყოფს საშუალებებს სამუშაოს მაღალი პარალელურობის მისაღწევად, ნაგვის შემგროვებლისა და მუშაობის დროის თავიდან აცილებისას (გაშვების დრო მცირდება სტანდარტული ბიბლიოთეკის ძირითად ინიციალიზაციამდე და შენარჩუნებამდე).

Rust-ის მეხსიერების დამუშავების მეთოდები იცავს დეველოპერს შეცდომებისგან მაჩვენებლების მანიპულირებისას და იცავს პრობლემებისგან, რომლებიც წარმოიქმნება დაბალი დონის მეხსიერების დამუშავების გამო, როგორიცაა მეხსიერების არეზე წვდომა მისი გათავისუფლების შემდეგ, ნულ პოინტერების გაუქმება, ბუფერის გადაჭარბება და ა.შ. ბიბლიოთეკების გასავრცელებლად, კონსტრუქციების უზრუნველსაყოფად და დამოკიდებულებების სამართავად, პროექტი შეიმუშავებს Cargo პაკეტის მენეჯერს. crates.io საცავი მხარდაჭერილია ბიბლიოთეკების ჰოსტინგისთვის.

მეხსიერების უსაფრთხოება უზრუნველყოფილია Rust-ში კომპილაციის დროს, მითითების შემოწმების, ობიექტის საკუთრების თვალყურის დევნების, ობიექტების სიცოცხლის ხანგრძლივობის (ფარგლების) თვალყურის დევნების გზით და კოდის შესრულების დროს მეხსიერების წვდომის სისწორის შეფასებით. Rust ასევე უზრუნველყოფს დაცვას მთელი რიცხვების გადადინებისგან, მოითხოვს ცვლადის მნიშვნელობების სავალდებულო ინიციალიზაციას გამოყენებამდე, უკეთ ამუშავებს შეცდომებს სტანდარტულ ბიბლიოთეკაში, იყენებს უცვლელი მითითებებისა და ცვლადების კონცეფციას ნაგულისხმევად, გთავაზობთ ძლიერ სტატიკურ აკრეფას ლოგიკური შეცდომების შესამცირებლად.

ძირითადი ინოვაციები:

• ნაგულისხმევი პროგრამის ავარიის დამმუშავებლის მიერ გაცემული შეტყობინებების ფორმატი (პანიკა) შეიცვალა. "პანიკა!" მაკროში მითითებული ტექსტი ახლა ნაჩვენებია ცალკეულ სტრიქონზე ბრჭყალების გარეშე, რაც აადვილებს გზავნილის წაკითხვას და აღმოფხვრის დაბნეულობას, როდესაც წყობილი ბრჭყალები არსებობს ან იყოფა რამდენიმე სტრიქონზე. fn main() { let file = "ferris.txt"; პანიკა! ("ოჰ არა! {ფაილი:?} ვერ მოიძებნა!"); } იყო თემა "მთავარი" პანიკაში იყო "ოჰ არა!" "ferris.txt" ვერ მოიძებნა!', src/main.rs:3:5 თემა "მთავარი" პანიკაში ჩავარდა src/main.rs:3:5: ოჰ არა! "ferris.txt" ვერ მოიძებნა!

  შეტყობინებების გამომავალი, რომელიც ნაჩვენებია „assert_eq“ და „assert_ne“ მაკროების გაშვებისას, ასევე გადამუშავებულია. fn main() { assert_eq!("🦀", "🐟", "ფერისი თევზი არ არის"); } იყო თემა 'მთავარი' პანიკაში ჩავარდნილი 'მტკიცება ჩაიშალა: `(მარცხნივ == მარჯვნივ)` მარცხნივ: `"🦀"`, მარჯვნივ: `"🐟"`: ფერისი თევზი არ არის', src/main.rs: 2 :5 თემა "მთავარი" პანიკაში ჩავარდა src/main.rs:2:5: მტკიცება `მარცხნივ == მარჯვნივ` ვერ მოხერხდა: ფერისი არ არის თევზი მარცხენა: "🦀" მარჯვნივ: "🐟"

• RFC 3184-ის შესაბამისად, დამატებულია thread-local (thread_local) LocalKey შენახვის გასაღებების პირდაპირი მანიპულირების შესაძლებლობა. > და LocalKey > get(), set(), take() და replace() მეთოდების გამოყენებით, ნაცვლად "with(|inner| ...)" დახურვის გამოყენებისა, რაც გამორიცხავს დამატებითი ინიციალიზაციის კოდის შესრულების აუცილებლობას. ნაგულისხმევი მნიშვნელობები მითითებულია ახალი ძაფებისთვის მაკრო "thread_local!"-ის გამოყენებისას. thread_local! { სტატიკური საგნები: უჯრედი > = უჯრედი::new(Vec::new()); } fn f() { // იყო THINGS.with(|i| i.set(vec![32, 1, 2])); // გახდა THINGS.set(vec![3, 1, 2]); // ... // იყო ნება v = THINGS.with(|i| i.take()); // გახდა let v: Vec = THINGS.take(); }
• API-ს ახალი ნაწილი გადავიდა სტაბილურების კატეგორიაში, მათ შორის, სტაბილიზირებულია თვისებების მეთოდები და განხორციელებები:
  • ხელმოუწერელი {მთლიანი}::div_ceil
  • ხელმოუწერელი {integer}::next_multiple_of
  • ხელმოუწერელი {integer}::checked_next_multiple_of
  • std::ffi::FromBytesUntilNulError
  • std::os::unix::fs::chown
  • std::os::unix::fs::fchown
  • std::os::unix::fs::lfchown
  • ლოკალური გასაღები:: >::მიიღე
  • ლოკალური გასაღები:: >:: კომპლექტი
  • ლოკალური გასაღები:: >::მიიღე
  • ლოკალური გასაღები:: >::ჩანაცვლება
  • ლოკალური გასაღები:: >::with_borrow
  • ლოკალური გასაღები:: >::with_borrow_mut
  • ლოკალური გასაღები:: >:: კომპლექტი
  • ლოკალური გასაღები:: >::მიიღე
  • ლოკალური გასაღები:: >::ჩანაცვლება
• "const" ატრიბუტი, რომელიც განსაზღვრავს მისი გამოყენების შესაძლებლობას ნებისმიერ კონტექსტში მუდმივების ნაცვლად, გამოიყენება ფუნქციებში:
  • rc:: სუსტი:: ახალი
  • სინქრონიზაცია:: სუსტი:: ახალი
  • NonNull::as_ref
• შემდგენელი უზრუნველყოფს ვერსიის ინფორმაციის ჩაწერას ".კომენტარის" განყოფილებაში, GCC-ისა და Clang-ის მსგავსად.
• მხარდაჭერის მესამე დონე დანერგილია პლატფორმებისთვის aarch64-unknown-teeos, csky-unknown-linux-gnuabiv2, riscv64-linux-android, riscv64gc-unknown-hermit, x86_64-unikraft-linux-musl და x86_64-unknown-linux. -ოჰოს. მესამე დონე მოიცავს საბაზისო მხარდაჭერას, მაგრამ ავტომატური ტესტირების, ოფიციალური ნაგებობების გამოქვეყნების ან კოდის აწყობის შემოწმების გარეშე.
• განხორციელდა სამიზნე პლატფორმის wasm32-wasi-preview1-threads მხარდაჭერის მეორე დონე. მხარდაჭერის მეორე დონე მოიცავს შეკრების გარანტიას.

წყარო: opennet.ru