Руст 1.58 Издание за програмски јазик

Објавено е објавувањето на програмскиот јазик за општа намена Rust 1.58, основан од проектот Mozilla, но сега развиен под покровителство на независната непрофитна организација Rust Foundation. Јазикот се фокусира на безбедноста на меморијата, обезбедува автоматско управување со меморијата и обезбедува средства за постигнување висок паралелизам на задачите без користење на собирач на ѓубре или време на работа (времето на траење е сведено на основна иницијализација и одржување на стандардната библиотека).

Автоматското управување со меморијата на Rust ги елиминира грешките при манипулирање со покажувачите и заштитува од проблеми што произлегуваат од манипулација со меморијата на ниско ниво, како што се пристап до мемориски регион откако ќе се ослободи, дереференции на нула покажувач, пречекорувања на баферот итн. За да се дистрибуираат библиотеки, да се обезбеди склопување и да се управува со зависности, проектот го развива менаџерот на пакети Cargo. Репозиториумот crates.io е поддржан за хостирање библиотеки.

Главните иновации:

• Во блоковите за форматирање линии, покрај претходно достапната можност за замена на променливите експлицитно наведени по линија по број и име, имплементирана е можноста за замена на произволни идентификатори со додавање на изразот „{identifier}“ во линијата. На пример: // Претходно поддржани конструкции: println!("Здраво, {}!", get_person()); println!("Здраво, {0}!", get_person()); println!("Здраво, {лице}!", лице = get_person()); // сега можете да наведете let person = get_person(); println! ("Здраво, {лице}!");

  Идентификаторите може да се наведат и директно во опциите за форматирање. нека (ширина, прецизност) = get_format(); за (име, резултат) во get_scores() { println!("{име}: {score:width$.precision$}"); }

  Новата замена работи во сите макроа кои поддржуваат дефиниција на формат на низа, со исклучок на макрото „паника!“. во верзиите на Rust од 2015 и 2018 година, во кој паниката!(„{ident}“) се третира како обична низа (во Rust 2021, замената функционира).

• Однесувањето на структурата на std::process::Command на платформата Windows е променето така што при извршување на команди, од безбедносни причини, повеќе не бара извршни датотеки во тековниот директориум. Тековниот директориум е исклучен бидејќи може да се користи за извршување на злонамерен код ако програмите се извршуваат во недоверливи директориуми (CVE-2021-3013). Новата логика за откривање на извршна датотека вклучува пребарување на директориумите Rust, директориумот на апликации, системскиот директориум на Windows и директориумите наведени во променливата на околината PATH.
• Стандардната библиотека го прошири бројот на функции означени со „#[must_use]“ за да издаде предупредување доколку повратната вредност се игнорира, што помага да се идентификуваат грешките предизвикани со претпоставката дека функцијата ќе ги промени вредностите наместо да враќа нова вредност.
• Нов дел од API е преместен во категоријата стабилни, вклучувајќи ги и методите и имплементацијата на карактеристиките се стабилизирани:
  • Метаподатоци::is_symlink
  • Патека::is_symlink
  • {integer}::saturating_div
  • Опција::unwrap_unchecked
  • Резултат::unwrap_unchecked
  • Резултат::unwrap_err_unchecked
• Атрибутот „const“, кој ја одредува можноста да се користи во кој било контекст наместо константи, се користи во функции:
  • Времетраење::нов
  • Времетраење::проверено_додадете
  • Времетраење::saturating_add
  • Времетраење::проверено_под
  • Времетраење::заситена_под
  • Времетраење::проверено_мул
  • Времетраење::saturating_mul
  • Времетраење::проверено_див
• Дозволено дереференцирање на покажувачите „*const T“ во „const“ контексти.
• Во менаџерот на пакети Cargo, полето rust_version е додадено на метаподатоците на пакетот, а опцијата „--порака-формат“ е додадена на командата „cargo install“.
• Компајлерот имплементира поддршка за механизмот за заштита на CFI (Control Flow Integrity), кој додава проверки пред секој индиректен повик за откривање на некои форми на недефинирано однесување што потенцијално може да доведе до нарушување на нормалниот налог на извршување (контролен тек) како резултат на употреба на експлоатирања кои ги менуваат покажувачите зачувани во меморијата на функциите.
• Компајлерот додаде поддршка за верзии 5 и 6 од форматот за споредба на покриеност LLVM, што се користи за оценување на покриеноста на кодот за време на тестирањето.
• Во компајлерот, барањата за минималната верзија на LLVM се подигнати на LLVM 12.
• Третото ниво на поддршка за платформата x86_64-unknown-none е имплементирано. Третото ниво вклучува основна поддршка, но без автоматско тестирање, објавување официјални изданија или проверка дали кодот може да се изгради.

Дополнително, можеме да го забележиме објавувањето од Мајкрософт за објавувањето на библиотеките Rust за Windows 0.30, кои ви дозволуваат да го користите јазикот Rust за да развивате апликации за оперативниот систем Windows. Сетот вклучува два пакети гајба (windows и windows-sys), преку кои можете да пристапите до Win API во програмите Rust. Кодот за поддршка на API се генерира динамично од метаподатоци што го опишуваат API, што ви овозможува да имплементирате поддршка не само за постојните повици на Win API, туку и за повиците што ќе се појавуваат во иднина. Новата верзија додава поддршка за целната платформа UWP (Universal Windows Platform) и ги имплементира типовите Handle и Debug.

Извор: opennet.ru