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

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

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

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

• Елиминиран дългогодишен недостатък когато извършвате преобразувания между цели числа и числа с плаваща запетая. Тъй като компилаторът Rust използва LLVM като бекенд, операциите за преобразуване на тип бяха извършени чрез междинни кодови инструкции на LLVM, като например fptoui, които имат една важна характеристика - недефинирано поведение, ако получената стойност не се вписва в целевия тип. Например, при преобразуване на плаваща стойност 300 с тип f32 в целочислен тип u8, резултатът е непредвидим и може да варира в различните системи. Проблемът е, че тази функция се появява в код, който не е маркиран като „опасен“.

  От Rust 1.45 поведението на препълването на размера на типа е строго регулирано и операцията за преобразуване "as" проверява за препълване и принуждава преобразуването на стойността към максималната или минималната стойност на целевия тип (за примера по-горе, стойност от 300 ще бъдат преобразувани в 255). За да деактивирате такива проверки, се предоставят допълнителни извиквания на API „{f64, f32}::to_int_unchecked“, работещи в небезопасен режим.

  fn cast(x: f32) -> u8 {
  x като u8
  }

  fn main() {
  нека твърде_голям = 300.0;
  нека твърде_малък = -100.0;
  нека nan = f32::NAN;

  нека x: f32 = 1.0;
  нека y: u8 = unsafe { x.to_int_unchecked() };

  println!("too_big_casted = {}", cast(too_big)); // изход 255
  println!("too_small_casted = {}", cast(too_small)); // изход 0
  println!("not_a_number_casted = {}", cast(nan)); // изход 0
  }

• Използвайте стабилизиран процедурни макросиподобни на функции изрази, шаблони и изрази. Преди това такива макроси не можеха да се извикват навсякъде, а само в определени части на кода (като отделно извикване, което не е преплетено с друг код). Разширяването на начина, по който макросите могат да бъдат извиквани, подобно на функциите, беше едно от изискванията, за да може уеб рамката да работи Ракета в стабилни версии на Rust. Преди това постигането на допълнителна гъвкавост при дефинирането на манипулатори в Rocket изискваше активиране на експериментална функция, наречена „proc_macro_hygiene“, която не е налична в стабилните версии на Rust. Тази функционалност вече е вградена в стабилни версии на езика.
• Разрешено е да се използват диапазони с тип „char“ за итериране на стойности на диапазон (ops::{Range, RangeFrom, RangeFull, RangeInclusive, RangeTo}):

  за ch в 'a'..='z' {
  печат!("{}", ch);
  }
  println!(); // Ще отпечата "abcdefghijklmnopqrstuvwxyz"

• Нова част от API е прехвърлена в категорията стабилни, включително стабилизирани
  Arc::as_ptr,
  BTreeMap::remove_entry,
  Rc::as_ptr,
  rc :: Слаб :: as_ptr,
  rc::Weak::from_raw,
  rc::Weak::into_raw,
  str::strip_prefix,
  str::strip_suffix,
  sync::Weak::as_ptr,
  sync::Weak::from_raw,
  sync::Weak::into_raw,
  char::UNICODE_VERSION,
  Span::resolved_at,
  Span::located_at,
  Span::mixed_site,
  unix::process::CommandExt::arg0.

• Компилаторът rustc добави поддръжка за замяна на функции на различни целеви платформи с помощта на флага "target-feature", например "-C target-feature=+avx2,+fma". Добавени са и нови флагове:
  "force-unwind-tables" за генериране на таблици за отвиване на повикванията, независимо от стратегията за справяне с срива; "embed-bitcode", за да контролира дали биткодът на LLVM е включен в генерираните rlibs. Флагът "embed-bitcode" е активиран по подразбиране в Cargo, за да оптимизира времето за изграждане и потреблението на дисково пространство.

• Осигурено е трето ниво на поддръжка за платформите mipsel-sony-psp и thumbv7a-uwp-windows-msvc. Третото ниво включва базова поддръжка, но без автоматизирано тестване и публикуване на официални компилации.

Освен това може да се отбележи историята за създаването на най-простите приложения на езика Rust, започващ с помощта на системния зареждащ механизъм и готов за самостоятелно зареждане вместо операционната система.
Статията е първата от поредица, посветена на демонстриране на техники, които се търсят в програмирането на ниско ниво и разработката на ОС.

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