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

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

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

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

• აღმოფხვრილი დიდი ხნის განმავლობაში ნაკლი მთელ რიცხვებსა და მცურავი წერტილის რიცხვებს შორის გადაქცევის შესრულებისას. ვინაიდან Rust შემდგენელი იყენებს LLVM-ს, როგორც backend, ტიპის კონვერტაციის ოპერაციები შესრულდა LLVM შუალედური კოდის ინსტრუქციებით, როგორიცაა ფპტუი, რომლებსაც აქვთ ერთი მნიშვნელოვანი თვისება - განუსაზღვრელი ქცევა, თუ მიღებული მნიშვნელობა არ ჯდება სამიზნე ტიპში. მაგალითად, float მნიშვნელობის 300-ის გადაყვანისას f32 ტიპის მთელ რიცხვში u8-ზე, შედეგი არაპროგნოზირებადია და შეიძლება განსხვავდებოდეს სხვადასხვა სისტემაში. პრობლემა ის არის, რომ ეს ფუნქცია ჩნდება კოდში, რომელიც არ არის მონიშნული, როგორც "უსაფრთხო".

  Rust 1.45-ის მდგომარეობით, ტიპის ზომის გადადინების ქცევა მკაცრად რეგულირდება და "როგორც" კონვერტაციის ოპერაცია ამოწმებს გადინებას და აიძულებს მნიშვნელობას გარდაიქმნას სამიზნე ტიპის მაქსიმალურ ან მინიმალურ მნიშვნელობაზე (მაგალითად ზემოთ, მნიშვნელობა: 300 გადაიქცევა 255-ად). ასეთი შემოწმებების გასათიშად, მოწოდებულია დამატებითი API გამოძახებები „{f64, f32}::to_int_unchecked“, რომლებიც მუშაობენ არაუსაფრთხო რეჟიმში.

  fn cast(x: f32) -> u8 {
  x როგორც u8
  }

  fn main () {
  let too_big = 300.0;
  მოდით ძალიან_პატარა = -100.0;
  მოდით nan = f32::NAN;

  მოდით x: f32 = 1.0;
  მოდით y: u8 = სახიფათო { x.to_int_unchecked() };

  println!("too_big_casted = {}", cast(too_big)); // გამომავალი 255
  println!("too_small_casted = {}", cast(too_small)); // გამომავალი 0
  println!("not_a_number_casted = {}", cast(nan)); // გამომავალი 0
  }

• გამოიყენეთ სტაბილიზირებული პროცედურული მაკროებიფუნქციის მსგავსი გამონათქვამები, შაბლონები და განცხადებები. ადრე, ასეთი მაკროების გამოძახება ყველგან არ შეიძლებოდა, მაგრამ მხოლოდ კოდის გარკვეულ ნაწილებში (როგორც ცალკე ზარი, არ იყო გადახლართული სხვა კოდთან). მაკროების გამოძახების გაფართოება, ფუნქციების მსგავსად, იყო ერთ-ერთი მოთხოვნა ვებ ჩარჩოს მუშაობისთვის. სარაკეტო Rust-ის სტაბილურ გამოშვებებში. ადრე, Rocket-ში დამმუშავებლების განსაზღვრისას დამატებითი მოქნილობის მისაღწევად მოითხოვდა ექსპერიმენტული ფუნქციის ჩართვას სახელწოდებით "proc_macro_hygiene", რომელიც არ არის ხელმისაწვდომი Rust-ის სტაბილურ ვერსიებში. ეს ფუნქცია ახლა ჩაშენებულია ენის სტაბილურ გამოშვებებში.
• ნებადართულია გამოიყენოს დიაპაზონები ტიპის „char“ დიაპაზონის მნიშვნელობების გამეორებისთვის (ops::{Range, RangeFrom, RangeFull, RangeInclusive, RangeTo}):

  ch-სთვის 'a'..='z'-ში {
  ბეჭდვა!("{}", ჩ);
  }
  println!(); // დაიბეჭდება "abcdefghijklmnopqrstuvwxyz"

• API-ების ახალი ნაწილი გადავიდა სტაბილურ კატეგორიაში, მათ შორის სტაბილიზებული
  Arc::as_ptr,
  BTreeMap::remove_entry,
  Rc::as_ptr,
  rc:: სუსტი::as_ptr,
  rc:: სუსტი::from_raw,
  rc:: სუსტი::into_raw,
  str::strip_prefix,
  str::strip_suffix,
  სინქრონიზაცია:: სუსტი:: as_ptr,
  სინქრონიზაცია:: სუსტი::_რამიდან,
  სინქრონიზაცია::სუსტი::into_raw,
  char::UNICODE_VERSION,
  Span::resolved_at,
  Span::located_at,
  Span:: mixed_site,
  unix::პროცესი::CommandExt::arg0.

• rustc შემდგენელმა დაამატა მხარდაჭერა სხვადასხვა სამიზნე პლატფორმის ფუნქციების გადალახვისთვის "target-feature" დროშის გამოყენებით, მაგალითად, "-C target-feature=+avx2,+fma". ასევე დაემატა ახალი დროშები:
  "force-unwind-tables" განტვირთვის ზარების ცხრილების გენერირებისთვის, ავარიის მართვის სტრატეგიის მიუხედავად; "embed-bitcode" გასაკონტროლებლად შედის თუ არა LLVM ბიტკოდი გენერირებულ rlib-ებში. "embed-bitcode" დროშა ჩართულია ნაგულისხმევად Cargo-ში, რათა ოპტიმიზაცია მოახდინოს აშენების დროისა და დისკის სივრცის მოხმარებისთვის.

• მხარდაჭერის მესამე დონე უზრუნველყოფილია mipsel-sony-psp და thumbv7a-uwp-windows-msvc პლატფორმებისთვის. მესამე დონე მოიცავს საბაზისო მხარდაჭერას, მაგრამ ავტომატური ტესტირებისა და ოფიციალური ნაგებობების გამოქვეყნების გარეშე.

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

წყარო: opennet.ru