Выпуск языка программирования Rust 1.80 — AllUNIX.ru — Всероссийский портал о UNIX-системах

Опубликован релиз языка программирования общего назначения Rust 1.80, основанного проектом Mozilla, но ныне развиваемого под покровительством независимой некоммерческой организации Rust Foundation. Язык сфокусирован на безопасной работе с памятью и предоставляет средства для достижения высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime (runtime сводится к базовой инициализации и сопровождению стандартной библиотеки).

Методы работы с памятью в Rust избавляют разработчика от ошибок при манипулировании указателями и защищают от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей, выход за границы буфера и т.п. Для распространения библиотек, обеспечения сборки и управления зависимостями проектом развивается пакетный менеджер Cargo. Для размещения библиотек поддерживается репозиторий crates.io.

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

Основные новшества:

Добавлены структуры LazyCell и LazyLock, позволяющие отложить инициализацию данных до первого доступа (вызов функции инициализации осуществляется при попытке доступа к значению). LazyLock отличается от LazyCell поддержкой средств синхронизации для использования в многопоточном коде.
```
   use std::sync::LazyLock;
   use std::time::Instant;

   static LAZY_TIME: LazyLock‹Instant› = LazyLock::new(Instant::now);

   fn main() {
       let start = Instant::now();
       std::thread::scope(|s| {
           s.spawn(|| {
               println!("Thread lazy time is {:?}", LAZY_TIME.duration_since(start));
           });
           println!("Main lazy time is {:?}", LAZY_TIME.duration_since(start));
       });
   }
```

В компиляторе rustc стабилизирована опция «—check-cfg», которая задействована в пакетном менеджере для проверки всех имён и значений, задаваемых через cfg, включая имена из Cargo.toml.


   fn main() {
       println!("Hello, world!");

       #[cfg(feature = "crayon")]
       rayon::join(
           || println!("Hello, Thing One!"),
           || println!("Hello, Thing Two!"),
       );
   }

   warning: unexpected `cfg` condition value: `crayon`
    --> src/main.rs:4:11
     |
   4 |     #[cfg(feature = "crayon")]
     |           ^^^^^^^^^^--------
     |                     |
     |                     help: there is a expected value with a similar name: `"rayon"`

В шаблонах разрешено указание диапазонов в форматах «a..b» и «..b», которые аналогичны использованию выражений Range и RangeTo.


   pub fn size_prefix(n: u32) -› &'static str {
       const K: u32 = 10u32.pow(3);
       const M: u32 = 10u32.pow(6);
       const G: u32 = 10u32.pow(9);
       match n {
           ..K =› "",
           K..M =› "k",
           M..G =› "M",
           G.. =› "G",
       }
}

В разряд стабильных переведена новая порция API, в том числе стабилизированы методы и реализации типажей:
Признак «const», определяющий возможность использования в любом контексте вместо констант, применён в функциях:
- ‹[T]>::last_chunk
- BinaryHeap::new
Реализован третий уровень поддержки для платформы x86_64-unknown-linux-none. Третий уровень подразумевает базовую поддержку, но без автоматизированного тестирования, публикации официальных сборок и проверки возможности сборки кода.

Источник: http://www.opennet.ru/opennews/art.shtml?num=61614