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

Публикувано релиз на системния език за програмиране Rust 1.40, основан от проекта Mozilla. Този език е фокусиран върху безопасната работа с паметта, осигурява автоматично управление на паметта и предоставя средства за достигане на висока паралелност при изпълнението на задачи, без да използва събирач на боклук и runtime.

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

Основни нововъведения:

• Добавена възможност за маркиране на структури (struct) и изброявания (enum) с блока Variant чрез атрибута «#[non_exhaustive]«, който позволява в бъдеще позволява добавянето на нови полета и варианти в обявени структури и изброявания. Например, разработчиците на модули с публично обявени полета могат да използват «#[non_exhaustive]» за маркиране на структури, в които в бъдеще може да се добавят нови полета. Досега в подобна ситуация разработчикът е трябвало да избере между частно обявление на полета и привързване към неизменен списък с полета. Новият атрибут премахва това ограничение и позволява в бъдеще да се добавят нови полета без риск от нарушаване на работата на вече написан външен код. В crate-пакетите при съвпадения на варианти в секцията «match» се изисква явно определение на маската «_ => {…}», обхващаща възможни бъдещи полета, иначе при добавяне на нови полета ще се извежда грешка.
• Добавено възможност за извикване на процедурния макрос mac!() в контекста на тип. Например, сега може да се пише «type Foo = expand_to_type!(bar);», ако «expand_to_type» е процедурен макрос.
• В блоковете «extern { … }» е добавена възможност за използване на процедурни и атрибутивни макроси, включително макроси «bang!()», например:

  macro_rules! make_item { ($name:ident) => { fn $name(); } }

  extern {
  make_item!(alpha);
  make_item!(beta);
  }

  extern «C» {
  #[my_identity_macro]
  fn foo();
  }

• В макросите е реализирана възможност за генериране на елементи «macro_rules!». Генерирането на «macro_rules!» е възможно както в макроси, наподобяващи функции («mac!()»), така и в макроси с форма на атрибути («#[mac]»).
• В елемента за съвпадение $m:meta е добавена поддръжка на произволни стойности на изброявания токени («[TOKEN_STREAM]», «{TOKEN_STREAM}» и «(TOKEN_STREAM)»), например:

  macro_rules! accept_meta { ($m:meta) => {} }
  accept_meta!( my::path );
  accept_meta!( my::path = «lit» );
  accept_meta!( my::path ( a b c ) );
  accept_meta!( my::path [ a b c ] );
  accept_meta!( my::path { a b c } );

• В режим Rust 2015 е активизиран изход на грешка за проблеми, открити при проверка на заемането на променливи (borrow checker) с използване на техниката NLL (Non-Lexical Lifetimes). По-рано предупрежденията бяха заменени с грешки при работа в режим Rust 2018.
  След разширяване на промяната и за режим Rust 2015 разработчиците получиха възможност окончателно да се отърват да се откажат от стария borrow checker.

  Напомняме, че системата за проверка, основана на новия механизъм за отчитане на жизнения цикъл на заетите променливи, е позволила да се идентифицират някои проблеми, които старият код за проверка не е регистрирал. Тъй като изходът на грешка за подобни проверки може да повлияе на съвместимостта с предишния работещ код, вместо грешки първоначално бяха издавани предупреждения.

• Признакът «const», който определя възможността за използване в контекста на константи, е приложен за функцията is_power_of_two (за беззнакови цели числа).
• Нова серия API е преведена в категорията стабилни, включително стабилизирани макроси todo!() и методи slice::repeat, mem::take, BTreeMap::get_key_value, HashMap::get_key_value,
  Option::as_deref, Option::as_deref_mut, Option::flatten, UdpSocket::peer_addr, {f32,f64}::to_be_bytes, {f32,f64}::to_le_bytes,{f32,f64}::to_ne_bytes, {f32,f64}::from_be_bytes, {f32,f64}::from_le_bytes, и {f32,f64}::from_ne_bytes.
• В пакетния мениджър cargo
  реализирано кеширане на диска на предупрежденията от компилатора. В командата «cargo metadata» е добавена опцията «—filter-platform» за показване в графата за разрешения на зависимостите само на пакети, свързани с указаната целева платформа. Добавен е параметър на конфигурацията http.ssl-version за определяне на допустимите версии на TLS.
  Добавена е възможност за публикуване на секцията «dev-dependencies» без посочване на ключа «version».
• В компилатора rustc е осигурено трето ниво на поддръжка за целеви платформи thumbv7neon-unknown-linux-musleabihf, aarch64-unknown-none-softfloat, mips64-unknown-linux-muslabi64 и mips64el-unknown-linux-muslabi64. Третото ниво предполага базова поддръжка, но без автоматизирано тестване и публикуване на официални сборки.

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