ການປ່ອຍພາສາການຂຽນໂປລແກລມ Rust 1.59 ທີ່ມີການສະຫນັບສະຫນູນສໍາລັບການປະກອບເອກະສານປະກອບ

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

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

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

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

• ມັນເປັນໄປໄດ້ທີ່ຈະນໍາໃຊ້ເອກະສານປະກອບພາສາປະກອບ, ທີ່ມີຄວາມຕ້ອງການໃນຄໍາຮ້ອງສະຫມັກທີ່ຕ້ອງການຄວບຄຸມການປະຕິບັດໃນລະດັບຕ່ໍາຫຼືສາມາດນໍາໃຊ້ຄໍາແນະນໍາເຄື່ອງຈັກພິເສດ. ແຊກການປະກອບໄດ້ຖືກເພີ່ມໂດຍໃຊ້ macro "asm!" ແລະ "global_asm!" ການໃຊ້ syntax ການຈັດຮູບແບບສະຕຣິງສຳລັບການລົງທະບຽນຊື່ຄ້າຍກັບທີ່ໃຊ້ສຳລັບການປ່ຽນສະຕຣິງໃນ Rust. compiler ສະຫນັບສະຫນູນຄໍາແນະນໍາການປະກອບສໍາລັບ x86, x86-64, ARM, AArch64 ແລະ RISC-V ສະຖາປັດຕະຍະກໍາ. ຕົວຢ່າງການແຊກ: ໃຊ້ std::arch::asm; // ຄູນ x ດ້ວຍ 6 ໂດຍໃຊ້ shifts ແລະ adds ໃຫ້ mut x: u64 = 4; unsafe { asm!( "mov {tmp}, {x}", "shl {tmp}, 1", "shl {x}, 2", "add {x}, {tmp}", x = inout(reg ) x, tmp = ອອກ(reg) _, ); } assert_eq!(x, 4*6);
• ເພີ່ມການສະຫນັບສະຫນູນການມອບຫມາຍທີ່ຖືກທໍາລາຍ (ຂະຫນານ), ໃນລັກສະນະ, ຕ່ອນຫຼືໂຄງສ້າງຈໍານວນຫນຶ່ງແມ່ນລະບຸໄວ້ຢູ່ເບື້ອງຊ້າຍຂອງການສະແດງຜົນ. ຕົວຢ່າງ: let (a, b, c, d, e); (a, b) = (1, 2); [c, .., d, _] = [1, 2, 3, 4, 5] ; ໂຄງສ້າງ { e, .. } = ໂຄງສ້າງ { e: 5, f: 3 }; assert_eq!([1, 2, 1, 4, 5], [a, b, c, d, e]);
• ມັນເປັນໄປໄດ້ທີ່ຈະກໍານົດຄ່າເລີ່ມຕົ້ນສໍາລັບ const generics: struct ArrayStorage { arr: [T; N], } impl ArrayStorage { fn new(a: T, b: T) -> ArrayStorage { ArrayStorage { arr: [a, b], } } }
• ຜູ້ຈັດການແພກເກດສິນຄ້າໃຫ້ຄໍາເຕືອນກ່ຽວກັບການນໍາໃຊ້ໂຄງສ້າງທີ່ບໍ່ຖືກຕ້ອງໃນການເພິ່ງພາອາໄສທີ່ຖືກປຸງແຕ່ງເນື່ອງຈາກຄວາມຜິດພາດໃນຕົວລວບລວມຂໍ້ມູນ (ຕົວຢ່າງ, ເນື່ອງຈາກຄວາມຜິດພາດ, ພື້ນທີ່ຂອງໂຄງສ້າງທີ່ຖືກບັນຈຸໄດ້ຖືກອະນຸຍາດໃຫ້ກູ້ຢືມໃນບລັອກທີ່ປອດໄພ). ໂຄງສ້າງດັ່ງກ່າວຈະບໍ່ຖືກຮອງຮັບໃນ Rust ລຸ້ນໃນອະນາຄົດ.
• Cargo ແລະ rustc ມີຄວາມສາມາດໃນການສ້າງໄຟລ໌ທີ່ສາມາດປະຕິບັດໄດ້ stripped ຂອງຂໍ້ມູນ debugging (strip = "debuginfo") ແລະສັນຍາລັກ (strip = "symbols"), ໂດຍບໍ່ຈໍາເປັນຕ້ອງໂທຫາຜົນປະໂຫຍດແຍກຕ່າງຫາກ. ການຕັ້ງຄ່າການທໍາຄວາມສະອາດແມ່ນປະຕິບັດຜ່ານພາລາມິເຕີ "ແຖບ" ໃນ Cargo.toml: [profile.release] strip = "debuginfo", "ສັນຍາລັກ"
• ການລວບລວມຂໍ້ມູນເພີ່ມຂຶ້ນຖືກປິດໃຊ້ງານໂດຍຄ່າເລີ່ມຕົ້ນ. ເຫດຜົນໄດ້ຖືກກ່າວເຖິງວ່າເປັນການແກ້ໄຂຊົ່ວຄາວສໍາລັບ bug ໃນ compiler ທີ່ນໍາໄປສູ່ການຂັດຂ້ອງແລະຄວາມຜິດພາດ deserialization. ການ​ແກ້​ໄຂ bug ໄດ້​ຖືກ​ກະ​ກຽມ​ແລ້ວ​ແລະ​ຈະ​ໄດ້​ຮັບ​ການ​ລວມ​ເຂົ້າ​ໃນ​ການ​ປ່ອຍ​ຕໍ່​ໄປ​. ເພື່ອສົ່ງຄືນການລວບລວມທີ່ເພີ່ມຂຶ້ນ, ທ່ານສາມາດນໍາໃຊ້ຕົວແປສະພາບແວດລ້ອມ RUSTC_FORCE_INCREMENTAL=1.
• ພາກສ່ວນໃຫມ່ຂອງ API ໄດ້ຖືກຍ້າຍໄປຢູ່ໃນປະເພດຂອງຄວາມຫມັ້ນຄົງ, ລວມທັງວິທີການແລະການຈັດຕັ້ງປະຕິບັດລັກສະນະຕ່າງໆແມ່ນມີຄວາມຫມັ້ນຄົງ:
  • std::thread::available_parallelism
  • ຜົນໄດ້ຮັບ:: ສໍາເນົາ
  • ຜົນໄດ້ຮັບ::cloned
  • arch::asm!
  • arch::global_asm!
  • ops::ControlFlow::is_break
  • ops::ControlFlow::is_continue
  • TryFrom ສໍາລັບ u8
  • char::TryFromCharError (Clone, Debug, Display, PartialEq, Copy, Eq, Error)
  • iter::zip
  • NonZeroU8::is_power_of_two
  • NonZeroU16::is_power_of_two
  • NonZeroU32::is_power_of_two
  • NonZeroU64::is_power_of_two
  • NonZeroU128::is_power_of_two
  • DoubleEndedIterator ສໍາລັບໂຄງສ້າງໂຕນ້ອຍ
  • DoubleEndedIterator ສໍາລັບໂຄງສ້າງ ToUppercase
  • TryFrom ສໍາລັບ [T; N]
  • UnwindSafe ສໍາລັບໂຄງສ້າງຄັ້ງດຽວ
  • RefUnwindSafe ສໍາລັບຄັ້ງດຽວ
  • armv8 ຟັງຊັນສະຫນັບສະຫນູນ neon ສ້າງຂຶ້ນໃນ compiler ສໍາລັບ aarch64
• ຄຸນລັກສະນະ "const", ເຊິ່ງກໍານົດຄວາມເປັນໄປໄດ້ຂອງການນໍາໃຊ້ມັນໃນສະພາບການໃດກໍ່ຕາມແທນທີ່ຈະເປັນຄ່າຄົງທີ່, ຖືກນໍາໃຊ້ໃນຫນ້າທີ່:
  • me::MaybeUninit::as_ptr
  • me::MaybeUninit::assume_init
  • me::MaybeUninit::assume_init_ref
  • ffi::CStr::from_bytes_with_nul_unchecked

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