Блог*

Там кстати Rust 1.63 вышел. TL;DR интересного (по моему мнению): — из компилятора выкинули старый borrowck (я так и не понял что это меняет) — [x; 0] теперь дропает x (ранее был баг из-за которого это было эквивалентно mem::forget) — турборыбу можно использовать…

О некоторых вещах Вафель всё же зря умолчал.

Первое — это реализация типов для IO safety. Новые типы для Unix (OwnedFd, BorrowedFd) и Windows (OwnedHandle, HandleOrNull, HandleOrInvalid, BorrowedHandle, OwnedSocket, BorrowedSocket), полезные в основном для FFI, позволяют:

* на уровне типов — а не устных соглашений — описать, как именно функция обращается с сырыми ручками от OS;
* опять-таки, на уровне типов исключить возможность забыть обработку возможных невалидных значений;
* задействовать niche optimisation, чтобы не иметь оверхед на тег для опциональных значений;
* использовать их непосредственно в FFI-сигнатурах из-за #[repr(transparent)].

Не та вещь, которую будешь использовать каждый день, но для написания биндингов определённо полезна.

Вторая вещь — это array::from_fn (которая, кстати, реализована в терминах array::map). Пример использования:

let array = core::array::from_fn(|i| i);
assert_eq!(array, [0, 1, 2, 3, 4]);

Чем примечательна эта функция? Ну... В C есть фича под названием designated initializers. Обычно её вспоминают в связи со структурами:

struct A { int x; int y; int z; }; 
struct A a{.y = 2, .x = 1};

, но почему-то мало кто знает, что их можно использовать и с массивами:

int n[5] = {[4]=5,[0]=1}; // 1,0,0,0,5

array::from_fn

позволяет (до некоторой степени) сымитировать это поведение:

// look ma no types!
let arr = std::array::from_fn(|i| match i {
    4 => 5,
    0 => 1,
    _ => 0,
});

То есть Rust вынес в библиотеку то, что в C зашито в язык!

GitHub

Tracking Issue for RFC 3128: I/O Safety · Issue #87074 · rust-lang/rust

Feature gate: #![feature(io_safety)] This is a tracking issue for RFC 3128: I/O Safety. Raw OS handles such as RawFd and RawHandle have hazards similar to raw pointers; they may be bogus or may dan...

👍10

691 viewsedited 23:23