Rust 1.77 Programming Language Release

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

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

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

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

• ເພີ່ມການສະຫນັບສະຫນູນຕົວຫນັງສືສໍາລັບ C-strings (c"text"), ເຊິ່ງຖືກເກັບໄວ້ໃນຫນ່ວຍຄວາມຈໍາທີ່ມີຕົວອັກສອນທີ່ບໍ່ມີປະໂຫຍດແລະກ່ຽວຂ້ອງກັບປະເພດ "CStr". ຄາດວ່າການສະຫນັບສະຫນູນ C-string ຈະງ່າຍການຂຽນລະຫັດທີ່ພົວພັນກັບຊັ້ນໃນພາສາການຂຽນໂປລແກລມທີ່ໃຊ້ strings null-terminated, ແລະຈະຊ່ວຍໃຫ້ການກວດສອບທີ່ຈໍາເປັນໃນຂັ້ນຕອນການລວບລວມ. const HELLO: &core::ffi::CStr = c"ສະບາຍດີ, ໂລກ!";
• ໃນຫນ້າທີ່ປະຕິບັດ asynchronously ປະກາດໂດຍໃຊ້ "async fn", ອະນຸຍາດໃຫ້ໃຊ້ recursion, i.e. ຫນ້າທີ່ດັ່ງກ່າວໃນປັດຈຸບັນສາມາດໂທຫາຕົນເອງ. async fn fib(n: u32) -> u32 { match n { 0 | 1 => 1, _ => ກ່ອງ::pin(fib(n-1)).ລໍຖ້າ + ກ່ອງ::pin(fib(n-2)).ລໍຖ້າ } }
• ມະຫາພາກ offset_of! ໃນການປະຕິບັດ, ມະຫາພາກສາມາດເປັນປະໂຫຍດໃນສະຖານະການທີ່ທ່ານຈໍາເປັນຕ້ອງເຮັດວຽກໃນລະດັບການຊົດເຊີຍພາກສະຫນາມໃນກໍລະນີທີ່ບໍ່ມີຕົວຢ່າງຂອງປະເພດ. ໂດຍສະເພາະ, offset_of functionality ແມ່ນຈໍາເປັນໃນເວລາທີ່ການພັດທະນາອົງປະກອບລະດັບຕ່ໍາເຊັ່ນໄດເວີ. ໃຊ້ std::mem; #[repr(C)] struct FieldStruct { first: u8, second: u16, third: u8 } assert_eq!(mem::offset_of!(FieldStruct, first), 0); assert_eq!(mem::offset_of!(FieldStruct, ສອງ), 2); assert_eq!(mem::offset_of!(FieldStruct, ທີສາມ), 4);
• ໃນຕົວຈັດການແພັກເກັດ Cargo, ໃນການປ່ອຍໂປໄຟ, ການເຮັດຄວາມສະອາດໄຟລ໌ຈາກຂໍ້ມູນການດີບັກຈະຖືກເປີດໃຊ້ໂດຍຄ່າເລີ່ມຕົ້ນ (strip = “debuginfo”), ເວັ້ນເສຍແຕ່ວ່າຮູບແບບການດີບັກຈະຖືກເປີດໃຊ້ຢ່າງຈະແຈ້ງໃນໂປຣໄຟລ໌ສິນຄ້າ, i.e. ຖ້າ parameter debug = 0.
• ທາງເລືອກ "-Zthir-unsafeck=on" ຖືກເປີດໃຊ້ໂດຍຄ່າເລີ່ມຕົ້ນ, ສະຫນອງການກວດສອບທີ່ບໍ່ປອດໄພສໍາລັບ THIR (ປະເພດການເປັນຕົວແທນລະດັບປານກາງລະດັບສູງ).
• ເພີ່ມການກວດສອບ lint ສໍາລັບ static_mut_refs ເພື່ອສະແດງຄໍາເຕືອນເມື່ອນໍາໃຊ້ການອ້າງອີງເຖິງຄ່າສະຖິດທີ່ສາມາດປ່ຽນແປງໄດ້.
• ຄວາມສາມາດໃນການນໍາໃຊ້ປະເພດ "From<&[T;" ໄດ້ຖືກປະຕິບັດ. N]>" ສໍາລັບປະເພດ "ງົວ<[T]>". fn foo(ຂໍ້ມູນ: impl Into >) { /* … */ } fn main() { foo(&[“ສະບາຍດີ”, “ໂລກ”]); }
• compiler ສະຫນອງການຈັດລໍາດັບຂອງປະເພດ 16-byte i128 ແລະ u128 ສໍາລັບລະບົບ x86.
• ພາກສ່ວນໃຫມ່ຂອງ API ໄດ້ຖືກຍ້າຍໄປຢູ່ໃນປະເພດຂອງຄວາມຫມັ້ນຄົງ, ລວມທັງວິທີການແລະການຈັດຕັ້ງປະຕິບັດລັກສະນະຕ່າງໆແມ່ນມີຄວາມຫມັ້ນຄົງ:
  • array::each_ref
  • array::each_mut
  • ຫຼັກ::ສຸດທິ
  • f32::round_ties_even
  • f64::round_ties_even
  • me::offset_of!
  • slice::first_chunk
  • slice::first_chunk_mut
  • slice::split_first_chunk
  • slice::split_first_chunk_mut
  • slice::last_chunk
  • slice::last_chunk_mut
  • slice::split_last_chunk
  • slice::split_last_chunk_mut
  • slice::chunk_by
  • slice::chunk_by_mut
  • ຜູກມັດ:: ແຜນທີ່
  • ໄຟລ໌::create_new
  • Mutex::clear_poison
  • RwLock::clear_poison
• ການສະຫນັບສະຫນູນລະດັບທີສາມໄດ້ຖືກປະຕິບັດສໍາລັບເວທີ aarch64-unknown-illumos, hexagon-unknown-none-elf, riscv32imafc-esp-espidf ແລະ riscv32im-risc0-zkvm-elf. ລະດັບທີສາມກ່ຽວຂ້ອງກັບການສະຫນັບສະຫນູນພື້ນຖານ, ແຕ່ບໍ່ມີການທົດສອບອັດຕະໂນມັດ, ການເຜີຍແຜ່ການກໍ່ສ້າງຢ່າງເປັນທາງການ, ຫຼືກວດເບິ່ງວ່າລະຫັດສາມາດສ້າງໄດ້.

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