R
Но сама ссылка жить дольше не должна
{
let foo: &'static mut Foo = Box::leak(Box::new(Foo));
unsafe { Box::from_raw(foo) }
}Size: a a a
2020 April 02
R
Пример
R
Тут не UB, хотя есть
'static ссылка на объект живущий в скоупеp
Но сама ссылка жить дольше не должна
Лайфтайм ссылка и есть время жизни ссылки. Ссылка не может жить меньше своего лайфтайма)
R
R
Ссылка
&'a T не может жить дольше 'ap
Ссылка
&'a T не может жить дольше 'aТут говорится что ссылка живёт 'a времени
p
Она не может жить меньше или больше чем 'а
R
Нет. Тут говорится что значение
T живет не меньше чем 'aR
А ссылка живет сколько хочет
R
Но не больше
'aR
вот смотри
fn foo(rr: &'static &'static Foo) {}
fn bar(r: &'static Foo) {
foo(&r); // error - can't borrow `r` for `'static` as its lifetime ends when `bar` scope ends
}R
r это ссылка на статический объектR
Но сама она живет меньше
R
Так же напоминаю, что ссылки ковариантны к своему lifetime параметру.
Поэтому первоначальное заимствование может иметь lifetime больше, чем параметр у ссылки
Поэтому первоначальное заимствование может иметь lifetime больше, чем параметр у ссылки
p
Нет. Тут говорится что значение
T живет не меньше чем 'aТут говорится что T заимствуется на время 'a по иммутабельной ссылке
R
Иммутабельно заимствованно
R
&foo - процесс заимствованияR
&'a Foo - ссылка, валидная в течении 'a, то есть она не может жить дольше этого.Заимствование для создание такой ссылки не менее
'a соответственноp
&'a Foo - ссылка, валидная в течении 'a, то есть она не может жить дольше этого.Заимствование для создание такой ссылки не менее
'a соответственноОна живёт столько же сколько и 'а