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

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

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

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

• Реализирана поддръжка за типове масиви всякакъв размер. Преди това, поради невъзможността да се дефинират общи функции за всички цели числа, стандартната библиотека предоставяше вградена поддръжка на характеристики само за масиви с размер до 32 елемента (характеристиките за всеки размер бяха статично дефинирани). Благодарение на създаването на функционалността на постоянните генерични средства („const генерични“), стана възможно да се дефинират генерични функции за произволен размер на масива, но те все още не са включени в стабилните езикови функции, въпреки че са внедрени в компилатора и са сега участващи в стандартната библиотека за черти на масив от всякакъв размер.

  Например, следната конструкция в Rust 1.47 ще отпечата съдържанието на масив, въпреки че преди това би довело до грешка:

  fn main() {
  нека xs = [0; 34];

  println!("{:?}", xs);
  }

• Осигурен изход на по-къси следи (backtrace), изход в аварийни ситуации. Елементи, които не представляват интерес в повечето ситуации, но затрупват изхода и отвличат вниманието от основните причини за проблема, се изключват от трасирането. За да върнете пълно проследяване, можете да използвате променливата на средата "RUST_BACKTRACE=full". Например за кода

  fn main() {
  паника!();
  }

  Преди това проследяването се извеждаше на 23 етапа, но сега ще бъде намалено до
  3 стъпки, които ви позволяват веднага да схванете същността:

  нишка 'main' се паникьоса при 'явна паника', src/main.rs:2:5
  обратно проследяване на стека:
  0: std::panicking::begin_panic
  в /rustc/d…d75a/library/std/src/panicking.rs:497
  1: детска площадка::главна
  на ./src/main.rs:2
  2: core::ops::function::FnOnce::call_once
  в /rustc/d…d75a/library/core/src/ops/function.rs:227

• Компилаторът rustc е актуализиран, за да използва LLVM 11 (Ръжда използва LLVM като бекенд за генериране на код). В същото време възможността за изграждане с по-стари LLVM, до версия 8, се запазва, но по подразбиране (в rust-lang/llvm-проект) сега използва LLVM 11. Очаква се LLVM 11 да бъде пуснат в следващите дни.
• На платформата на Windows компилаторът rustc осигурява поддръжка за активиране на проверки за целостта на контролния поток (Control Flow Guard), активиран с помощта на флага „-C control-flow-guard“. На други платформи този флаг засега се игнорира.
• Нова част от API е прехвърлена в категорията стабилни, включително стабилизирани
  Идент :: new_raw,
  Диапазон::е_празен,
  RangeInclusive::is_empty,
  Резултат::as_deref,
  Резултат::as_deref_mut,
  Vec::теч,
  указател :: отместване от,
  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_uppercase, is_ascii_lowercase, is_ascii_alphanumeric, is_ascii_digit, is_ascii_hexdigit, is_ascii_punctuation, is_ascii_graphic, is_ascii_whitespace и is_ascii_control за типове char и u8.
• За FreeBSD участващи инструментариум от FreeBSD 11.4 (FreeBSD 10 не поддържа LLVM 11).

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