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

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

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

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

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

• Добавена е поддръжка за общи асоциирани типове (GAT, Generic Associated Types), които правят възможно създаването на псевдоними на типове, свързани с друг тип, и ви позволяват да свързвате конструктори на типове с характеристики. trait Foo { type Bar<'x>; }
• Изразът „let ... else“ е внедрен, което ви позволява да проверите условието за съвпадение на шаблон директно в израза „let“ и да изпълните произволен код, ако шаблонът не съвпада. let Ok(count) = u64::from_str(count_str) else { panic!("Не може да анализира цяло число: '{count_str}'"); };
• Разрешете използването на оператор за прекъсване за преждевременно излизане от наименувани блокове, като използвате името на блока (етикет), за да идентифицирате блока, който трябва да бъде прекратен. let result = 'block: { do_thing(); if condition_not_met() { break 'блок 1; } do_next_thing(); if condition_not_met() { break 'block 2; } do_last_thing(); 3};
• За Linux е добавена възможност за отделно запазване на информация за отстраняване на грешки (split-debuginfo), достъпна преди това само за платформата macOS. Когато посочите опцията "-Csplit-debuginfo=unpacked", данните за debuginfo във формат DWARF ще бъдат записани в няколко отделни обектни файла с разширение ".dwo". Указването на "-Csplit-debuginfo=packed" ще създаде единичен пакет във формат ".dwp", който включва всички данни за debuginfo за проекта. За да интегрирате debuginfo директно в секцията .debug_* на ELF обекти, можете да използвате опцията "-Csplit-debuginfo=off".
• Нова част от API е преместена в категорията на стабилни, включително методите и имплементациите на характеристиките са стабилизирани:
  • std::backtrace::backtrace
  • Обвързан :: като_реф
  • std::io::read_to_string
  • <*const T>::cast_mut
  • <*mut T>::cast_const
• Атрибутът “const”, който определя възможността за използването му във всеки контекст вместо константи, се използва във функциите <*const T&>::offset_from и <*mut T>::offset_from
• Като част от последния етап от прехвърлянето на внедряването на LSP (Language Server Protocol) протокол към rust-analyzer, остарялото внедряване на Rust Language Server (RLS) беше заменено със сървър за мъничета, който издава предупреждение с предложение за преминаване към с помощта на анализатор на ръжда.
• По време на компилация е активирана поддръжка за вградено внедряване на междинен код MIR, което ускорява компилирането на типични пакети с щайги с 3-10%.
• За да ускори планираните компилации, мениджърът на пакети Cargo осигурява сортиране на задачи, които чакат изпълнение в опашката.

Освен това можете да обърнете внимание на интервюто за използването на езика Rust във Volvo за разработване на компоненти на автомобилни информационни системи. Няма планове за пренаписване на съществуващ и тестван код в Rust, но за нов код Rust е една от предпочитаните опции за подобряване на качеството при по-ниски разходи. Работни групи, свързани с използването на езика Rust, са създадени и в автомобилните асоциации AUTOSAR (AUTomotive Open System ARchitecture) и SAE (Society of Automotive Engineers).

В допълнение, Дейвид Клайдермахер, вицепрезидент по инженерството на Google, говори за превода на кода, използван в платформата Android за управление на ключове за криптиране, в Rust, както и използването на Rust при внедряването на DNS през HTTPS протокол в стека за UWB-чипове (Ultra-Wideband) и в рамката за виртуализация (Android Virtualization Framework), свързана с чипа Tensor G2. Нови стекове за Bluetooth и Wi-Fi, пренаписани на Rust, също се разработват за Android. Общата стратегия е постепенно укрепване на сигурността, първо чрез преобразуване на най-уязвимите и жизненоважни софтуерни компоненти в Rust и след това разширяване към други свързани подсистеми. Миналата година езикът Rust беше включен в списъка с езици, разрешени за разработване на платформата Android.

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