Rust 1.47 Programming Language Release

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

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

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

• ປະຕິບັດການສະຫນັບສະຫນູນສໍາລັບປະເພດ arrays ຂະໜາດໃດກໍໄດ້. ກ່ອນຫນ້ານີ້, ເນື່ອງຈາກບໍ່ສາມາດກໍານົດຫນ້າທີ່ທົ່ວໄປສໍາລັບຄ່າຈໍານວນເຕັມທັງຫມົດ, ຫ້ອງສະຫມຸດມາດຕະຖານໄດ້ສະຫນອງການສະຫນັບສະຫນູນລັກສະນະທີ່ມີຕົວຕົນພຽງແຕ່ສໍາລັບ arrays ທີ່ມີຂະຫນາດເຖິງ 32 ອົງປະກອບ (ລັກສະນະສໍາລັບແຕ່ລະຂະຫນາດແມ່ນຖືກກໍານົດໂດຍສະຖິຕິ). ຂໍຂອບໃຈກັບການສ້າງຫນ້າທີ່ຂອງ generics ຄົງທີ່ (" 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 (ສອກ ການນໍາໃຊ້ LLVM ເປັນ backend ສໍາລັບ ການສ້າງລະຫັດ). ໃນຂະນະດຽວກັນ, ຄວາມສາມາດໃນການສ້າງກັບ LLVMs ເກົ່າ, ເຖິງຮຸ່ນ 8, ໄດ້ຖືກເກັບຮັກສາໄວ້, ແຕ່ໂດຍຄ່າເລີ່ມຕົ້ນ (ໃນ. rust-lang/llvm-ໂຄງການ) ໃນປັດຈຸບັນກໍາລັງໃຊ້ LLVM 11. LLVM 11 ຄາດວ່າຈະຖືກປ່ອຍອອກມາໃນມື້ຂ້າງຫນ້າ.
• ໃນແພລະຕະຟອມ Windows, rustc compiler ສະຫນອງການສະຫນັບສະຫນູນສໍາລັບການເຮັດໃຫ້ການກວດສອບຄວາມສົມບູນຂອງການຄວບຄຸມ (Control Flow Guard), activated ໂດຍໃຊ້ທຸງ "-C control-flow-guard". ໃນເວທີອື່ນໆ, ທຸງນີ້ຖືກລະເລີຍໃນຕອນນີ້.
• ສ່ວນໃຫມ່ຂອງ APIs ໄດ້ຖືກໂອນໄປຫາປະເພດທີ່ຫມັ້ນຄົງ, ລວມທັງຄວາມຫມັ້ນຄົງ
  Ident::new_raw,
  ຊ່ວງ::is_empty,
  RangeInclusive::is_empty,
  ຜົນໄດ້ຮັບ::as_deref,
  ຜົນໄດ້ຮັບ::as_deref_mut,
  Vec::ຮົ່ວ,
  ຕົວຊີ້::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