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

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

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

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

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

• დამატებულია ლიტერალების მხარდაჭერა C-სტრიქონებისთვის (c"ტექსტი"), რომლებიც ინახება მეხსიერებაში null-ტერმინირებული სიმბოლოთი და ასოცირდება ტიპთან "CStr". მოსალოდნელია, რომ C-სტრიქონის მხარდაჭერა გაამარტივებს კოდის დაწერას, რომელიც ურთიერთქმედებს პროგრამირების ენების შრეებთან, რომლებიც იყენებენ ნულშეწყვეტილ სტრიქონებს და საშუალებას მისცემს შესრულდეს საჭირო შემოწმებები კომპილაციის ეტაპზე. const HELLO: &core::ffi::CStr = c"გამარჯობა, სამყარო!";
• ასინქრონულად შესრულებულ ფუნქციებში, რომლებიც გამოცხადებულია გამოხატვის "async fn" გამოყენებით, ნებადართულია რეკურსიის გამოყენება, ე.ი. ასეთ ფუნქციებს ახლა შეუძლიათ საკუთარი თავის დარეკვა. async fn fib(n: u32) -> u32 { match n {0 | 1 => 1, _ => ყუთი:: pin(fib(n-1)). ელოდება + ყუთი:: pin(fib(n-2)). ველი } }
• მაკრო offset_of სტაბილიზირებულია, რაც საშუალებას გაძლევთ განსაზღვროთ სტრუქტურების, ჩამოთვლების, გაერთიანებების და ტოპების ველების ბაიტი ტიპის საწყისთან შედარებით. პრაქტიკაში, მაკრო შეიძლება იყოს გამოსადეგი იმ სიტუაციებში, როდესაც თქვენ გჭირდებათ მუშაობა ველის ოფსეტის დონეზე, ამ ტიპის მაგალითების არარსებობის შემთხვევაში. კერძოდ, offset_of ფუნქციონირება საჭიროა დაბალი დონის კომპონენტების შემუშავებისას, როგორიცაა დრაივერები. გამოიყენეთ std::mem; #[repr(C)] struct FieldStruct { პირველი: u8, მეორე: u16, მესამე: u8 } assert_eq!(mem::offset_of!(FieldStruct, პირველი), 0); assert_eq!(mem::offset_of!(FieldStruct, second), 2); assert_eq!(mem::offset_of!(FieldStruct, მესამე), 4);
• Cargo პაკეტის მენეჯერში, გამოშვების პროფილებში, ფაილების გაწმენდა გამართვის მონაცემებიდან ჩართულია ნაგულისხმევად (strip = „debuginfo“), თუ გამართვის რეჟიმი აშკარად არ არის ჩართული Cargo პროფილში, ე.ი. თუ პარამეტრის გამართვა = 0.
• ოფცია "-Zthir-unsafeck=on" ჩართულია ნაგულისხმევად, რაც უზრუნველყოფს არაუსაფრთხო შემოწმებას THIR-ისთვის (აკრეფილი მაღალი დონის შუალედური წარმომადგენლობა).
• დაემატა ლინტის შემოწმება static_mut_refs-ისთვის, რათა აჩვენოს გაფრთხილება ცვალებადი სტატიკური მნიშვნელობების მითითების გამოყენებისას.
• დანერგილია „From<&T;“-ის გამოყენების შესაძლებლობა. N]>" ტიპის "ძროხა<[T]>". fn foo(მონაცემები: impl Into >) { /* … */ } fn main() { foo(&["გამარჯობა", "მსოფლიო"]); }
• შემდგენელი უზრუნველყოფს 16-ბაიტიანი i128 და u128 ტიპების გასწორებას x86 სისტემებისთვის.
• API-ს ახალი ნაწილი გადავიდა სტაბილურების კატეგორიაში, მათ შორის, სტაბილიზირებულია თვისებების მეთოდები და განხორციელებები:
  • მასივი::each_ref
  • მასივი::each_mut
  • core::net
  • f32::round_ties_ even
  • f64::round_ties_ even
  • mem::offset_of!
  • slice::first_chunk
  • slice::first_chunk_mut
  • slice::split_first_chunk
  • slice::split_first_chunk_mut
  • slice::last_chunk
  • slice::last_chunk_mut
  • slice::split_last_chunk
  • slice::split_last_chunk_mut
  • slice::chunk_by
  • ნაჭერი::chunk_by_mut
  • შეკრული:: რუკა
  • ფაილი::create_new
  • Mutex::clear_poison
  • RwLock::clear_poison
• მხარდაჭერის მესამე დონე დანერგილია aarch64-unknown-illumos, hexagon-unknown-none-elf, riscv32imafc-esp-espidf და riscv32im-risc0-zkvm-elf პლატფორმებისთვის. მესამე დონე მოიცავს საბაზისო მხარდაჭერას, მაგრამ ავტომატური ტესტირების, ოფიციალური ნაგებობების გამოქვეყნების ან კოდის აწყობის შემოწმების გარეშე.

წყარო: opennet.ru