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

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

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

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

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

• მთელი რიცხვის წარმომადგენლობით ჩამოთვლაში ("#[repr(Int)]" ატრიბუტი), დისკრიმინანტის მკაფიო მითითება (აღრიცხვაში არსებული ოფციის რაოდენობა) დასაშვებია, მაშინაც კი, თუ ჩამოთვლა შეიცავს ველებს. #[repr(u8)] enum Foo { A(u8), # discriminant 0 B(i8), # discriminant 1 C(bool) = 42, # discriminant 42 }
• დამატებულია core::hint::black_box ფუნქცია, რომელიც უბრალოდ აბრუნებს მიღებულ მნიშვნელობას. იმის გამო, რომ შემდგენელი თვლის, რომ მოცემული ფუნქცია აკეთებს კონკრეტულ რამეს, black_box ფუნქცია შეიძლება გამოვიყენოთ შემდგენლის მიერ ციკლების ოპტიმიზაციის გასათიშად კოდის შესრულების ტესტირებისას ან გენერირებული მანქანის კოდის შემოწმებისას (ისე, რომ შემდგენელმა არ ჩათვალოს კოდი გამოუსადეგარი და წაშალოს ის). მაგალითად, ქვემოთ მოყვანილ მაგალითში, black_box(v.as_ptr()) მითითება ხელს უშლის შემდგენელს დაუშვას, რომ v ვექტორი არ გამოიყენება. გამოიყენეთ std::hint::black_box; fn push_cap(v: &mut Vec) { i-სთვის 0..4-ში { v.push(i); შავი_ყუთი(v.as_ptr()); }}
• პაკეტის მენეჯერი "cargo" გთავაზობთ "remove" ბრძანებას, რომელიც საშუალებას გაძლევთ ამოიღოთ დამოკიდებულებები Cargo.toml manifest-დან ბრძანების ხაზიდან.
• API-ს ახალი ნაწილი გადავიდა სტაბილურების კატეგორიაში, მათ შორის, სტაბილიზირებულია თვისებების მეთოდები და განხორციელებები:
  • proc_macro::Span::source_text
  • u*::{შემოწმებული_დამატება_ხელმოწერილი, გადაჭარბებული_დამატებით_ხელმოწერილი, გაჯერებული_დამატებით_ხელმოწერილი, შეფუთვა_დამატებით_ხელმოწერილი}
  • i*::{შემოწმებული_დამატება_ხელმოუწერელი, overflowing_add_unsigned, saturating_add_unsigned, wrapping_add_unsigned}
  • i*::{შემოწმებული_ქვე_ხელმოუწერელი, overflowing_sub_unsigned, saturating_sub_unsigned, wrapping_sub_unsigned}
  • BTreeSet::{პირველი, ბოლო, pop_first, pop_last}
  • BTreeMap::{first_key_value, last_key_value, first_entry, last_entry, pop_first, pop_last}
  • დაამატეთ AsFd განხორციელებები stdio lock ტიპებისთვის WASI გამოყენებისას.
  • impl TryFrom > ყუთისთვის<[T; N]>
  • ძირითადი:: მინიშნება:: შავი_ყუთი
  • ხანგრძლივობა::try_from_secs_{f32,f64}
  • ვარიანტი:: unzip
  • std::os::fd
• შაბლონებში დასაშვებია დიაპაზონების „..X“ და „..=X“ გამოყენება.
• rustc შემდგენელის წინა ნაწილისა და LLVM-ის უკანა ნაწილის აწყობისას გამოიყენება ოპტიმიზაციის რეჟიმები LTO (Link Time Optimization) და BOLT (Binary Optimization and Layout Tool), რაც საშუალებას იძლევა გაზარდოს მიღებული კოდის შესრულება და შეამციროს მეხსიერების მოხმარება.
• მხარდაჭერის მესამე დონე განხორციელდა armv5te-none-eabi და thumbv5te-none-eabi პლატფორმებისთვის. მესამე დონე მოიცავს საბაზისო მხარდაჭერას, მაგრამ ავტომატური ტესტირების, ოფიციალური ნაგებობების გამოქვეყნების ან კოდის აწყობის შემოწმების გარეშე.
• დამატებულია მხარდაჭერა macOS-ის უნივერსალურ ბიბლიოთეკებთან დასაკავშირებლად.

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

წყარო: opennet.ru