Rust 1.47 Programming Language Release

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

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

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

• ປະຕິບັດການສະຫນັບສະຫນູນລັກສະນະສໍາລັບ array ຂອງຂະຫນາດ arbitrary. ກ່ອນຫນ້ານີ້, ເນື່ອງຈາກບໍ່ສາມາດກໍານົດຟັງຊັນທົ່ວໄປສໍາລັບຄ່າຈໍານວນເຕັມທັງຫມົດ, ຫ້ອງສະຫມຸດມາດຕະຖານໄດ້ສະຫນອງຄຸນລັກສະນະທີ່ສ້າງຂຶ້ນໃນຕົວພຽງແຕ່ສະຫນັບສະຫນູນ arrays ທີ່ມີຂະຫນາດເຖິງ 32 ອົງປະກອບ (ລັກສະນະສໍາລັບແຕ່ລະຂະຫນາດແມ່ນຖືກກໍານົດໂດຍສະຖິຕິ). ຂໍຂອບໃຈກັບການສ້າງການທໍາງານຂອງ const generics, ມັນເປັນໄປໄດ້ທີ່ຈະກໍານົດຫນ້າທີ່ທົ່ວໄປສໍາລັບຂະຫນາດ array ໃດ, ແຕ່ພວກມັນຍັງບໍ່ໄດ້ລວມຢູ່ໃນລັກສະນະທີ່ຫມັ້ນຄົງຂອງພາສາ, ເຖິງແມ່ນວ່າພວກເຂົາຖືກປະຕິບັດຢູ່ໃນ compiler ແລະປະຈຸບັນຖືກນໍາໃຊ້ໃນຫ້ອງສະຫມຸດມາດຕະຖານ. ສໍາລັບປະເພດ array ຂອງຂະຫນາດໃດກໍ່ຕາມ.
  ຕົວຢ່າງ, ໂຄງສ້າງຕໍ່ໄປນີ້ໃນ Rust 1.47 ຈະພິມເນື້ອໃນຂອງ array, ເຖິງແມ່ນວ່າກ່ອນຫນ້ານີ້ມັນຈະເຮັດໃຫ້ເກີດຄວາມຜິດພາດ:

fn ຫຼັກ() {
ໃຫ້ xs = [0; 34];
println!("{:?}", xs);
}

• ສະຫນອງຜົນຜະລິດຂອງຮອຍທີ່ສັ້ນກວ່າ (backtrace), ຜົນຜະລິດໃນສະຖານະການສຸກເສີນ. ອົງປະກອບທີ່ບໍ່ມີຄວາມສົນໃຈໃນສະຖານະການສ່ວນໃຫຍ່, ແຕ່ເຮັດໃຫ້ຜົນຜະລິດແລະລົບກວນຄວາມສົນໃຈຈາກສາເຫດຕົ້ນຕໍຂອງບັນຫາ, ແມ່ນຖືກຍົກເວັ້ນຈາກການຕິດຕາມ. ເພື່ອສົ່ງຄືນການຕິດຕາມເຕັມ, ທ່ານສາມາດໃຊ້ຕົວແປສະພາບແວດລ້ອມ "RUST_BACKTRACE=full". ຕົວຢ່າງ, ສໍາລັບລະຫັດ

fn ຫຼັກ() {
ຄວາມ​ຕື່​ນ​ຕົກ​ໃຈ!();
}

ກ່ອນຫນ້ານີ້, ການຕິດຕາມແມ່ນຜົນຜະລິດໃນ 23 ຂັ້ນຕອນ, ແຕ່ໃນປັດຈຸບັນມັນຈະຖືກຫຼຸດລົງເປັນ 3 ຂັ້ນຕອນ, ຊ່ວຍໃຫ້ທ່ານສາມາດເຂົ້າໃຈໄດ້ທັນທີ:

ກະທູ້ 'ຫຼັກ' ຕົກໃຈຢູ່ 'ຄວາມຕື່ນຕົກໃຈຢ່າງຈະແຈ້ງ', src/main.rs:2:5
stack backtrace:
0: std::panicking::begin_panic
ທີ່ /rustc/d…d75a/library/std/src/panicking.rs:497
1: ສະຫນາມເດັກຫຼິ້ນ:: ຕົ້ນຕໍ
ທີ່ ./src/main.rs:2
2: ຫຼັກ::ops::function::FnOnce::call_once
ທີ່ /rustc/d…d75a/library/core/src/ops/function.rs:227

• rustc compiler ໄດ້ຖືກປັບປຸງເພື່ອສ້າງໂດຍໃຊ້ LLVM 11 (Rust ໃຊ້ LLVM ເປັນ backend ສໍາລັບການສ້າງລະຫັດ). ໃນຂະນະດຽວກັນ, ຄວາມສາມາດໃນການສ້າງດ້ວຍ LLVM ເກົ່າ, ເຖິງຮຸ່ນ 8, ໄດ້ຖືກຮັກສາໄວ້, ແຕ່ໂດຍຄ່າເລີ່ມຕົ້ນ (ໃນ rust-lang/llvm-project) LLVM 11 ຖືກນໍາໃຊ້ໃນປັດຈຸບັນ. ການປ່ອຍ LLVM 11 ຄາດວ່າຈະຢູ່ໃນທີ່ຈະມາເຖິງ. ມື້.
• ໃນແພລະຕະຟອມ Windows, rustc compiler ສະຫນອງການສະຫນັບສະຫນູນສໍາລັບການເຮັດໃຫ້ການກວດສອບຄວາມສົມບູນຂອງການຄວບຄຸມ (Control Flow Guard), ເປີດໃຊ້ໂດຍໃຊ້ທຸງ "-C control-flow-guard". ໃນເວທີອື່ນໆ, ທຸງນີ້ຖືກລະເລີຍໃນຕອນນີ້.
• ສ່ວນໃໝ່ຂອງ API ໄດ້ຖືກໂອນໄປໃສ່ໝວດໝູ່ທີ່ໝັ້ນຄົງ, ລວມທັງ Ident ຄົງທີ່::new_raw, Range::is_empty, RangeInclusive::is_empty, Result::as_deref, Result::as_deref_mut, Vec::leak, pointer::offset_from , f32:: TAU ແລະ f64::TAU.
• ຄຸນລັກສະນະ "const", ເຊິ່ງກໍານົດຄວາມເປັນໄປໄດ້ຂອງການນໍາໃຊ້ມັນໃນສະພາບການໃດກໍ່ຕາມແທນທີ່ຈະເປັນຄ່າຄົງທີ່, ແມ່ນໃຊ້ໃນວິທີການ:
  • ໃໝ່ສຳລັບຈຳນວນເຕັມທັງໝົດທີ່ບໍ່ແມ່ນສູນ;
  • checked_add, checked_sub, checked_mul, checked_neg, checked_shl, checked_shr, saturating_add, saturating_sub ແລະ saturating_mul ສໍາລັບຈໍານວນເຕັມທັງຫມົດ;
  • is_ascii_alphabetic, is_ascii_ຕົວພິມໃຫຍ່, is_ascii_ຕົວພິມນ້ອຍ, is_ascii_alphanumeric, is_ascii_digit, is_ascii_hexdigit, is_ascii_punctuation, is_ascii_graphic, is_ascii_whitespace_c u ແລະ 8ascii.
• ສໍາລັບ FreeBSD, ຊຸດເຄື່ອງມືຈາກ FreeBSD 11.4 ຖືກນໍາໃຊ້ (FreeBSD 10 ບໍ່ສະຫນັບສະຫນູນ LLVM 11).

ເອົາມາຈາກ opennet.ru

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