Чудеса nightly, часть 1: на чём тайком держится stable Rust

Вот важная новость с фронта ИИ: Заверните обычный File в структуру из одного поля и пробросьте чтение внутрь. Пара строк, логика не поменялась.

А теперь скопируйте через io::copy файл на 64 мегабайта: голый File справлялся за два системных вызова, обёртка сделает больше шестнадцати тысяч. Ошибки в коде нет, вы просто выпали из специализации, которой в стабильном Rust официально не существует.

Технические детали

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

Та же специализация ускоряет collect и умеет заставить код без единого unsafe читать освобождённую память, а итератор, написанный как обычная функция, превращается в идеальный ассемблер и почему-то отказывается векторизоваться. Материала набралось на четыре-пять статей, это первая, и в ней пять фич: gen-блоки, pattern types, специализация, become и #.

Событие, по словам экспертов, усилит конкуренцию в сфере ИИ.