Rust 1.82 ປ່ອຍອອກມາ. ຕົວທ່ອງເວັບໃຫມ່ໂດຍອີງໃສ່ Rust. ການນໍາໃຊ້ Rust ໃນ Volvo

ພາສາການຂຽນໂປລແກລມທີ່ມີຈຸດປະສົງທົ່ວໄປ Rust 1.82, ສ້າງຕັ້ງຂຶ້ນໂດຍໂຄງການ Mozilla ແຕ່ໃນປັດຈຸບັນໄດ້ຮັບການພັດທະນາພາຍໃຕ້ການອຸປະຖໍາຂອງອົງການເອກະລາດທີ່ບໍ່ຫວັງຜົນກໍາໄລ Rust Foundation, ໄດ້ຖືກປ່ອຍອອກມາ. ພາສາທີ່ເນັ້ນໃສ່ຄວາມປອດໄພຂອງຄວາມຊົງຈໍາແລະສະຫນອງວິທີການເພື່ອບັນລຸຄວາມຂະຫນານຂອງວຽກສູງໃນຂະນະທີ່ຫຼີກເວັ້ນການນໍາໃຊ້ເຄື່ອງເກັບຂີ້ເຫຍື້ອແລະເວລາແລ່ນ (runtime ຫຼຸດລົງເປັນພື້ນຖານເບື້ອງຕົ້ນແລະການຮັກສາຫ້ອງສະຫມຸດມາດຕະຖານ).

ວິທີການຈັດການຫນ່ວຍຄວາມຈໍາຂອງ Rust ຊ່ວຍປະຢັດນັກພັດທະນາຈາກຄວາມຜິດພາດໃນເວລາທີ່ manipulating pointers ແລະປ້ອງກັນບັນຫາທີ່ເກີດຂື້ນເນື່ອງຈາກການຈັດການຫນ່ວຍຄວາມຈໍາລະດັບຕ່ໍາ, ເຊັ່ນ: ການເຂົ້າເຖິງພື້ນທີ່ຫນ່ວຍຄວາມຈໍາຫຼັງຈາກທີ່ມັນໄດ້ຖືກປົດປ່ອຍ, dereferencing null pointers, buffer overruns, ແລະອື່ນໆ. ເພື່ອແຈກຢາຍຫ້ອງສະຫມຸດ, ສະຫນອງການກໍ່ສ້າງແລະການຄຸ້ມຄອງການເພິ່ງພາອາໄສ, ໂຄງການພັດທະນາຜູ້ຈັດການຊຸດສິນຄ້າ. ຄັງເກັບ crates.io ໄດ້ຮັບການສະຫນັບສະຫນູນສໍາລັບການເປັນເຈົ້າພາບຫ້ອງສະຫມຸດ.

ຄວາມປອດໄພຂອງຫນ່ວຍຄວາມຈໍາແມ່ນສະຫນອງໃຫ້ຢູ່ໃນ Rust ໃນເວລາລວບລວມໂດຍຜ່ານການກວດສອບການອ້າງອິງ, ການຕິດຕາມຄວາມເປັນເຈົ້າຂອງວັດຖຸ, ການຕິດຕາມອາຍຸຂອງວັດຖຸ (ຂອບເຂດ), ແລະການປະເມີນຄວາມຖືກຕ້ອງຂອງການເຂົ້າເຖິງຫນ່ວຍຄວາມຈໍາໃນລະຫວ່າງການປະຕິບັດລະຫັດ. Rust ຍັງສະຫນອງການປ້ອງກັນການ overflows integer, ຮຽກຮ້ອງໃຫ້ມີການເລີ່ມຕົ້ນບັງຄັບຂອງຄ່າຕົວແປກ່ອນການນໍາໃຊ້, ຈັດການຄວາມຜິດພາດທີ່ດີກວ່າໃນຫ້ອງສະຫມຸດມາດຕະຖານ, ນໍາໃຊ້ແນວຄວາມຄິດຂອງການອ້າງອິງ immutable ແລະຕົວແປໂດຍຄ່າເລີ່ມຕົ້ນ, ສະຫນອງການພິມຄົງທີ່ທີ່ເຂັ້ມແຂງເພື່ອຫຼຸດຜ່ອນຄວາມຜິດພາດຢ່າງມີເຫດຜົນ.

ນະວັດຕະກໍາຕົ້ນຕໍ:

