Исходное сообщение
"Выпуск языка программирования Rust 1.61" Отправлено morphe, 21-Май-22 23:58
> в опусе позабавило про ржавые массивы из не более чем 32 элементов. > а так язык что надо Массивы то можно, проблема с реализациями трейтов До появления const genericов реализация трейта для массива каждой длины (фиксированной) выглядела так: impl<T> Trait for [T; 0] {} impl<T> Trait for [T; 1] {} ... impl<T> Trait for [T; 31] {} impl<T> Trait for [T; 32] {} С появлением const generics стало возможно в одну строку реализовать трейт для массивов любой длины: impl<T, const N: usize> Trait for [T; N] {} Однако для Default (трейт, который выдаёт дефолтное значение, например пустой массив) пока остаётся старый код, поскольку реализация для 0 выглядит иначе: impl<T> Default for [T; 0] {...} // Массив пустой, поэтому нам не нужно что-то требовать для T impl<T> Default for [T; 1] where T: Default {...} // У массива 1 элемент, и нам нужно чтобы тип элемента тоже реализовывал Default Это будет исправлено, когда появится возможность реализовать трейт только для диапазона N, т.е impl<T> Default for [T; 0] {...} impl<T, const N: usize> Default for [T; N] where T: Default, N > 0 {...}