Допустимость ссылок
Rust задаёт несколько правил для ссылок, которые делают их всегда безопасными в использовании. Одно правило: ссылки никогда не могут быть null, поэтому их можно использовать без проверок на null. Другое правило, которое мы рассмотрим сейчас: ссылки не могут пережить данные, на которые они указывают.
// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn main() {
let x_ref = {
let x = 10;
&x
};
dbg!(x_ref);
}
This slide should take about 3 minutes.
-
Этот слайд заставляет студентов думать о ссылках не просто как об указателях, ведь в Rust для ссылок действуют другие правила, чем в других языках.
-
Остальные правила заимствования Rust мы рассмотрим в третий день, когда будем говорить о системе владения.
Для дальнейшего изучения
- Аналогом «nullable» в Rust служит тип
Option, с помощью которого можно сделать «nullable» любой тип (не только ссылки и указатели). Однако перечисления и сопоставление с образцом мы ещё не вводили, поэтому постарайтесь не углубляться в эту тему.