🔥 Названа мерзкая фича языка Rust

BorrowedBuf: экспериментальная ночная фича Rust для ускорения работы с буферами в операциях ввода-вывода. Она подверглась критике за сложность использования, ограниченную совместимость и узкую применимость.

BorrowedBuf — это экспериментальная возможность Rust, задуманная для повышения эффективности работы с буферами в операциях ввода-вывода.

Она позволяет манипулировать неинициализированной областью памяти и следит за тем, какая её часть уже занята.

Задача состоит в уменьшении лишней инициализации, как иллюстрирует следующий пример, где буфер заполняется нулями на каждой итерации, хотя чтение данных перезаписывает содержимое:

			fn slow_copy(     mut rd: impl std::io::Read,     mut wr: impl std::io::Write, ) -> std::io::Result {     loop {         let mut buf = [0; 4096];         let read = rd.read(&mut buf)?;         if read == 0 {             break Ok(());         }         wr.write_all(&buf[..read])?;     } } 		

Проблемы BorrowedBuf

Тем не менее BorrowedBuf вызывает значительное число возражений. Ниже перечислены ключевые из них:

1. Совместимость с существующим кодом: BorrowedBuf требует поддержки определённых API, например read_buf. При отсутствии такой поддержки Rust будет автоматически заполнять буфер нулями, что обнуляет всю выгоду. Это создает проблемы с библиотеками, которые не обновлялись или уже не поддерживаются, например hex или base64.
2. Отсутствие универсальности: функция в идеале работает только с типом u8, что ограничивает её применение в пакетах, которые работают с другими типами данных (например, сборщики случайных данных).
3. Сложность использования: BorrowedBuf требует глубокого понимания концепций для предотвращения ошибок. Неверное применение может привести к тому, что буфер всё равно будет инициализирован заново, нивелируя оптимизацию.
4. Логическая путаница: модель разделяет память на инициализированную и неинициализированную части, что усложняет восприятие. Было бы полезно увидеть аналогии с Vec или другими стандартными структурами для упрощения понимания API.

Возможные альтернативы

На данный момент универсальной замены BorrowedBuf не найдено. Одно из обсуждаемых направлений — так называемая «заморозка» неинициализированной памяти (freeze), которая позволила бы безопасно работать с ней как с инициализированной.

Реализация подобной идеи потребовала бы значительных изменений в языке Rust, в частности в аспектах управления памятью и семантике взаимодействия с системными страницами памяти (например, использование подходов вроде MADV_FREE).

Похожие записи:

«Не баг, а фича»: старый пароль все еще пускает в Windows и Microsoft отказалась это чинить Самая главная фича флагманов Galaxy Now Bar скоро появится на Galaxy Watch 🔥 Rust исполнилось 10 лет: как язык из личного проекта стал мировым стандартом Вышел Linux 6.16 — Rust все глубже проникает в ядро. Что еще интересного в обновлении