Rust 1.78 ປ່ອຍອອກມາ. ພາສາ Borgo ທີ່ປະສົມປະສານຄວາມເຂັ້ມແຂງຂອງ Go ແລະ Rust

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

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

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

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

• ຄຸນສົມບັດ namespace ໃໝ່ "#[diagnostic]" ໄດ້ຖືກສະເໜີ, ໂດຍໃຫ້ວິທີການສ້າງອິດທິພົນຕໍ່ຂໍ້ຄວາມສະແດງຂໍ້ຜິດພາດທີ່ຜະລິດໂດຍ compiler. ທໍາອິດໃນຊ່ອງໃຫມ່ແມ່ນ "#[diagnostic::on_unimplemented]" ຄຸນລັກສະນະ, ເຊິ່ງສາມາດນໍາໃຊ້ເພື່ອປັບແຕ່ງຂໍ້ຄວາມສະແດງຂໍ້ຜິດພາດທີ່ຖືກຖິ້ມໃນສະຖານະການທີ່ທ່ານຈໍາເປັນຕ້ອງໃຊ້ລັກສະນະທີ່ບໍ່ໄດ້ປະຕິບັດສໍາລັບປະເພດ. #[diagnostic::on_unimplemented( message = "ຂໍ້ຄວາມຂອງຂ້ອຍສຳລັບ `ImportantTrait<{A}>` ບໍ່ໄດ້ຖືກນຳໃຊ້ສຳລັບ `{Self}`", ປ້າຍກຳກັບ = "ປ້າຍກຳກັບຂອງຂ້ອຍ", ໝາຍເຫດ = "ໝາຍເຫດ 1", ໝາຍເຫດ = "ໝາຍເຫດ. 2" )] ລັກສະນະ ລັກສະນະສຳຄັນ {} fn use_my_trait(_: impl ລັກສະນະສຳຄັນ ) {} fn main() { use_my_trait(String::new()); } error[E32]: ຂໍ້ຄວາມຂອງຂ້ອຍສໍາລັບ `ImportantTtrait `ບໍ່ໄດ້ຖືກປະຕິບັດສໍາລັບ `String` —> src/main.rs:0277:32 | 12 | use_my_trait(String::new()); | ———— ^^^^^^^^^^^^^ ປ້າຍຂອງຂ້ອຍ | | | ຕ້ອງ​ການ​ໂດຍ​ຜູກ​ພັນ​ນໍາ​ສະ​ເຫນີ​ໂດຍ​ການ​ໂທ​ນີ້ | = help: the trait `ImportantTtrait `ບໍ່ໄດ້ຖືກປະຕິບັດສໍາລັບ `String` = ຫມາຍເຫດ: ຫມາຍເຫດ 18 = ຫມາຍເຫດ: ຫມາຍເຫດ 12
• ການກວດສອບການຢືນຢັນລ່ວງໜ້າທີ່ໃຊ້ກັບຟັງຊັນທີ່ບໍ່ປອດໄພຕອນນີ້ສາມາດຖືກເລື່ອນໄປຈົນຮອດການສ້າງລະຫັດ, ອະນຸຍາດໃຫ້ກວດສອບເຫຼົ່ານີ້ໂດຍບໍ່ຈໍາເປັນຕ້ອງສ້າງຫ້ອງສະໝຸດມາດຕະຖານໃນໂໝດ "#[cfg(debug_assertions)]". ເພື່ອກະຕຸ້ນການກວດສອບ, ດຽວນີ້ມັນພຽງພໍທີ່ຈະເປີດໃຊ້ການຢືນຢັນການດີບັກສຳລັບການທົດສອບ ຫຼືການສ້າງການດີບັກຂອງລະຫັດຂອງທ່ານ.
• ພຶດຕິກໍາຂອງຫນ້າທີ່ຢູ່ໃນຫ້ອງສະຫມຸດມາດຕະຖານທີ່ມີຜົນກະທົບຕໍ່ການຈັດຕໍາແຫນ່ງຂອງ pointers ແລະ slices ປະຈຸບັນສາມາດຄາດເດົາໄດ້ໃນເວລາແລ່ນແລະຂຶ້ນກັບຂໍ້ມູນການປ້ອນຂໍ້ມູນ. ຕົວຊີ້ຟັງຊັນ::align_offset, ເຊິ່ງຄຳນວນຄ່າຊົດເຊີຍເພື່ອຈັດຮຽງຕົວຊີ້, ດຽວນີ້ຈະສົ່ງກັບ usize::MAX ພຽງແຕ່ຖ້າການດຳເນີນການລົ້ມເຫລວ. ຟັງຊັນສະໄລ້::align_to ແລະ slice::align_to_mut ທັງສອງ, ເຊິ່ງປ່ຽນປ່ຽງເປັນການສະແດງຜົນທີ່ມີສ່ວນກາງທີ່ສອດຄ່ອງກັນ ແລະປ່ຽງຕົ້ນ ແລະປາຍຕົ້ນສະບັບ, ຕອນນີ້ສົ່ງຄືນສ່ວນກາງທີ່ໃຫຍ່ທີ່ສຸດສະເໝີ.
• ຕໍ່ໄປນີ້ໄດ້ຖືກໂອນໄປຫາປະເພດທີ່ຫມັ້ນຄົງ:
  • impl ອ່ານສໍາລັບ &Stdin
  • ອະ​ນຸ​ຍາດ​ໃຫ້​ການ​ນໍາ​ໃຊ້​ຂອງ​ຊີ​ວິດ​ທີ່​ບໍ່​ແມ່ນ​ຄົງ​ທີ່ (ບໍ່​ຄົງ​ທີ່​) ສໍາ​ລັບ​ບາງ std::error::ການ​ປະ​ຕິ​ບັດ​ທີ່​ກ່ຽວ​ຂ້ອງ​ກັບ​ຄວາມ​ຜິດ​ພາດ.
  • ການປະຕິບັດ impl ?ຄ່າຂະໜາດແມ່ນອະນຸຍາດ.
  • impl ຈາກ ສໍາລັບ io:: ຜິດພາດ
