Следующий фрагмент взят из исходного кода rust для path.rs
impl AsRef<Path> for String {
fn as_ref(&self) -> &Path {
Path::new(self)
}
}
Кажется, он возвращает ссылку на вновь созданный объект Path из кадра стека. Как он обходит правила проверки заимствований в Rust? Объект стека должен иметь время жизни только для текущего кадра, а возвращаемая ссылка для временных объектов должна вызывать ошибку.
Возвращенная ссылка указывает не на какой-то объект, который был недавно создан внутри as_ref(), а скорее на данные строки, переданной в качестве аргумента.
Сделаем время жизни в соответствующих функциях явным. Прототип
fn as_ref(&self) -> &Path
можно избавиться от сахара
fn as_ref(&'a self) -> &'a Path
Тип self - &'a String, ссылка на строку с временем жизни 'a.
Внутри тела функции вызывается Path::new(). Согласно документации, это определяется так:
pub fn new<S: AsRef<OsStr> + ?Sized>(s: &S) -> &Path
Добавление пропущенного времени жизни дает
pub fn new<S: AsRef<OsStr> + ?Sized>(s: &'a S) -> &'a Path
поэтому вновь созданная ссылка Path будет иметь то же время жизни, что и ссылка, которую мы передали, что в точности соответствует требуемому времени жизни возвращаемого значения.
