Rust 1.65 Programming Language Release

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

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

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

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

• ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ Generic Associated Types (GAT), ເຊິ່ງອະນຸຍາດໃຫ້ທ່ານສ້າງນາມແຝງປະເພດທີ່ກ່ຽວຂ້ອງກັບປະເພດອື່ນ, ແລະຊ່ວຍໃຫ້ທ່ານສາມາດເຊື່ອມໂຍງຕົວສ້າງປະເພດທີ່ມີລັກສະນະຕ່າງໆ. trait Foo { type Bar<'x> ; }
• ການສະແດງອອກ "ໃຫ້ ... ອື່ນ" ຖືກປະຕິບັດ, ເຊິ່ງຊ່ວຍໃຫ້ທ່ານສາມາດກວດເບິ່ງເງື່ອນໄຂການຈັບຄູ່ຮູບແບບໂດຍກົງພາຍໃນການສະແດງ "ໃຫ້" ແລະປະຕິບັດລະຫັດທີ່ມັກຖ້າຮູບແບບບໍ່ກົງກັນ. ໃຫ້ Ok(count) = u64::from_str(count_str) else { panic!("ບໍ່ສາມາດແຍກຈຳນວນເຕັມ: '{count_str}'"); };
• ມັນໄດ້ຖືກອະນຸຍາດໃຫ້ໃຊ້ຄໍາສັ່ງຢຸດເພື່ອອອກຈາກບລັອກທີ່ມີຊື່ກ່ອນໄວອັນຄວນ, ໂດຍໃຊ້ຊື່ບລັອກ (ປ້າຍຊື່) ເພື່ອກໍານົດບລັອກທີ່ຈະຢຸດ. ໃຫ້ຜົນໄດ້ຮັບ = 'block: { do_thing(); ຖ້າ condition_not_met() { break 'block 1; } do_next_thing(); ຖ້າ condition_not_met() { break 'block 2; } do_last_thing(); 3};
• ສໍາລັບ Linux, ໄດ້ເພີ່ມຄວາມສາມາດໃນການບັນທຶກຂໍ້ມູນການດີບັກແຍກຕ່າງຫາກ (split-debuginfo), ກ່ອນຫນ້ານີ້ສາມາດໃຊ້ໄດ້ສໍາລັບແພລະຕະຟອມ macOS ເທົ່ານັ້ນ. ການລະບຸຕົວເລືອກ "-Csplit-debuginfo=unpacked" ຈະບັນທຶກຂໍ້ມູນ debuginfo ໃນຮູບແບບ DWARF ເຂົ້າໄປໃນໄຟລ໌ວັດຖຸແຍກຕ່າງຫາກຫຼາຍໄຟລ໌ທີ່ມີນາມສະກຸນ ".dwo". ການລະບຸ "-Csplit-debuginfo=packed" ຈະສ້າງຊຸດດຽວໃນຮູບແບບ ".dwp" ເຊິ່ງລວມເອົາຂໍ້ມູນດີບັກທັງໝົດສໍາລັບໂຄງການ. ເພື່ອປະສົມປະສານຂໍ້ມູນດີບັກໂດຍກົງເຂົ້າໃນສ່ວນ .debug_* ຂອງວັດຖຸ ELF, ທ່ານສາມາດໃຊ້ຕົວເລືອກ "-Csplit-debuginfo=off".
• ພາກສ່ວນໃຫມ່ຂອງ API ໄດ້ຖືກຍ້າຍໄປຢູ່ໃນປະເພດຂອງຄວາມຫມັ້ນຄົງ, ລວມທັງວິທີການແລະການຈັດຕັ້ງປະຕິບັດລັກສະນະຕ່າງໆແມ່ນມີຄວາມຫມັ້ນຄົງ:
  • std::backtrace::backtrace
  • ຜູກມັດ::as_ref
  • std::io::read_to_string
  • <*const T>::cast_mut
  • <*mut T>::cast_const
• ຄຸນ​ລັກ​ສະ​ນະ "const​"​, ເຊິ່ງ​ກໍາ​ນົດ​ຄວາມ​ເປັນ​ໄປ​ໄດ້​ຂອງ​ການ​ນໍາ​ໃຊ້​ໃນ​ສະ​ພາບ​ການ​ໃດ​ຫນຶ່ງ​ແທນ​ທີ່​ຈະ​ເປັນ​ຄົງ​ທີ່​, ໄດ້​ຖືກ​ນໍາ​ໃຊ້​ໃນ​ຫນ້າ​ທີ່ <*const T&>::offset_from ແລະ <*mut T>::offset_from
• ເປັນສ່ວນຫນຶ່ງຂອງຂັ້ນຕອນສຸດທ້າຍຂອງການໂອນການປະຕິບັດຂອງໂປໂຕຄອນ LSP (Language Server Protocol) ກັບ rust-analyzer, ການປະຕິບັດທີ່ລ້າສະໄຫມຂອງ Rust Language Server (RLS) ໄດ້ຖືກປ່ຽນແທນດ້ວຍເຄື່ອງແມ່ຂ່າຍ stub ທີ່ອອກຄໍາເຕືອນທີ່ແນະນໍາໃຫ້ປ່ຽນໄປໃຊ້ rust. - ນັກ​ວິ​ເຄາະ​.
• ເມື່ອລວບລວມຂໍ້ມູນ, ການສະຫນັບສະຫນູນສໍາລັບການນໍາໃຊ້ inline ຂອງລະຫັດລະດັບປານກາງ MIR ແມ່ນເປີດໃຊ້, ເຊິ່ງເລັ່ງການລວບລວມຂອງແພັກເກັດ crate ປົກກະຕິໂດຍ 3-10%.
• ເພື່ອເລັ່ງການກໍ່ສ້າງຕາມກຳນົດເວລາ, ຜູ້ຈັດການຊຸດສິນຄ້າສະໜອງການຈັດລຽງວຽກທີ່ລໍຖ້າຢູ່ໃນຄິວ.

ນອກຈາກນັ້ນ, ການສໍາພາດກ່ຽວກັບການນໍາໃຊ້ພາສາ Rust ທີ່ Volvo ສໍາລັບການພັດທະນາອົງປະກອບສໍາລັບລະບົບຂໍ້ມູນຂ່າວສານລົດຍົນສາມາດສັງເກດເຫັນ. ບໍ່ມີແຜນທີ່ຈະຂຽນຄືນລະຫັດທີ່ມີຢູ່ແລ້ວແລະທົດສອບໃນ Rust, ແຕ່ສໍາລັບລະຫັດໃຫມ່, Rust ແມ່ນຫນຶ່ງໃນທາງເລືອກທີ່ຕ້ອງການສໍາລັບການປັບປຸງຄຸນນະພາບດ້ວຍຄ່າໃຊ້ຈ່າຍຕ່ໍາ. ກຸ່ມເຮັດວຽກທີ່ກ່ຽວຂ້ອງກັບການເກີດຂີ້ໝ້ຽງກໍ່ໄດ້ຖືກສ້າງຂື້ນຢູ່ໃນສະມາຄົມລົດຍົນ AUTOSAR (AUTomotive Open System ARchitecture) ແລະ SAE (ສະມາຄົມວິສະວະກອນຍານຍົນ).

ນອກຈາກນັ້ນ, David Kleidermacher, VP of Engineering at Google, ເວົ້າກ່ຽວກັບການແປພາສາ Rust ຂອງລະຫັດທີ່ໃຊ້ໃນເວທີ Android ເພື່ອຈັດການລະຫັດການເຂົ້າລະຫັດ, ເຊັ່ນດຽວກັນກັບການນໍາໃຊ້ Rust ໃນການປະຕິບັດ DNS over HTTPS protocol, ໃນ stack ສໍາລັບ. UWB- ຊິບ (Ultra-Wideband) ແລະໃນກອບ virtualization (Android Virtualization Framework) ທີ່ກ່ຽວຂ້ອງກັບຊິບ Tensor G2. ສໍາລັບ Android, stacks ໃຫມ່ສໍາລັບ Bluetooth ແລະ Wi-Fi ຍັງຖືກພັດທະນາ, ຂຽນໃຫມ່ໃນ Rust. ຍຸດທະສາດທົ່ວໄປແມ່ນການກ້າວຫນ້າທາງດ້ານຄວາມປອດໄພ, ທໍາອິດໂດຍການເຄື່ອນຍ້າຍອົງປະກອບຊອບແວທີ່ບໍ່ປອດໄພແລະສໍາຄັນທີ່ສຸດໄປສູ່ Rust, ແລະຫຼັງຈາກນັ້ນຂະຫຍາຍໄປສູ່ລະບົບຍ່ອຍອື່ນໆທີ່ກ່ຽວຂ້ອງກັບພວກມັນ. ປີທີ່ຜ່ານມາ, Rust ໄດ້ຖືກລວມເຂົ້າໃນບັນຊີລາຍຊື່ຂອງພາສາທີ່ອະນຸຍາດໃຫ້ພັດທະນາເວທີ Android.

ແຫຼ່ງຂໍ້ມູນ: opennet.ru