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

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

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

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

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

  ~/.cargo/config-ში გარე რეესტრის დასამატებლად
  ახალი ვარიანტი „ჩემი რეესტრი“ მოწოდებულია „[რეგისტრები]“ განყოფილებაში და „სხვა-კრატი“ ოფცია დაემატა Cargo.toml-ის დამოკიდებულებებში გარე რეესტრის მოსახსენიებლად „[დამოკიდებულებები]“ განყოფილებაში. დამატებით რეესტრთან დასაკავშირებლად, უბრალოდ მოათავსეთ ავთენტიფიკაციის ჟეტონი ~/.cargo/credentials ფაილში და გაუშვით ბრძანება
  "cargo login --registry=my-registry" და პაკეტის გამოქვეყნება -
  "cargo publish -registry=my-registry";

• დამატებულია სრული მხარდაჭერა "?" ოპერატორის გამოყენებისთვის. დოქტესტებში, რომლებიც საშუალებას გაძლევთ გამოიყენოთ დოკუმენტაციის კოდის მაგალითი ტესტებად. ადრე ოპერატორი
  "?" შეიძლება გამოყენებულ იქნას შეცდომების დასამუშავებლად ტესტის შესრულებისას მხოლოდ "fn main()" ფუნქციის თანდასწრებით ან "#[test]" ფუნქციებში;

• პროცედურული მაკროების გამოყენებით განსაზღვრულ საბაჟო ატრიბუტებში შესაძლებელია ტოკენების თვითნებური ნაკრების გამოყენება (“#[attr($tokens)]”, “#[attr[$tokens]] და #[attr{$tokens}]”) . ადრე ელემენტების დაზუსტება შეიძლებოდა მხოლოდ ხის/რეკურსიული ფორმით, სტრიქონების ლიტერალების გამოყენებით, მაგალითად, „#[foo(bar, baz(quux, foo = „ბარი“))]“, მაგრამ ახლა შესაძლებელია ჩამოთვლების გამოყენება (' #[range(0. .10)]') და კონსტრუქციები, როგორიცაა „#[bound(T: MyTrait)]“;
• TryFrom და TryInto თვისებები სტაბილიზირებულია, რაც საშუალებას იძლევა ტიპის კონვერტაცია შეცდომის დამუშავებით. მაგალითად, ისეთი მეთოდები, როგორიცაა from_be_bytes მთელი რიცხვების ტიპებით, იყენებენ მასივებს, როგორც შეყვანას, მაგრამ მონაცემები ხშირად მოდის Slice ტიპის, და მასივებსა და სლაიზებს შორის კონვერტაცია პრობლემურია ხელით. ახალი ნიშან-თვისებების დახმარებით, მითითებული ოპერაცია შეიძლება შესრულდეს ფრენის დროს .try_into(-ზე) გამოძახების გზით, მაგალითად, „let num = u32::from_be_bytes(slice.try_into()?)“. კონვერტაციებისთვის, რომლებიც ყოველთვის წარმატებულია (მაგალითად, ტიპი u8-დან u32-მდე), დაემატა Infallible შეცდომის ტიპი, რომელიც საშუალებას იძლევა გამჭვირვალე გამოყენება
  TryFrom "From"-ის ყველა არსებული განხორციელებისთვის;

• მოძველებულია CommandExt::before_exec ფუნქცია, რომელიც საშუალებას აძლევდა ოპერატორის შესრულებას exec-მდე, რომელიც შესრულდა ბავშვის პროცესის კონტექსტში, რომელიც ფორკირებული იყო fork() გამოძახების შემდეგ. ასეთ პირობებში, ძირითადი პროცესის ზოგიერთი რესურსი, როგორიცაა ფაილის აღწერები და მეხსიერების რუკების არეები, შეიძლება დუბლირდეს, რამაც შეიძლება გამოიწვიოს გაურკვეველი ქცევა და ბიბლიოთეკების არასწორი ფუნქციონირება.
  ადრე_exec-ის ნაცვლად, რეკომენდებულია სახიფათო ფუნქციის CommandExt::pre_exec გამოყენება.

• სტაბილიზებული ხელმოწერილი და ხელმოუწერელი ატომური რიცხვების ტიპები, ზომით 8-დან 64 ბიტამდე (მაგალითად, AtomicU8), ასევე ხელმოწერილი ტიპები NonZeroI[8|16|32|54|128].
• API-ს ახალი ნაწილი გადავიდა სტაბილურ კატეგორიაში, მათ შორის Any::type_id, Error::type_id, slice::sort_by_cached_key, str::escape_*, str::split_ascii_whitespace, Instant::checked_[add|sub. ] და SystemTime მეთოდები სტაბილიზირებულია ::checked_[add|sub]. iter::from_fn და iter::successors ფუნქციები სტაბილიზირებულია;
• ყველა მთელი ტიპისთვის დანერგილია checked_pow, saturating_pow, wrapping_pow და overflowing_pow მეთოდები;
• დამატებულია ოპტიმიზაციის ჩართვის შესაძლებლობა დაკავშირების ეტაპზე "-C linker-plugin-lto" აშენების ვარიანტის მითითებით (rustc აგროვებს Rust კოდს LLVM ბიტკოდში, რაც LTO ოპტიმიზაციის გამოყენების საშუალებას იძლევა).

წყარო: opennet.ru