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

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

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

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

• დამატებულია სტრუქტურების (სტრუქტურის) და ნუმერაციების მონიშვნის შესაძლებლობა (რიცხვა Variant ბლოკით) ატრიბუტის გამოყენებით "#[არასრული]", რომელიც საშუალებას აძლევს მომავალში დაამატეთ ახალი ველები და ვარიანტები დეკლარირებულ სტრუქტურებსა და ჩამოთვლებში. მაგალითად, მოდულების დეველოპერებს, რომლებსაც აქვთ სტრუქტურები საჯაროდ გამოცხადებული ველებით, შეუძლიათ გამოიყენონ "#[non_exhaustive]" სტრუქტურების აღსანიშნავად, რომლებსაც შეიძლება დაემატოს ახალი ველები მომავალში. აქამდე, ამ სიტუაციაში, დეველოპერი იძულებული იყო აერჩია ველების პირადი გამოცხადება და ველების უცვლელი სიაში სავალდებულოობა. ახალი ატრიბუტი ხსნის ამ შეზღუდვას და საშუალებას გაძლევთ მომავალში დაამატოთ ახალი ველები ადრე შედგენილი გარე კოდის გატეხვის რისკის გარეშე. კრატის პაკეტებში, "შესაბამის" განყოფილებაში ოფციების შესატყვისობისას საჭიროა ნიღბის მკაფიო განმარტება "_ => {...}", რომელიც მოიცავს მომავალ ველებს, წინააღმდეგ შემთხვევაში გამოჩნდება შეცდომა ახალი ველების დამატებისას.
• დამატებულია პროცედურული მაკრო mac!() გამოძახების შესაძლებლობა ტიპის კონტექსტში. მაგალითად, ახლა შეგიძლიათ დაწეროთ „type Foo = expand_to_type!(bar);“ თუ „expand_to_type“ არის პროცედურული მაკრო.
• "გარე { ... }" ბლოკებში დაემატა პროცედურული და მაკროების ატრიბუტის გამოყენების შესაძლებლობა, მათ შორის "bang!()" მაკროები, მაგალითად:

  მაკრო_წესები! make_item { ($name:ident) => {fn $name(); }}

  გარე {
  make_item!(ალფა);
  make_item!(ბეტა);
  }

  გარე "C" {
  #[ჩემი_იდენტობა_მაკრო] fn foo();
  }

• მაკროებში განხორციელდა "macro_rules!" ელემენტების გენერირების უნარი. მიმდინარეობს "macro_rules!" შესაძლებელია როგორც ფუნქციის მსგავს მაკროებში (“mac!()”), ასევე მაკროებში ატრიბუტების სახით (“#[mac]”).
• $m:meta რუკების ელემენტში დაემატა ნიშნების თვითნებური ჩამოთვლის მნიშვნელობების მხარდაჭერა („[TOKEN_STREAM]“, „{TOKEN_STREAM}“ და „(TOKEN_STREAM)“), მაგალითად:

  მაკრო_წესები! accept_meta { ($m:meta) => {} }
  accept_meta!( my:: path );
  accept_meta!( my::path = "lit" );
  accept_meta!( my:: path ( abc ) );
  accept_meta!( my:: path [ abc ] );
  accept_meta!( my:: path { abc } );

• Rust 2015 რეჟიმში, შეცდომის გამომავალი ჩართულია პრობლემებისთვის, რომლებიც იდენტიფიცირებულია ცვლადების სესხების შემოწმებისას (სესხების შემოწმება) NLL (არა ლექსიკური სიცოცხლის ხანგრძლივობა) ტექნიკის გამოყენებით. ადრე, Rust 2018 რეჟიმში მუშაობისას გაფრთხილებები შეიცვალა შეცდომებით.
  მას შემდეგ, რაც ცვლილება Rust 2015 რეჟიმში გაგრძელდა, დეველოპერებმა საბოლოოდ შეძლეს მოშორება ძველი სესხის გამშვებისაგან.

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

• "const" ატრიბუტი, რომელიც განსაზღვრავს მისი გამოყენების შესაძლებლობას ნებისმიერ კონტექსტში მუდმივების ნაცვლად, გამოიყენება is_power_of_two ფუნქციისთვის (ხელმოუწერელი მთელი რიცხვებისთვის).
• API-ს ახალი ნაწილი გადავიდა სტაბილურ კატეგორიაში, მათ შორის todo!() მაკრო და slice::repeat, mem::take, BTreeMap::get_key_value, HashMap::get_key_value, მეთოდები სტაბილიზირებულია.
  Option::as_deref, Option::as_deref_mut, Option::flatten, UdpSocket::peer_addr, {f32,f64}::to_be_bytes, {f32,f64}::to_le_bytes,{f32,f64}::to_ne_bytes, f32}::from_be_bytes, {f64,f32}::from_le_bytes და {f64,f32}::from_ne_bytes.

• პაკეტის მენეჯერის ტვირთში
  განხორციელდა შემდგენელის გაფრთხილებების ქეშირება დისკზე. დაამატა ოფცია „ტვირთის მეტამონაცემები“ ბრძანებას „ტვირთის მეტამონაცემები“.--ფილტრ-პლატფორმადამოკიდებულების რეზოლუციის სვეტში მხოლოდ მითითებულ სამიზნე პლატფორმაზე მიბმული პაკეტების ჩვენება. დამატებულია http.ssl-ვერსიის კონფიგურაციის ვარიანტი TLS მოქმედი ვერსიების დასადგენად.
  დამატებულია განყოფილების გამოქვეყნების შესაძლებლობა "dev-დამოკიდებულებები"ვერსიის" გასაღების მითითების გარეშე.

• rustc შემდგენელი უზრუნველყოფს მესამე დონის მხარდაჭერას სამიზნე პლატფორმებისთვის thumbv7neon-unknown-linux-musleabihf, aarch64-unknown-none-softfloat, mips64-unknown-linux-muslabi64 და mips64el-unknown-linux-muslabi64. მესამე დონე მოიცავს საბაზისო მხარდაჭერას, მაგრამ ავტომატური ტესტირებისა და ოფიციალური ნაგებობების გამოქვეყნების გარეშე.

წყარო: opennet.ru