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

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

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

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

• განხორციელებული მხარდაჭერა ტიპებისთვის მასივები ნებისმიერი ზომის. ადრე, ყველა მთელი მნიშვნელობისთვის ზოგადი ფუნქციების განსაზღვრის შეუძლებლობის გამო, სტანდარტული ბიბლიოთეკა უზრუნველყოფდა ჩაშენებულ ნიშან-თვისებების მხარდაჭერას მხოლოდ 32 ელემენტამდე ზომის მასივებისთვის (თითოეული ზომის მახასიათებლები სტატიკურად იყო განსაზღვრული). მუდმივი გენერიკების ფუნქციონირების შექმნის წყალობით ("const generics") შესაძლებელი გახდა მასივის ნებისმიერი ზომისთვის ზოგადი ფუნქციების განსაზღვრა, მაგრამ ისინი ჯერ კიდევ არ შედის ენის სტაბილურ მახასიათებლებში, თუმცა ისინი დანერგილია კომპილატორში და ახლა. ჩართული სტანდარტულ ბიბლიოთეკაში ნებისმიერი ზომის მასივის ნიშნებისთვის.

  მაგალითად, Rust 1.47-ში შემდეგი კონსტრუქცია დაბეჭდავს მასივის შიგთავსს, თუმცა ადრე ეს შეცდომას გამოიწვევდა:

  fn main () {
  მოდით xs = [0; 34];

  println!("{:?}", xs);
  }

• უზრუნველყოფილი გამომავალი მოკლე კვალის (backtrace), გამომავალი საგანგებო სიტუაციებში. ელემენტები, რომლებიც არ არის საინტერესო უმეტეს სიტუაციებში, მაგრამ აფუჭებს გამოსავალს და ყურადღების გადატანას პრობლემის ძირითადი მიზეზებიდან, გამორიცხულია კვალიდან. სრული კვალის დასაბრუნებლად შეგიძლიათ გამოიყენოთ გარემოს ცვლადი "RUST_BACKTRACE=full". მაგალითად, კოდისთვის

  fn main () {
  პანიკა!();
  }

  ადრე კვალი გამოდიოდა 23 ეტაპად, ახლა კი შემცირდება
  3 ნაბიჯი, რომელიც საშუალებას გაძლევთ დაუყოვნებლივ გაითავისოთ არსი:

  თემა "მთავარი" პანიკაში ჩავარდა "გამოკვეთილ პანიკაზე", src/main.rs:2:5
  stack backtrace:
  0: std::პანიკა::begin_panic
  მისამართზე /rustc/d…d75a/library/std/src/panicking.rs:497
  1: სათამაშო მოედანი:: მთავარი
  მისამართზე ./src/main.rs:2
  2: core::ops::function::FnOnce::call_once
  მისამართზე /rustc/d…d75a/library/core/src/ops/function.rs:227

• rustc შემდგენელი განახლდა კონსტრუქციის გამოყენებით LLVM 11 (ჟანგი იყენებს LLVM როგორც backend for კოდის გენერირება). ამავდროულად, შენარჩუნებულია ძველი LLVM-ებით აშენების შესაძლებლობა, მე-8 ვერსიამდე, მაგრამ ნაგულისხმევად ( rust-lang/llvm-პროექტი) ახლა იყენებს LLVM 11-ს. LLVM 11 სავარაუდოდ გამოვა უახლოეს დღეებში.
• Windows-ის პლატფორმაზე rustc შემდგენელი უზრუნველყოფს მხარდაჭერას კონტროლის ნაკადის მთლიანობის შემოწმების ჩართვისთვის (Control Flow Guard), რომელიც გააქტიურებულია „-C control-flow-guard“ დროშის გამოყენებით. სხვა პლატფორმებზე ეს დროშა ამჟამად იგნორირებულია.
• API-ების ახალი ნაწილი გადავიდა სტაბილურ კატეგორიაში, მათ შორის სტაბილიზებული
  Ident::new_raw,
  დიაპაზონი::is_empty,
  RangeInclusive::is_empty,
  შედეგი::as_deref,
  შედეგი::as_deref_mut,
  Vec:: გაჟონვა,
  მაჩვენებელი::offset_from,
  f32::TAU და
  f64::TAU.

• "const" ატრიბუტი, რომელიც განსაზღვრავს მისი გამოყენების შესაძლებლობას ნებისმიერ კონტექსტში მუდმივების ნაცვლად, გამოიყენება მეთოდებში:
  • ახალი ყველა მთელი რიცხვისთვის ნულის გარდა;
  • checked_add, checked_sub, checked_mul, checked_neg, checked_shl, checked_shr, saturating_add, saturating_sub და saturating_mul ყველა მთელი რიცხვისთვის;
  • is_ascii_ანბანური, არის_ascii_ზედა, არის_ascii_პატარა, არის_ascii_ალფაციფრული, არის_ascii_ციფრი, არის_ascii_თექვსმეტობითი, არის_ascii_პუნქტუაცია, არის_ascii_graphic, is_ascii_whitespace და არის_ კონტროლი.
• FreeBSD-სთვის ჩართული ინსტრუმენტარიუმი FreeBSD 11.4-დან (FreeBSD 10 არ უჭერს მხარს LLVM 11-ს).

წყარო: opennet.ru