Издаване на език за програмиране Rust 1.73

Езикът за програмиране с общо предназначение Rust 1.73, основан от проекта Mozilla, но сега разработен под егидата на независимата организация с нестопанска цел Rust Foundation, беше пуснат. Езикът се фокусира върху безопасността на паметта и предоставя средствата за постигане на висок паралелизъм на работата, като същевременно се избягва използването на събирач на отпадъци и време за изпълнение (времето за изпълнение е намалено до основна инициализация и поддръжка на стандартната библиотека).

Методите за обработка на паметта на Rust спасяват разработчика от грешки при манипулиране на указатели и предпазват от проблеми, които възникват поради обработка на паметта на ниско ниво, като достъп до област на паметта, след като тя е била освободена, дерефериране на нулеви указатели, препълване на буфер и т.н. За разпространение на библиотеки, предоставяне на компилации и управление на зависимости, проектът разработва мениджъра на пакети Cargo. Хранилището crates.io се поддържа за хостване на библиотеки.

Безопасността на паметта е осигурена в Rust по време на компилиране чрез проверка на референции, проследяване на собствеността на обекта, проследяване на продължителността на живот на обекта (обхвати) и оценка на коректността на достъпа до паметта по време на изпълнение на кода. Rust също осигурява защита срещу целочислени препълвания, изисква променливите да бъдат инициализирани преди употреба, обработва грешките по-добре в стандартната библиотека, прилага концепцията за неизменни препратки и променливи по подразбиране и предлага силно статично въвеждане за минимизиране на логическите грешки.

Основни иновации:

• Форматът на съобщенията, издадени от програмата за обработка на сривове по подразбиране (паника), е преработен. Текстът, посочен в макроса "panic!" сега се показва на отделен ред без кавички, което прави съобщението по-лесно за четене и елиминира объркването, когато има вложени кавички или са разделени на няколко реда. fn main() { let file = "ferris.txt"; паника!("о, не! {файл:?} не е намерен!"); } Имаше нишка 'main', паникьосана от 'о, не! "ferris.txt" не е намерен!', src/main.rs:3:5 Нишката 'main' изпадна в паника в src/main.rs:3:5: о, не! "ferris.txt" не е намерен!

  Изходът на съобщенията, показван при задействане на макросите „assert_eq“ и „assert_ne“, също е преработен. fn main() { assert_eq!("🦀", "🐟", "фери не е риба"); } Имаше нишка 'main', изпаднала в паника при 'неуспешно твърдение: `(ляво == дясно)` ляво: `"🦀"`, дясно: `"🐟"`: ферис не е риба', src/main.rs: 2:5 Темата 'main' се паникьоса в src/main.rs:2:5: твърдението `left == right` не бе успешно: ferris не е риба ляво: “🦀” дясно: “🐟”

• В съответствие с RFC 3184 е добавена възможността за директно манипулиране на локални за нишки (thread_local) LocalKey ключове за съхранение > и LocalKey > чрез използването на методи get(), set(), take() и replace(), вместо използване на затваряне "with(|inner| ...)", което елиминира необходимостта от извършване на допълнителен код за инициализация за стойности по подразбиране, определени за нови нишки, когато използвате макроса “thread_local!” нишка_локална! { статични НЕЩА: клетка > = Cell::new(Vec::new()); } fn f() { // беше THINGS.with(|i| i.set(vec![32, 1, 2])); // стана THINGS.set(vec![3, 1, 2]); // ... // беше пуснато v = THINGS.with(|i| i.take()); // стана let v: Vec = НЕЩА.take(); }
• Нова част от API е преместена в категорията на стабилни, включително методите и имплементациите на характеристиките са стабилизирани:
  • Неподписано {цяло число}::div_ceil
  • Unsigned {integer}::next_multiple_of
  • Unsigned {integer}::checked_next_multiple_of
  • std::ffi::FromBytesUntilNulError
  • std::os::unix::fs::chown
  • std::os::unix::fs::fchown
  • std::os::unix::fs::lfchown
  • LocalKey:: >::получи
  • LocalKey:: >::комплект
  • LocalKey:: >::вземете
  • LocalKey:: >::замени
  • LocalKey:: >::с_заем
  • LocalKey:: >::with_borrow_mut
  • LocalKey:: >::комплект
  • LocalKey:: >::вземете
  • LocalKey:: >::замени
• Атрибутът "const", който определя възможността за използването му във всеки контекст вместо константи, се използва във функции:
  • rc::Слаб::нов
  • синхронизиране :: Слабо :: ново
  • NonNull::as_ref
• Компилаторът осигурява запис на информация за версията в секцията „.comment“, подобно на GCC и Clang.
• Третото ниво на поддръжка е внедрено за платформите aarch64-unknown-teeos, csky-unknown-linux-gnuabiv2, riscv64-linux-android, riscv64gc-unknown-hermit, x86_64-unikraft-linux-musl и x86_64-unknown-linux -охос. Третото ниво включва основна поддръжка, но без автоматизирано тестване, публикуване на официални компилации или проверка дали кодът може да бъде компилиран.
• Внедрено е второто ниво на поддръжка за целевата платформа wasm32-wasi-preview1-threads. Второто ниво на поддръжка включва гаранция за монтаж.

Източник: opennet.ru