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

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

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

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

• დამატებულია მილსადენის კომპილაციის რეჟიმი (pipelined), რომელშიც დამოკიდებული კრატის პაკეტის აგება იწყება როგორც კი დამოკიდებულების მეტამონაცემები ხელმისაწვდომი გახდება, მისი შედგენის დასრულებამდე მოლოდინის გარეშე. პაკეტის შედგენისას, დამოკიდებულებებს არ სჭირდება სრულად აწყობა, მხოლოდ მეტამონაცემების განსაზღვრა, რომელიც მოიცავს ტიპების, დამოკიდებულებების და ექსპორტირებული ელემენტების ჩამონათვალს. მეტამონაცემები ხელმისაწვდომი ხდება შედგენის პროცესის დასაწყისში, ასე რომ, დაკავშირებული პაკეტების შედგენა შესაძლებელია ბევრად უფრო ადრე. ერთჯერადი პაკეტების შექმნისას, შემოთავაზებული რეჟიმი გავლენას არ ახდენს შესრულებაზე, მაგრამ თუ build მოიცავს პაკეტებს განშტოებული დამოკიდებულებით, მთლიანი აშენების დრო შეიძლება შემცირდეს 10-20%-ით;
• უზრუნველყოფს ფუნქციების არასწორად გამოყენების გამოვლენას std::mem::unitialized и std::mem::zeroed. მაგალითად, std::mem::unitialized მოსახერხებელია მასივების სწრაფად შესაქმნელად, მაგრამ შეცდომაში შეჰყავს შემდგენელი, რადგან, როგორც ჩანს, ის ინიციალიზებულია, მაგრამ სინამდვილეში მნიშვნელობა რჩება არაინინიციალიზებული. mem::unitialized ფუნქცია უკვე მონიშნულია როგორც მოძველებული და ამის ნაცვლად რეკომენდებულია შუალედური ტიპის გამოყენება შესაძლოა ერთეული. რაც შეეხება mem::zeroed-ს, ამ ფუნქციამ შეიძლება გამოიწვიოს პრობლემები იმ ტიპებთან, რომლებიც ვერ იღებენ ნულოვან მნიშვნელობებს.

  განუსაზღვრელი ქცევის იდენტიფიცირებისთვის, ახალი გამოშვება ამატებს ლინტის შემოწმებას კომპილერს, რომელიც აღმოაჩენს გარკვეულ პრობლემებს mem::unitialized ან mem::zeroed. მაგალითად, ახლა თქვენ მიიღებთ შეცდომას, როდესაც ცდილობთ გამოიყენოთ mem::unitialized ან mem::zeroed ტიპებით &T და Box‹T›, რომლებიც წარმოადგენს მაჩვენებლის ობიექტებს, რომლებიც ვერ იღებენ null მნიშვნელობებს;

• "#[მოძველებული]" ატრიბუტი გაფართოვდა, რათა კრატის პაკეტები მონიშნულიყო მოძველებულად და დაიგეგმოს მომავალში წაშლა. Rust 1.38-ით, ეს ატრიბუტი ასევე შეიძლება გამოყენებულ იქნას მაკროსთვის;
• დაემატა ქვემოდულებში ატრიბუტის „#[global_allocator]“ გამოყენების შესაძლებლობა;
• დამატებულია ფუნქცია std::any::type_name, რომელიც საშუალებას გაძლევთ გაარკვიოთ იმ ტიპის სახელი, რომელიც შეიძლება სასარგებლო იყოს გამართვის მიზნებისთვის. მაგალითად, პროგრამის შესრულებისას შეგიძლიათ გაიგოთ, რა ტიპის ფუნქციას ეძახდნენ:

  fn gen_value‹T: ნაგულისხმევი>() -› T {
  println!("Initializing an instance of {}", std::any::type_name::‹T›());
  ნაგულისხმევი::default()
  }

  fn main () {
  მოდით _: i32 = gen_value(); # "i32" დაიბეჭდება
  მოდით _: სტრიქონი = gen_value(); # დაბეჭდავს "alloc::string::String"
  }

• სტანდარტული ბიბლიოთეკის გაფართოებული ფუნქციები:
  • slice::{concat, connect, join} ახლა შეუძლია მიიღოს მნიშვნელობა &[T] გარდა &T;
  • "*const T" და "*mut T" ახლა ახორციელებენ მარკერის::Unpin;
  • "Arc‹[T]›" და "Rc‹[T]›" ახლა ახორციელებენ FromIterator‹T›;
  • iter::{StepBy, Peekable, Take} ახლა განახორციელეთ DoubleEndedIterator.
  • ascii::EscapeDefault ახორციელებს Clone და Display.
• API-ების ახალი ნაწილი გადავიდა სტაბილურ კატეგორიაში, მათ შორის სტაბილიზირებული მეთოდები
  • ‹*const T›::cast, ‹*mut T›::cast,
  • ხანგრძლივობა::as_secs_f{32|64},
  • ხანგრძლივობა::div_duration_f{32|64},
  • ხანგრძლივობა::div_f{32|64},
  • ხანგრძლივობა::from_secs_f{32|64},
  • ხანგრძლივობა::mul_f{32|64},
  • გაყოფის ოპერაციები ნაშთით
    div_euclid და rem_euclid ყველა მთელი პრიმიტივისთვის;

• დაემატა მხარდაჭერა „--features“ ოფციის მრავალჯერ მითითებისთვის ტვირთის პაკეტის მენეჯერის სხვადასხვა ფუნქციების გასააქტიურებლად;
• შემდგენელი უზრუნველყოფს მესამეს დონე სამიზნე პლატფორმების მხარდაჭერა aarch64-uwp-windows-msvc, i686-uwp-windows-gnu, i686-uwp-windows-msvc, x86_64-uwp-windows-gnu, x86_64-uwp-windows-msvc-unცნობილი სამიზნეები, armlinux7 -gnueabi, armv7-unknown-linux-musleabi, hexagon-unknown-linux-musl და riscv32i-unknown-none-elf. მესამე დონე მოიცავს საბაზისო მხარდაჭერას, მაგრამ ავტომატური ტესტირებისა და ოფიციალური ნაგებობების გამოქვეყნების გარეშე.

წყარო: opennet.ru