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" ຈະຖືກສ້າງຂຶ້ນ, ລວມທັງຂໍ້ມູນ debuginfo ທັງໝົດສຳລັບໂຄງການ. ເພື່ອລວມ debuginfo ໂດຍກົງເຂົ້າໃນພາກສ່ວນ .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, ຮອງປະທານຝ່າຍວິສະວະກຳຂອງ Google, ໄດ້ກ່າວກ່ຽວກັບການແປລະຫັດທີ່ໃຊ້ໃນແພລດຟອມເປັນພາສາ Rust. Android ສຳລັບການຈັດການຄີເຂົ້າລະຫັດ, ພ້ອມທັງການໃຊ້ Rust ໃນການຈັດຕັ້ງປະຕິບັດໂປໂຕຄອນ DNS ຜ່ານ HTTPS, ໃນ stack ສຳລັບຊິບ UWB (Ultra-Wideband) ແລະ ໃນ framework virtualization (Android Framework Virtualization) ທີ່ກ່ຽວຂ້ອງກັບຊິບ Tensor G2. ສຳລັບ Android ຊຸດ Bluetooth ແລະ Wi-Fi ໃໝ່, ທີ່ຂຽນຄືນໃໝ່ໃນ Rust, ກໍ່ກຳລັງຖືກພັດທະນາເຊັ່ນກັນ. ຍຸດທະສາດໂດຍລວມແມ່ນການເສີມສ້າງຄວາມປອດໄພເທື່ອລະກ້າວ, ກ່ອນອື່ນໝົດໂດຍການຍ້າຍອົງປະກອບຊອບແວທີ່ມີຄວາມສ່ຽງ ແລະ ສຳຄັນທີ່ສຸດໄປ Rust, ແລະ ຈາກນັ້ນຂະຫຍາຍໄປສູ່ລະບົບຍ່ອຍອື່ນໆທີ່ກ່ຽວຂ້ອງ. ປີກາຍນີ້, Rust ໄດ້ຖືກລວມເຂົ້າໃນພາສາທີ່ຍອມຮັບສຳລັບການພັດທະນາແພລດຟອມ. Android.

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