• ຄໍາສັ່ງ "ຂໍ້ມູນ" ໄດ້ຖືກເພີ່ມໃສ່ຜູ້ຈັດການຊຸດສິນຄ້າເພື່ອສະແດງຂໍ້ມູນກ່ຽວກັບຊຸດໃນບ່ອນເກັບມ້ຽນ.
• ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ syntax "use<..>" ໃນ "impl Trait", ເຊິ່ງກໍານົດຂໍ້ມູນກ່ຽວກັບປະເພດທີ່ເຊື່ອງໄວ້. ຕົວຢ່າງ, "impl Trait + use<'x, T>" ກໍານົດວ່າພຽງແຕ່ພາລາມິເຕີ "x" ແລະ "T" ອະນຸຍາດໃຫ້ຖືກນໍາໃຊ້ໃນປະເພດທີ່ເຊື່ອງໄວ້.
• syntax ແຍກຕ່າງຫາກສໍາລັບການສ້າງ pointers ດິບໄດ້ຖືກສະເຫນີ, ແທນ macro ທີ່ໃຊ້ໃນເມື່ອກ່ອນ: macro "addr_of!(expr)" ໄດ້ຖືກແທນທີ່ດ້ວຍ "&raw const expr", ແລະ "addr_of_mut!(expr)" macro ໄດ້ຖືກແທນທີ່. ໂດຍ “&raw mut” operator expr”. struct Packed { not_aligned_field: i32, } fn main() { ໃຫ້ p = Packed { not_aligned_field: 1_82 }; // ວິທີເກົ່າສ້າງຕົວຊີ້ດິບໃຫ້ ptr = std::ptr::addr_of!(p.not_aligned_field); // ວິທີໃໝ່ໃນການສ້າງຕົວຊີ້ດິບໃຫ້ ptr = &raw const p.not_aligned_field; ໃຫ້ val = ບໍ່ປອດໄພ { ptr.read_unaligned() }; }
• ມັນເປັນໄປໄດ້ທີ່ຈະກໍານົດຫນ້າທີ່ປອດໄພແລະຄົງທີ່ດ້ວຍ 'static' ຕະຫຼອດຊີວິດພາຍໃນ extern blocks ດ້ວຍຄຸນລັກສະນະ "ບໍ່ປອດໄພ" (ກ່ອນຫນ້ານີ້, ອົງປະກອບທັງຫມົດໃນ "unsafe extern" ສາມາດມີພຽງແຕ່ຄຸນລັກສະນະ "ບໍ່ປອດໄພ"): unsafe extern { pub safe static TAU : f64; pub safe fn sqrt(x: f64) -> f64; pub unsafe fn strlen(p: *const u8) -> usize; }
• no_mangle, link_section ແລະ export_name attributes, ເຊິ່ງສາມາດນໍາໄປສູ່ພຶດຕິກໍາທີ່ບໍ່ໄດ້ກໍານົດ, ຕອນນີ້ຖືວ່າບໍ່ປອດໄພ ແລະຕ້ອງການທຸງ "ບໍ່ປອດໄພ" ຢ່າງຊັດເຈນ, ຕົວຢ່າງ: #[unsafe(no_mangle)] pub fn my_global_function() { }
• ການຈັບຄູ່ຮູບແບບອະນຸຍາດໃຫ້ຂ້າມປະເພດຫວ່າງເປົ່າໄດ້, ເຊັ່ນ "enum Void {}" ຫຼືໂຄງສ້າງທີ່ມີຊ່ອງຫວ່າງທີ່ເບິ່ງເຫັນໄດ້. ໃຊ້ std::convert::Infallible; pub fn unwrap_without_panic (x: ຜົນໄດ້ຮັບ ) -> T { ໃຫ້ Ok(x) = x; // "Err" ສາມາດຂ້າມໄດ້ x }
• ປະເພດສໍາລັບຕົວເລກຈຸດລອຍ (f32 ແລະ f64) ມີພຶດຕິກໍາມາດຕະຖານໃນເວລາທີ່ການປຸງແຕ່ງຄ່າ NaN ທີ່ບໍ່ແມ່ນຕົວເລກ (0.0/0.0), ແລະຍັງອະນຸຍາດໃຫ້ນໍາໃຊ້ການປະຕິບັດຈຸດລອຍຢູ່ໃນ const fn.
• ແຜ່ນແຊກປະກອບໃຫ້ຄວາມສາມາດໃນການໃຊ້ operands ທີ່ມີຄຸນລັກສະນະ "const" ເພື່ອນໍາໃຊ້ຄ່າຕົວເລກ integer ໂດຍກົງໂດຍບໍ່ໄດ້ເກັບໄວ້ໃນທະບຽນ. const MSG: &str = "ສະບາຍດີ, ໂລກ!\n"; unsafe { core::arch::asm!( “mov rdx, {LEN} // the instruction 'mov rdx, 14′” will be generated, LEN = const MSG.len(), … ); }
• ການແກ້ໄຂການສະແດງອອກດ້ວຍຄຸນລັກສະນະ "static" ແມ່ນອະນຸຍາດໃຫ້ຢູ່ໃນສະພາບການທີ່ປອດໄພໂດຍບໍ່ມີການກໍານົດບລັອກທີ່ບໍ່ປອດໄພ (ຕົວປະຕິບັດການ "&raw mut" ແລະ "&raw const" ບໍ່ມີຜົນກະທົບຕໍ່ມູນຄ່າຂອງ operand ແລະພຽງແຕ່ສ້າງຕົວຊີ້ໄປຫາມັນ): static mut STATIC_MUT: ປະເພດ = ປະເພດ::new( ); extern "C" { static EXTERN_STATIC: ປະເພດ; } fn main() { ໃຫ້ static_mut_ptr = &raw mut STATIC_MUT; ໃຫ້ extern_static_ptr = &raw const EXTERN_STATIC; }
• ພາກສ່ວນໃຫມ່ຂອງ API ໄດ້ຖືກຍ້າຍໄປຢູ່ໃນປະເພດຂອງຄວາມຫມັ້ນຄົງ, ລວມທັງວິທີການແລະການຈັດຕັ້ງປະຕິບັດລັກສະນະຕ່າງໆແມ່ນມີຄວາມຫມັ້ນຄົງ:
  • std::thread::Builder::spawn_unchecked
  • std::str::CharIndices::offset
  • std::option::Option::is_none_or
  • [T]::is_sorted
  • [T]::is_sorted_by
  • [T]::is_sorted_by_key
  • Iterator::is_sorted
  • Iterator::is_sorted_by
  • Iterator::is_sorted_by_key
  • std::future::Ready::into_inner
  • std::iter::repeat_n
  • impl DoubleEndedIterator ສໍາລັບ Take
    
    ແຫຼ່ງຂໍ້ມູນ: opennet.ru