• The Barrier::new() function ໄດ້ຖືກປັບໃຫ້ຄົງທີ່ເພື່ອໃຊ້ກັບຄຸນລັກສະນະ "const" ໃນສະພາບການໃດນຶ່ງແທນຄ່າຄົງທີ່.
• ສຳລັບແພລດຟອມເປົ້າໝາຍ x86_64-pc-windows-msvc, i686-pc-windows-msvc, x86_64-pc-windows-gnu, i686-pc-windows-gnu, x86_64-pc-windows-gnullvm ແລະ i686-pc-windows-gnullvm ໃນປັດຈຸບັນຕ້ອງການຢ່າງຫນ້ອຍ Windows 10 ຮຸ່ນ.
• ການສະຫນັບສະຫນູນລະດັບທີສາມໄດ້ຖືກປະຕິບັດສໍາລັບເວທີ wasm32-wasip2, arm64ec-pc-windows-msvc, armv8r-none-eabihf ແລະ loongarch64-unknown-linux-musl platforms. ລະດັບທີສາມກ່ຽວຂ້ອງກັບການສະຫນັບສະຫນູນພື້ນຖານ, ແຕ່ບໍ່ມີການທົດສອບອັດຕະໂນມັດ, ການພິມເຜີຍແຜ່ການກໍ່ສ້າງຢ່າງເປັນທາງການ, ແລະການກວດສອບຄວາມສາມາດໃນການສ້າງລະຫັດ.
• ລະດັບທີສອງຂອງການສະຫນັບສະຫນູນສໍາລັບເວທີເປົ້າຫມາຍ Add wasm32-wasip1 ໄດ້ຖືກປະຕິບັດ. ລະດັບການສະຫນັບສະຫນູນທີສອງກ່ຽວຂ້ອງກັບການຮັບປະກັນການປະກອບ.
• ແພລດຟອມ wasm32-wasi-preview1-threads ຖືກປ່ຽນຊື່ເປັນ wasm32-wasip1-threads.
• compiler ໄດ້ປ່ຽນໄປໃຊ້ LLVM 18. ເມື່ອໃຊ້ LLVM 18 ສໍາລັບສະຖາປັດຕະຍະກໍາ x86-32 ແລະ x86-64, ABI ທີ່ກ່ຽວຂ້ອງກັບປະເພດ u128 ແລະ i128 ໄດ້ຖືກປ່ຽນແປງ.
• ຢູ່ໃນຕົວຈັດການ Cargo pact, ເວີຊັນ 4 ຂອງໄຟລ໌ລັອກ (lockfile v4) ໄດ້ຮັບການສະຖຽນລະພາບ.
• Cargo ມີ cache ທົ່ວໂລກທີ່ສະຖຽນລະພາບທີ່ມີຂໍ້ມູນກ່ຽວກັບການນໍາໃຊ້ຂໍ້ມູນຫຼ້າສຸດ. ແຄດຖືກໂຮດຢູ່ໃນ $CARGO_HOME/.global-cache ໂດຍໃຊ້ SQLite ແລະຖືກປັບປຸງໂດຍອັດຕະໂນມັດເພື່ອສະທ້ອນເຖິງການປ່ຽນແປງຫຼ້າສຸດຂອງດັດສະນີ, ໄຟລ໌ crate, ບັນຊີລະຫັດ, git clone, ແລະ git checkout.

