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

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

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

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

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

• შესაძლებელია ძირითადი ფუნქციიდან საკუთარი დაბრუნების კოდების განსაზღვრა. თავდაპირველად, Rust-ის მთავარ ფუნქციას შეეძლო დაებრუნებინა მხოლოდ ტიპი "()" (ერთეული), რომელიც ყოველთვის მიუთითებდა წარმატებულ გასვლის სტატუსზე, თუ დეველოპერმა ცალსახად არ მოუწოდა "process::exit(code)" ფუნქცია. Rust 1.26-ში, მთავარ ფუნქციაში არასტაბილური Termination მახასიათებლის გამოყენებით, შესაძლებელი გახდა მნიშვნელობების დაბრუნება "Ok" და "Err", რომლებიც შეესაბამება C პროგრამებში EXIT_SUCCESS და EXIT_FAILURE კოდებს. Rust 1.61-ში, Termination მახასიათებელი გახდა სტაბილური და შემოთავაზებულია ცალკე ExitCode ტიპი, რომელიც წარმოადგენს სპეციფიკურ დაბრუნების კოდს, რომელიც აბსტრაქტებს პლატფორმის სპეციფიკურ დაბრუნების ტიპებს წინასწარ განსაზღვრული მუდმივების SUCCESS და FAILURE და From მეთოდის მიწოდებით. უკანონო დაბრუნების კოდის დასაბრუნებლად. გამოიყენეთ std::process::ExitCode; fn main() -> ExitCode { if !check_foo() { return ExitCode::from(8); } ExitCode::SUCCESS }
• სტაბილიზირებულია ფუნქციების დამატებითი შესაძლებლობები, რომლებიც განსაზღვრულია გამოთქმის "const fn" გამოყენებით, რომელსაც შეიძლება ეწოდოს არა მხოლოდ რეგულარული ფუნქციები, არამედ ნებისმიერ კონტექსტში გამოყენება მუდმივების ნაცვლად. ეს ფუნქციები გამოითვლება კომპილაციის დროს და არა გაშვების დროს, ამიტომ ისინი ექვემდებარება გარკვეულ შეზღუდვებს, როგორიცაა მუდმივებიდან მხოლოდ წაკითხვის შესაძლებლობა. ახალ ვერსიაში დაშვებულია ძირითადი ოპერაციები ფუნქციის მაჩვენებლებით const ფუნქციების შიგნით (დაშვებულია მაჩვენებლების შექმნა, გადაცემა და ჩამოსხმა, მაგრამ არა ფუნქციის მაჩვენებლით გამოძახება); ნიშან-თვისებების საზღვრები const ფუნქციების ზოგადი პარამეტრებისთვის, როგორიცაა T: Copy; დინამიურად გადასატანი თვისებები (dyn Trait); impl Trait ტიპები ფუნქციის არგუმენტებისთვის და დაბრუნების მნიშვნელობებისთვის.
• ნაკადი ამუშავებს Stdin-ს, Stdout-ს და Stderr-ს std::io-ში ახლა აქვთ სტატიკური სიცოცხლის ხანგრძლივობა („სტატიკური“), როდესაც დაბლოკილია, რაც საშუალებას აძლევს კონსტრუქციებს, როგორიცაა „let out = std::io::stdout().lock();“ სახელურის აღებით და საკეტის დაყენებით ერთ გამომეტყველებაში.
• API-ს ახალი ნაწილი გადავიდა სტაბილურების კატეგორიაში, მათ შორის, სტაბილიზირებულია თვისებების მეთოდები და განხორციელებები:
  • Pin::static_mut
  • Pin::static_ref
  • Vec::retain_mut
  • VecDeque::retain_mut
  • ჩაწერეთ კურსორისთვის
  • std::os::unix::net::SocketAddr::from_pathname
  • std:: პროცესი:: ExitCode
  • std::პროცესი::შეწყვეტა
  • std::thread::JoinHandle::is_finished
• "const" ატრიბუტი, რომელიც განსაზღვრავს მისი გამოყენების შესაძლებლობას ნებისმიერ კონტექსტში მუდმივების ნაცვლად, გამოიყენება ფუნქციებში:
  • ::offset და ::offset
  • ::wrapping_offset და ::wrapping_offset
  • ::add და ::add
  • ::sub და ::sub
  • ::wrapping_add და ::wrapping_add
  • ::wrapping_sub და ::wrapping_sub
  • ::as_mut_ptr
  • ::as_ptr_range
  • ::as_mut_ptr_range

გარდა ამისა, შეგიძლიათ გაითვალისწინოთ სტატია "Rust: კრიტიკული რეტროსპექტივა" Rust ენის შთაბეჭდილებების შეჯამებით მასში კოდის 100 ათასი სტრიქონის დაწერის შემდეგ, Xous microkernel ოპერაციული სისტემის შემუშავების დროს, რომელიც გამოიყენება firmware-ში. ნაკლოვანებები მოიცავს რთულად გასაგებ სინტაქსს, ენის არასრულყოფილებას და მუდმივ განვითარებას, განმეორებადი ნაგებობების ნაკლებობას, Crates.io-ზე დამოკიდებულების ნდობის ტიპურ პრობლემებს და უსაფრთხო კოდის დაწერისთვის გარკვეული დისციპლინის შენარჩუნების აუცილებლობას. ფუნქციები, რომლებმაც გადააჭარბა მოლოდინს, მოიცავს ინსტრუმენტებს კოდის რეფაქტორაციისა და სწრაფი პროტოტიპის დროს დამატებული „ჰაკების“ გადამუშავებისთვის.

წყარო: opennet.ru