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

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

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

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

• Функционалността, свързана с използването на постоянни генерични продукти, получи статут на минимално жизнеспособен продукт (MVP), което дава зелена светлина за широко използване. Const генериците позволяват типовете да бъдат обобщени до постоянни стойности, т.е. използвайте общи аргументи, ограничени до диапазон от постоянни стойности, а не типове или времена на живот. Тази функция ви позволява да използвате целочислени параметризирани типове и абстракция, когато създавате черти за масиви от всякакъв размер, без да се налага да създавате отделен тип за всеки диапазон от валидни стойности, за да сте сигурни, че няма събития извън границите.

  Започвайки с текущата версия, за масиви с тип „[T; N]" (тип T и размер N) предоставя възможността за абстрахиране на тип и размер, като се използват стойности с всякакви цели числа, булеви и символни типове (типовете struct и enum все още не се поддържат). Постоянните генерични елементи значително опростяват разработването на библиотеки; например, за да използвате масив, който не е обвързан с конкретен тип и размер, можете да посочите: struct Array { // ^^^^^^ ^^^^^^^ ^^^^^^ дефиниция на постоянен общ списък: [T; ДЪЛЖИНА] // ^^^^^^ неговата употреба }

  Когато действително се използва с тази дефиниция на "Array", компилаторът ще генерира мономорфна версия на Array: struct Array { list: [u8; 32] }

• API std::array::IntoIter, базиран на постоянни генерични кодове, е стабилизиран, с който можете да създавате итератори по стойност за всеки масив: fn main() { let array = [1, 2, 3, 4, 5] ; // Преди, за да итерирате стойност, трябваше да извикате метода .iter() за item в array.iter().copied() { println!("{}", item); } // Сега можете да посочите за елемент в std::array::IntoIter::new(array) { println!("{}", item); }}
• Мениджърът на товарни пакети вече поддържа ново поле за резолвер в Cargo.toml, което може да се използва за активиране на втората версия на резолвера на функции. Новата версия на дефинатора избягва комбинирането на функции на зависимости, изброени в раздела „[функции]“, където е неподходящо, например, когато се включва зависимост, която изисква някаква стандартна функция в скриптове за компилация и макроси, но когато се използва нестандартна функция в получения изпълним файл.

  Досега възможностите на пакет, споменат многократно в графиката на зависимостите, бяха комбинирани. Например, ако даден проект включва зависимост foo, която дефинира възможности A и B, и този пакет се използва в другите пакети bar и baz, въпреки че bar зависи от foo с функция A, а baz зависи от foo с функция B, тогава резултатът ще бъде, че cargo ще комбинира тези функции и ще компилира foo с включени функции A и B. Този метод може да доведе до функция, която е активирана поради несъвместимост на някаква зависимост с целевата система, за която е направена получената компилация. Например, когато искате да използвате версия на foo с "#![no_std]" в изпълним файл, изграден с "#![no_std]", и в същото време да използвате foo с "std" по време на компилирането. rs. Когато посочите resolver="2" в Cargo.toml, мениджърът на пакети сега ще се опита да се справи правилно с този конфликт, разделяйки зависимостите dev, host и target.

• Cargo имплементира опцията split-debuginfo, зададена в секцията „[profile]“ и съответния флаг „-Csplit-debuginfo=unpacked“ в rustc, предлагайки прилагането на нов метод за запазване на информация за отстраняване на грешки, което елиминира необходимостта от извикване на помощната програма dsymutil и значително ускорява процеса на изграждане с информация за отстраняване на грешки в macOS.
• Стабилизиран makos "ptr::addr_of!" и “ptr::addr_of_mut!”, които ви позволяват да създавате необработени указатели за неподравнени полета. използвайте std::ptr; #[repr(packed)] struct Packed { f1: u8, f2: u16, } let packed = Packed { f1: 1, f2: 2 }; // &packed.f2 ще създаде неподравнен указател, водещ до недефинирано поведение let raw_f2 = ptr::addr_of!(packed.f2); assert_eq!(unsafe { raw_f2.read_unaligned() }, 2);
• Нова част от API е прехвърлена в стабилна категория, включително следните методи са стабилизирани:
  • Arc::decrement_strong_count
  • Arc::increment_strong_count
  • Once::call_once_force
  • Peekable::next_if_eq
  • Peekable::next_if
  • Seek::stream_position
  • array::IntoIter
  • panic::panic_any
  • ptr::addr_of!
  • ptr::addr_of_mut!
  • slice::fill_with
  • slice::split_inclusive_mut
  • slice::split_inclusive
  • slice::strip_prefix
  • slice::strip_suffix
  • str::split_inclusive
  • sync::OnceState
  • задача :: Събуждане
• Третото ниво на поддръжка е внедрено за платформите i386-unknown-linux-gnu, i486-unknown-linux-gnu, aarch64_be-unknown-linux-gnu, aarch64-unknown-linux-gnu_ilp32 и aarch64_be-unknown-linux-gnu_ilp32 . Третото ниво включва основна поддръжка, но без автоматизирано тестване, публикуване на официални компилации или проверка дали кодът може да бъде компилиран.

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