Какой тип данных у переменной a?

Question

[Sasha_88]

fn main() {
    let mut a: [u8; 0] = [];
    unsafe {
        *a.get_unchecked_mut(1) = 1;
    }
}

В этом примере у массива вызывается метод get_unchecked_mut(). У переменной a указан тип встроенный массив [T; n]. Но у такого типа нет метода get_unchecked_mut(). Он есть у среза на массив [T]. То есть операция взятия элемента по индексу обращается через ссылку? Или переменная a ссылка? Это пример на неопределенное поведение, но это не важно. Спасибо

Comments

[mayton2019]

Я думаю что это очень злой пример. Философия Rust не предполагает что в обычном кодинге у вас есть потребность в unsafe - операциях. Если вы junior то от вас такого никто не потребует. Ну а senior разберется и без Хабра для чего ему нужен такой хак.

Кто-же вам задал такой вопрос? И на какую позицию вы идете?

[Sasha_88]

mayton2019, Что тут делает unsafe код как раз понятно. Вопрос был в другом. Я не нашел описание этого метода для массива. Он для другого типа числится. Пример взят из Rust Playground. Там если на знак вопроса нажать выскочит документация. Это для инструмента Miri. Он вроде как должен отлавливать такие вещи. А вообще для Rust есть множество крейтов, у которых в коде используются вставки на ассемблере, к примеру. Пример нашёл сам. Я пока изучаю. Вообще хотел бы быть там, где используют C/C++, Rust. Где с памятью вручную можно работать. Уж не знаю потяну ли написание ядер операционных систем, у них до сих пор C используется и очень низкоуровневый код, но к примеру игровые движки попробовал бы разрабатывать. О компьютерной графике представление отличное. Я ее с 14 лет изучал.

[mayton2019]

Sasha_88, увы. Тут ничем не помогу. Я не знаю как у вас в Rust но в Java/Scala когда ты не знаешь описания - то спокойно идешь и качаешь исходники (благо OpenSource) и спокойно читаешь документацию в коде. Я думаю что у Ржавого тоже есть сорцы и там можно видеть не только аннотации к методам но и даже проследить историю изменений и комментарии контрибуторов.

За языком Rust - будущее. Я убежден в этом. По крайней мере аудиторию С++ ников он может перетянуть на себя по большей части.

Вообще не понял месседж о ядрах ОС. Очень мало людей в мире реально причастны к этому процессу. Вообще чтобы туда что-то писать полезное и чтобы это стало публичным - надо пройти 7 кругов ада. Много код-ревью и много своего личного опыта. А это идет далеко за рамки просто языка С. Нужно знать много железа. Архитектуры. И знать как работает мультипоточка под капотом.

Answer 1

[Дмитрий Беляев]

У переменной a указан тип встроенный массив [T; n]. Но у такого типа нет метода get_unchecked_mut(). Он есть у среза на массив [T]

Тут нужно понять как в Rust работает оператор точка.

Во-первых, мало кто пишет, но операторов точка на самом деле в Rust целых 2:
- Доступ к полю структуры/кортежа/юниона
- Вызов метода
Rust различает их по наличию круглых скобок:

struct S {
    a: i32,
    f: fn(),
}

impl S {
    fn a(&self) {}
}

let s = S { a: 0, f: || {} };
s.a; // Доступ к полю
s.a(); // Вызов метода
(s.f)(); // Вызов функции по указателю, который лежит в поле f

С доступом к полю все просто, компилятор преобразует его в смещение в памяти где это поле лежит относительно самой структуры.
А вот с вызовом метода все интереснее, Rust пытается рассахарить его в одну из следующих конструкций в следующем порядке:

S::a(s);
S::a(&s);
S::a(&mut s);
<S as Deref>::Target::a(S::deref(&s));
<S as DerefMut>::Target::a(S::deref_mut(&mut s));
<<S as Deref>::Target as Deref>::Target::a(<S as Deref>::Target::deref(S::deref(&s)));
<<S as DerefMut>::Target as DerefMut>::Target::a(<S as DerefMut>::Target::deref_mut(S::deref_mut(&mut s)));
// ...

и так пока либо не найдет вариант, который компилируется, либо пока не обнаружит что для очередного типа не реализован трейт Deref.
Подробнее можно почитать тут: https://doc.rust-lang.org/stable/nomicon/dot-opera...

У всех массивов есть Deref к слайсу, в core библиотеке прописано что-то вроде:

impl<T, const N: usize> Deref for [T; N] {
    type Target = [T];
    fn deref(&self) -> &[T] {
        // ...
    }
}

За счет этого все массивы (а так же векторы, у которых тоже Deref к слайсу) получают методы слайса. И по тому же принципу String получает методы str.

Ну и кстати, неявный вызов deref может еще происходить при взятии ссылки.

Ну и из комментов к вопросу:

Что тут делает unsafe код как раз понятно

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

Comments

[Sasha_88]

Спасибо большое! Прекрасный ответ!

Answer 2

[Василий Банников]

См. ответ Дмитрий Беляев

Ошибочное, но близкое предположение

Просто для массива реализован трейт AsMut.
https://doc.rust-lang.org/std/convert/trait.AsMut.html
По тому
let a_ : &mut[u8] = &mut a;

Comments

[Sasha_88]

Это потому, что в сигнатуре метода есть заимствование по изменяемой ссылке? И поэтому включается as_mut()? А ссылка на массив это срез на массив. И у него уже есть метод get_unchecked_mut? Так ведь? Я про свой пример

[Дмитрий Беляев]

Василий Банников, это работает не через AsMut/AsRef а через Deref/DerefMut

[Василий Банников]

Дмитрий Беляев, ошибся из-за того что не знал, что оператор точки делает что-то определённое, чтобы найти реализацию метода.

[Sasha_88]

Василий Банников, Благодаря Вашему ответу я узнал что-то новое