gо
Тебе хоть с завтипами, хоть без нужно проверить индекс
Size: a a a
2021 May 31
gо
Просто с завтипами ты его проверяешь выше по коду, а с Option — ниже по коду
AN
@sand_witch как там проверять надо, расскажите 😁
AN
Покажите
AN
А я пока пошёл. 😂
gо
И если очень сильно хочется, то в Rust можно выразить заранее проверенный индекс
gо
Без всяких завтипов, через трюк с инвариантными лайфтаймами
[
Ну, берёшь, хуяришь число в gen, тебе выплевывает нужный Fin.
Если у этого fin параметр вообще можетбыть не равен параметру вектора, то те компиль зубы выбьет
Если у этого fin параметр вообще можетбыть не равен параметру вектора, то те компиль зубы выбьет
[
Те на типах нужно доказать, что у тебя Vect равен
[
Не доказал = обосрался = не скомпилится
AN
Сделать функцию которая принимает Int и вектор, а выдаёт Maybe
gо
Дочитал агитку?
[
gо
Конкретно пример с индексом реализуем в Rust без завтипов вообще
gо
Делаешь
привязываешь его к обёртке над вектором с тем же лайфтаймом
struct Index<'id> {
inner: usize,
_invariant: Invariant<'id>,
}привязываешь его к обёртке над вектором с тем же лайфтаймом
G
И шо? И как это будет работать? Технически, придётся постоянно использовать этот Index, типа,
И это выдаст ошибку компиляции? Или как это должно выглядеть в реальности?
let my_vec = IndexedVector::from(&[0, 1, 2, 3]);
let value = my_vec[Index::from(4_usize)];
И это выдаст ошибку компиляции? Или как это должно выглядеть в реальности?
B
арч
r
let index_4 = Index::get(&vec, 4).unwrap();
Index::read(&vec, index_4);
p
Нет
ИЛ
А зачем оно нужно, если можно сразу получить ссылку на элемент и не тащить индекс