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

გამოქვეყნდა სისტემის პროგრამირების ენის გამოშვება ჟანგი 1.39, დაარსებული Mozilla პროექტის მიერ. ენა ფოკუსირებულია მეხსიერების უსაფრთხოებაზე, უზრუნველყოფს მეხსიერების ავტომატურ მენეჯმენტს და უზრუნველყოფს საშუალებებს, რათა მივაღწიოთ დავალებების მაღალი პარალელურობის მიღწევას ნაგვის შემგროვებლის ან მუშაობის დროის გარეშე.

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

მთავარი ინოვაციები:

• სტაბილიზირებულია ახალი ასინქრონული პროგრამირების სინტაქსი, რომელიც დაფუძნებულია "async" ფუნქციაზე, async move { ... } ბლოკზე და ".await" ოპერატორზე, რაც აადვილებს დამმუშავებლების დაწერას, რომლებიც არ ბლოკავს ბრძანებების მთავარ ნაკადს. ასინქრონული I/O-სთვის ადრე შემოთავაზებულ API-სთან შედარებით, async/.await კონსტრუქციები მარტივი გასაგებია, ძალიან იკითხება და საშუალებას გაძლევთ განახორციელოთ რთული ასინქრონული ურთიერთქმედება ნაცნობი ნაკადის კონტროლის ტექნიკის გამოყენებით მარყუჟების, პირობითი განცხადებებისა და გამონაკლისების საფუძველზე.

  Async-wait სინტაქსი საშუალებას გაძლევთ შექმნათ ფუნქციები, რომლებსაც შეუძლიათ შეაჩერონ მათი შესრულება, დააბრუნონ კონტროლი მთავარ თემაში და შემდეგ განაახლონ შესრულება იქიდან, სადაც შეჩერდნენ. მაგალითად, ასეთი პაუზა საჭიროა I/O-ს დამუშავებისას, რომელშიც სხვა სამუშაოს შესრულება შესაძლებელია შემდეგი მონაცემების მოლოდინში. ფუნქციები და ბლოკები, რომლებიც განსაზღვრულია "async fn" და "async move" აბრუნებს თვისებას მომავალი, რომელიც განსაზღვრავს გადადებულ ასინქრონულ გამოთვლის წარმოდგენას. თქვენ შეგიძლიათ პირდაპირ დაიწყოთ გადადებული გამოთვლა და მიიღოთ შედეგი ოპერატორის „.wait“ გამოყენებით. არანაირი ქმედება არ არის შესრულებული ან წინასწარ დაგეგმილი, სანამ არ გამოიძახება .wait, რაც საშუალებას იძლევა შეიქმნას რთული წყობილი კონსტრუქციები დამატებითი ზედნადების გარეშე.

  async fn first_function() -> u32 { .. }
  ...
  მოდით მომავალი = first_function();
  ...
  დაუშვით შედეგი: u32 = მომავალი.ელოდება;

• სტაბილიზირებულია "#![feature(bind_by_move_pattern_guards)]", რომელიც ნებადართულია ცვლადების გამოყენების დამაკავშირებელი ტიპის "მოძრაობით" შაბლონებში და გამოიყენეთ მითითებები ამ ცვლადებზე გამოთქმის "თუ" განყოფილებაში "ემთხვევა". მაგალითად, ახლა დაშვებულია შემდეგი კონსტრუქციები:

  fn main () {
  მოდით მასივი: Box<[u8; 4]> = ყუთი::new([1, 2, 3, 4]);

  შესატყვისი მასივი {
  ნუმსი
  თუ nums.iter().ჯუმა::() == 10

  => {
  წვეთი (რიცხვები);
  }
  _ => მიუწვდომელია!(),
  }
  }

