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

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

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

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

• მაკრო „პანიკა!“-ის გამოყენება სტაბილიზირებულია. კომპილაციის დროს შექმნილ კონტექსტებში, როგორიცაა "const fn" დეკლარაციები. გარდა ამისა, "პანიკის!" გამოყენების გარდა. const დეკლარაციები საშუალებას იძლევა გამოიყენოთ მაკრო "assert!". და სხვა სტანდარტული ბიბლიოთეკის API. სტაბილიზაცია ჯერ არ მოიცავს მთელ ფორმატირების ინფრასტრუქტურას, ამიტომ მისი ამჟამინდელი სახით მაკროა "პანიკა!" შეიძლება გამოყენებულ იქნას მხოლოდ სტატიკური სტრიქონებით (პანიკა!(“...”)) ან ერთი ინტერპოლირებული მნიშვნელობით "&str" ჩანაცვლებისას (პანიკა!("{}", ა)), რომელიც უნდა შემოიფარგლოს "{"-ის ჩანაცვლებით. }" ფორმატირების სპეციფიკაციების და სხვა ტიპების გარეშე. მომავალში, მაკროების გამოყენებადობა მუდმივ კონტექსტში გაფართოვდება, მაგრამ სტაბილიზებული შესაძლებლობები უკვე საკმარისია მტკიცების შემოწმების შესასრულებლად კომპილაციის ეტაპზე: const _: () = assert!(std::mem::size_of:: () == 64); const _: () = მტკიცება!(std::mem::size_of:: () == 8);
• Cargo პაკეტის მენეჯერი საშუალებას აძლევს გამოიყენოს პროფილები თვითნებური სახელებით, არ შემოიფარგლება მხოლოდ "dev", "release", "test" და "bench". მაგალითად, იმისთვის, რომ ჩართოთ ოპტიმიზაცია დაკავშირების ეტაპზე (LTO) მხოლოდ საბოლოო პროდუქტის ასამბლეის გენერირებისას, შეგიძლიათ შექმნათ „წარმოების“ პროფილი Cargo.toml-ში და დაამატოთ მას „lto = true“ დროშა. თუმცა, თქვენი საკუთარი პროფილების განსაზღვრისას, თქვენ უნდა მიუთითოთ არსებული პროფილი მისგან ნაგულისხმევი პარამეტრების მემკვიდრეობით. ქვემოთ მოყვანილი მაგალითი ქმნის „წარმოების“ პროფილს, რომელიც ავსებს „გამოშვების“ პროფილს „lto = true“ დროშის ჩათვლით. თავად პროფილი აქტიურდება ტვირთის გამოძახებით „--პროფილის წარმოება“ ოფციით და აწყობის არტეფაქტები განთავსდება „სამიზნე/წარმოების“ დირექტორიაში. [პროფილი.წარმოება] მემკვიდრეობით = "გამოშვება" lto = მართალია
• სტაბილიზირებულია try_reserve-ის გამოყენება Vec, String, HashMap, HashSet და VecDeque ტიპებისთვის, რაც საშუალებას გაძლევთ წინასწარ დაჯავშნოთ სივრცე მოცემული ტიპის ელემენტების გარკვეული რაოდენობისთვის, რათა შეამციროთ მეხსიერების განაწილების ოპერაციების სიხშირე და თავიდან აიცილოთ ავარია ოპერაციის დროს მეხსიერების ნაკლებობის გამო.
• ნებადართულია მაკროების მითითება ხვეული ბრეკეტებით ისეთი გამონათქვამებით, როგორიცაა "m!{ .. }.method()" და "m!{ .. }?".
• File::read_to_end და read_to_string ფუნქციების შესრულება ოპტიმიზებულია.
• Unicode სპეციფიკაციის მხარდაჭერა განახლდა 14.0 ვერსიამდე.
• გაფართოვდა ფუნქციების რაოდენობა, მონიშნული "#[უნდა_გამოიყენოს]" გაფრთხილების გასაცემად, თუ დაბრუნებული მნიშვნელობა იგნორირებულია, რაც ხელს უწყობს შეცდომების იდენტიფიცირებას იმის გამო, რომ ფუნქცია შეცვლის მნიშვნელობებს, ვიდრე დააბრუნებს ახალ მნიშვნელობას.
• დამატებულია ექსპერიმენტული გვერდი კოდის გენერირებისთვის libgccjit-ის გამოყენებით.
• API-ს ახალი ნაწილი გადავიდა სტაბილურების კატეგორიაში, მათ შორის, სტაბილიზირებულია თვისებების მეთოდები და განხორციელებები:
  • [T; N]::as_mut_slice
  • [T; N]::as_slice
  • კოლექციები::TryReserveError
  • HashMap::try_reserve
  • HashSet::try_reserve
  • სტრიქონი::try_reserve
  • სტრიქონი::try_reserve_exact
  • Vec::try_reserve
  • Vec::try_reserve_exact
  • VecDeque::try_reserve
  • VecDeque::try_reserve_exact
  • Iterator::map_while
  • iter::MapWhile
  • proc_macro::is_available
  • ბრძანება::get_program
  • ბრძანება::get_args
  • ბრძანება::get_envs
  • ბრძანება::get_current_dir
  • CommandArgs
  • CommandEnvs
• "const" ატრიბუტი, რომელიც განსაზღვრავს, შეიძლება თუ არა მისი გამოყენება ნებისმიერ კონტექსტში მუდმივების ნაცვლად, გამოიყენება ფუნქციაში hint::unreachable_unchecked.
• მხარდაჭერის მესამე დონე დანერგილია armv6k-nintendo-3ds, armv7-unknown-linux-uclibceabihf, m68k-unknown-linux-gnu, aarch64-kmc-solid_asp3, armv7a-kmc-solid_asp3-eabi და armv7a-k. solid_asp3-eabihf პლატფორმები. მესამე დონე მოიცავს საბაზისო მხარდაჭერას, მაგრამ ავტომატური ტესტირების, ოფიციალური ნაგებობების გამოქვეყნების ან კოდის აწყობის შემოწმების გარეშე.

წყარო: opennet.ru