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

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

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

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

• ხაზების ფორმატირების ბლოკებში, გარდა ადრე ხელმისაწვდომი ცვლადების ჩანაცვლების შესაძლებლობისა, რომელიც აშკარად იყო ჩამოთვლილი სტრიქონის შემდეგ რიცხვისა და სახელის მიხედვით, განხორციელებულია თვითნებური იდენტიფიკატორების ჩანაცვლების შესაძლებლობა ხაზში გამოხატვის „{identifier}“-ის დამატებით. მაგალითად: // ადრე მხარდაჭერილი კონსტრუქციები: println!("Hello, {}!", get_person()); println!("გამარჯობა, {0}!", get_person()); println!("გამარჯობა, {person}!", person = get_person()); // ახლა შეგიძლიათ მიუთითოთ let person = get_person(); println! ("გამარჯობა, {person}!");

  იდენტიფიკატორები ასევე შეიძლება განისაზღვროს პირდაპირ ფორმატირების ვარიანტებში. let (სიგანე, სიზუსტე) = get_format(); for (სახელი, ქულა) get_scores() { println!("{name}: {score:width$.precision$}"); }

  ახალი ჩანაცვლება მუშაობს ყველა მაკროში, რომელიც მხარს უჭერს სიმებიანი ფორმატის განსაზღვრას, გარდა "პანიკის!" Rust ენის 2015 და 2018 ვერსიებში, რომლებშიც პანიკა!("{ident}") განიხილება, როგორც ჩვეულებრივი სტრიქონი (Rust 2021-ში ჩანაცვლება მუშაობს).

• Windows პლატფორმაზე std::process::ბრძანების სტრუქტურა შეიცვალა ისე, რომ ბრძანებების შესრულებისას, უსაფრთხოების მიზეზების გამო, ის აღარ ეძებს შესრულებად ფაილებს მიმდინარე დირექტორიაში. მიმდინარე დირექტორია გამორიცხულია, რადგან ის შეიძლება გამოყენებულ იქნას მავნე კოდის შესასრულებლად, თუ პროგრამები გაშვებულია არასანდო დირექტორიებში (CVE-2021-3013). ახალი შესრულებადი ამოცნობის ლოგიკა მოიცავს Rust დირექტორიების, აპლიკაციების დირექტორიაში, Windows სისტემის დირექტორიაში და PATH გარემოს ცვლადში მითითებულ დირექტორიების ძიებას.
• სტანდარტული ბიბლიოთეკამ გააფართოვა ფუნქციების რაოდენობა, მონიშნული "#[უნდა_გამოიყენოს]" გაფრთხილების გასაცემად, თუ დაბრუნებული მნიშვნელობა იგნორირებულია, რაც ხელს უწყობს შეცდომების იდენტიფიცირებას იმ ვარაუდით, რომ ფუნქცია შეცვლის მნიშვნელობებს, ვიდრე დააბრუნებს ახალ მნიშვნელობას.
• API-ს ახალი ნაწილი გადავიდა სტაბილურების კატეგორიაში, მათ შორის, სტაბილიზირებულია თვისებების მეთოდები და განხორციელებები:
  • მეტამონაცემები::is_symlink
  • ბილიკი::is_symlink
  • {მთელი}::saturating_div
  • ვარიანტი::unwrap_unchecked
  • შედეგი::unwrap_unchecked
  • შედეგი::unwrap_err_unchecked
• "const" ატრიბუტი, რომელიც განსაზღვრავს მისი გამოყენების შესაძლებლობას ნებისმიერ კონტექსტში მუდმივების ნაცვლად, გამოიყენება ფუნქციებში:
  • ხანგრძლივობა::ახალი
  • ხანგრძლივობა::შემოწმებული_დამატება
  • ხანგრძლივობა::saturating_add
  • ხანგრძლივობა::checked_sub
  • Duration::saturating_sub
  • ხანგრძლივობა::checked_mul
  • ხანგრძლივობა::გაჯერება_მულ
  • ხანგრძლივობა::checked_div
• ნებადართულია "*const T" მაჩვენებლების გაუქმება "const" კონტექსტში.
• ტვირთის პაკეტის მენეჯერში rust_version ველი დაემატა პაკეტის მეტამონაცემებს, ხოლო ოფცია „--message-format“ დამატებულია „cargo install“ ბრძანებას.
• შემდგენელი ახორციელებს მხარდაჭერას CFI (Control Flow Integrity) დაცვის მექანიზმისთვის, რომელიც ამატებს ჩეკებს ყოველი არაპირდაპირი გამოძახების წინ, რათა აღმოაჩინოს გაურკვეველი ქცევის ზოგიერთი ფორმა, რამაც შეიძლება გამოიწვიოს ნორმალური შესრულების წესის დარღვევა (კონტროლის ნაკადი) შედეგად ექსპლოიტების გამოყენება, რომლებიც ცვლის ფუნქციების მეხსიერებაში შენახულ მაჩვენებლებს.
• შემდგენელმა დაამატა მხარდაჭერა LLVM დაფარვის შედარების ფორმატის 5 და 6 ვერსიებისთვის, რომლებიც გამოიყენება ტესტირების დროს კოდის დაფარვის შესაფასებლად.
• შემდგენელში მოთხოვნები LLVM მინიმალურ ვერსიაზე ამაღლებულია LLVM 12-მდე.
• განხორციელდა x86_64-unknown-none პლატფორმის მხარდაჭერის მესამე დონე. მესამე დონე მოიცავს საბაზისო მხარდაჭერას, მაგრამ ავტომატური ტესტირების, ოფიციალური ნაგებობების გამოქვეყნების ან კოდის აწყობის შემოწმების გარეშე.

გარდა ამისა, ჩვენ შეგვიძლია აღვნიშნოთ Microsoft-ის მიერ გამოქვეყნებული Rust Windows 0.30 ბიბლიოთეკებისთვის, რომელიც საშუალებას გაძლევთ გამოიყენოთ Rust ენა Windows OS-ისთვის აპლიკაციების შესაქმნელად. ნაკრები მოიცავს ორ crate პაკეტს (windows და windows-sys), რომლის მეშვეობითაც შეგიძლიათ წვდომა Win API-ზე Rust პროგრამებში. API მხარდაჭერის კოდი იქმნება დინამიურად მეტამონაცემებიდან, რომლებიც აღწერს API-ს, რაც საშუალებას გაძლევთ განახორციელოთ მხარდაჭერა არა მხოლოდ არსებული Win API ზარებისთვის, არამედ ზარებისთვის, რომლებიც მომავალში გამოჩნდება. ახალი ვერსია ამატებს მხარდაჭერას UWP (Universal Windows Platform) სამიზნე პლატფორმისთვის და ახორციელებს Handle და Debug ტიპებს.

წყარო: opennet.ru