Распространённые заблуждения о временах жизни в Rust

[mdfitumi]

Отличный разбор, только разницы между &’static и: ‘static не понял. Первое является подмножеством второго, правильно? То-есть частный случай, когда который работает только для случаев аля &’static str?

[AnthonyMikh]

Именно. String вполне себе 'static и при этом не содержит времён жизни.

[freecoder_xx]

T: 'static означает, что тип T если содержит ссылки, то только статические.

&'a T можно представить как:

struct Ref<'a, T: ?Sized> {
    reference: &'a T,
}

То есть для случая Ref<'static, T>, эта структура не будет содержать нестатических ссылок, а значит она будет удовлетворять ограничению Ref<'static, T>: 'static.

[freecoder_xx]

Хорошая статья. Жаль только тема ограничений лайфтаймов не раскрыта: "'a: 'b", "for<'a>" и т.п.

[AnthonyMikh]

С одной стороны да, с другой — это всё-таки уже не новичковая тема, как мне кажется