Подскажите, а почему такой код возможен? Владелец создается неявно в

Question

Подскажите, а почему такой код возможен? Владелец создается неявно в

области видимости? Где-то про это есть упоминание в описании языка?

{
let x = &MyStruct2 { v: 123 };
println!("v={}", x.v)
}

#backend #embedded #programming #russian #rust

0

12.05.2021

7 ответов

26 просмотров

Adv0cat

А что вас смущает? вы создали MyStruct2, при выходе за скоуп этот объект дропнется, вы передали ссылку на этот объект в x, из x взяли v, но не во владение же

0

12.05.2021

ozkriff🇺🇦 Lesnikóv

> Где-то про это есть упоминание в описании языка? https://doc.rust-lang.org/reference/expressions.html#temporaries + https://doc.rust-lang.org/reference/destructors.html#temporary-lifetime-extension - это, наверное

0

12.05.2021

Anatolii Автор вопроса

Adv0cat
А что вас смущает? вы создали MyStruct2, при выход...

Теоретически, он мог дропнуться и по окончании выражения, не доходя до println!.

0

12.05.2021

Пользователь 618f1

меня больше удивляет когда это не срабатывает, и копилятор пишет "разделите выражение на насколько частей". Типа он достаточно умный чтобы видеть решение, но сам почему-то не создает временных переменных

0

12.05.2021

Пух

Пользователь 618f1
меня больше удивляет когда это не срабатывает, и к...

Это вероятное решение. Да и код исправлять это к какому-нибудь автофиксу, а не компилятору

0

12.05.2021

Пользователь 618f1

Пух
Это вероятное решение. Да и код исправлять это к к...

но случай практически тот же что и в примере из начала обсуждения

0

12.05.2021