• დაშვებული მითითება ატრიბუტები ფუნქციის პარამეტრების, დახურვისა და ფუნქციის მაჩვენებლების განსაზღვრისას. მხარდაჭერილია პირობითი კომპილაციის ატრიბუტები (cfg, cfg_attr), რომლებიც აკონტროლებენ დიაგნოსტიკას lint-ის (დაშვება, გაფრთხილება, უარყოფა და აკრძალვა) და დამხმარე მაკრო გამოძახების ატრიბუტების მეშვეობით.

  fn len (
  #[cfg(windows)] ნაჭერი: &[u16], // გამოიყენეთ პარამეტრი Windows-ზე
  #[cfg(not(windows))] ნაჭერი: &[u8], // გამოყენება სხვა OS-ში
  ) -> გამოიყენეთ {
  slice.len()
  }

• გაფრთხილებები პრობლემების შესახებ, რომლებიც იდენტიფიცირებულია ცვლადების სესხის შემოწმებისას (სესხების შემოწმება) NLL (არალექსიკური სიცოცხლის ხანგრძლივობა) ტექნიკის გამოყენებით, თარგმნა ფატალური შეცდომების კატეგორიაში. შეგახსენებთ, რომ გადამოწმების სისტემამ, რომელიც დაფუძნებულია ნასესხები ცვლადების სიცოცხლის ხანგრძლივობის გათვალისწინების ახალ მექანიზმზე დაფუძნებულმა, შესაძლებელი გახადა გარკვეული პრობლემების იდენტიფიცირება, რომლებიც შეუმჩნეველი დარჩა ძველი დამადასტურებელი კოდით. ვინაიდან ასეთი შემოწმების შეცდომებმა შეიძლება გავლენა მოახდინოს ადრე მოქმედ კოდებთან თავსებადობაზე, შეცდომების ნაცვლად თავდაპირველად გაფრთხილებები იყო გაცემული. გაფრთხილებები ახლა შეიცვალა შეცდომებით Rust 2018 რეჟიმში მუშაობისას. მომდევნო გამოშვებაში შეცდომის გამოტანა ასევე განხორციელდება Rust 2015 რეჟიმში, რომელიც საბოლოოდ მოიშორებს ძველ სესხის შემოწმებას;
• "const" ატრიბუტი, რომელიც განსაზღვრავს მუდმივების ნაცვლად ნებისმიერ კონტექსტში გამოყენების შესაძლებლობას, გამოიყენება ფუნქციებისთვის Vec::new, String::new, LinkedList::new, str::len, [T]::len ფუნქციებისთვის. , str::as_bytes,
  abs, wrapping_abs და overflowing_abs;

• API-ების ახალი ნაწილი გადავიდა სტაბილურ კატეგორიაში, მათ შორის სტაბილიზირებული მეთოდები
  Pin::into_inner, Instant::checked_duration_ince და Instant::saturating_duration_since;

• ტვირთის პაკეტის მენეჯერს ახლა აქვს შესაძლებლობა გამოიყენოს „.toml“ გაფართოება კონფიგურაციის ფაილებისთვის. დამატებულია წინასწარი მხარდაჭერა სტანდარტული ბიბლიოთეკის მშენებლობისთვის პირდაპირ Cargo-დან. დაემატა "--workspace" დროშა, რომელიც შეცვალა საკამათო დროშა "--all". ახალი ველი დაემატა მეტამონაცემებს "აქვეყნებს“, რომელიც საშუალებას გაძლევთ გამოაქვეყნოთ დამოკიდებულებები git tag და ვერსიის ნომრის მითითებით. დამატებულია სატესტო ვარიანტი "-Ztimings" სხვადასხვა კომპილაციის ეტაპების შესრულების დროების HTML ანგარიშის შესაქმნელად.
• rustc შემდგენელში, დიაგნოსტიკური შეტყობინებები მოიცავს კოდის კუდების ამოჭრას, რომელიც არ ჯდება ტერმინალში. უზრუნველყოფილია მესამე დონის მხარდაჭერა სამიზნე პლატფორმებისთვის
  i686-unknown-uefi და sparc64-unknown-openbsd. მესამე დონე მოიცავს საბაზისო მხარდაჭერას, მაგრამ ავტომატური ტესტირებისა და ოფიციალური ნაგებობების გამოქვეყნების გარეშე.

წყარო: opennet.ru