ນອກຈາກນັ້ນ, ພາສາການຂຽນໂປລແກລມ Borgo ພະຍາຍາມສະແດງອອກຫຼາຍກ່ວາພາສາ Go, ແຕ່ສະລັບສັບຊ້ອນຫນ້ອຍກວ່າພາສາ Rust. Borgo ປະສົມປະສານລັກສະນະທີ່ດີທີ່ສຸດຂອງ Go ແລະ Rust, ເຮັດໃຫ້ຂໍ້ບົກຜ່ອງຂອງແຕ່ລະພາສາ. ຕົວຢ່າງ, Go ແມ່ນງ່າຍດາຍ ແລະກົງໄປກົງມາ, ແຕ່ບໍ່ໄດ້ໃຫ້ຄຸນສົມບັດຄວາມປອດໄພປະເພດຂັ້ນສູງ. ພາສາ Rust ໃຫ້ເຄື່ອງມືສໍາລັບການຂຽນໂປລແກລມທີ່ປອດໄພ, ແຕ່ມີຄວາມຊັບຊ້ອນເກີນໄປ. ໂຄງການດັ່ງກ່າວແມ່ນໄດ້ຖືກພັດທະນາໂດຍ Marco Sampellegrini, ຜູ້ຂຽນຂອງ The Simple Haskell Handbook ແລະຜູ້ພັດທະນາລະບົບການເຊື່ອມໂຍງຢ່າງຕໍ່ເນື່ອງຂອງ Quad CI.

Borgo ໃຊ້ການພິມແບບຄົງທີ່, ປະເພດ Go-like, ແລະ syntax ຄ້າຍຄື Rust. semicolons ແມ່ນທາງເລືອກໃນຕອນທ້າຍຂອງເສັ້ນໃນລະຫັດ Borgo. ລະຫັດ Borgo ຖືກລວບລວມເປັນຕົວແທນ Go ທີ່ເຂົ້າກັນໄດ້ຢ່າງເຕັມສ່ວນກັບແພັກເກດ Go ທີ່ມີຢູ່. ລະຫັດ compiler ແມ່ນຂຽນໃນ Rust ແລະຖືກແຈກຢາຍພາຍໃຕ້ໃບອະນຸຍາດ ISC. ໃຊ້ fmt enum NetworkState { Loading, Failed(int), Success(T), } struct Response { title: string, duration: int, } fn main() { let res = Response { title: “Hello world”, duration: 0, } let state = NetworkState.Success(res) ໃຫ້ msg = ກົງກັບສະຖານະ { NetworkState.Loading => “ຍັງໂຫຼດຢູ່”, NetworkState.Failed(code) => fmt.Sprintf(“ໄດ້ລະຫັດຂໍ້ຜິດພາດ: %d”, ລະຫັດ), NetworkState.Success (res) => res.title, } fmt.Println(msg) }

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