struct A<'a>{ v:&'a i32 } fn main(){ let i = 0; let a = A{v:&i}; } The type &'a i32 implies that the immutable borrow of a value of type i32 should live for 'a. So, I wonder, what requirement does the lifetime 'a impose on the value of type A<'a>? My understanding is that: The value of …

[image] xmh0511: For a given reference type & (mut)? 'a T, it means the value of the type(i.e borrowing) should live for at most lifetime 'a. Hence, a value of type Struct<'a> means the value of the type should live for at most lifetime 'a as well. The way I think about it is "is valid for". …

What is the relationship between the value of a struct and the lifetime in reference field?

help

quinedot January 31, 2023, 10:29pm 4

While a useful guideline and mental model, that is not actually true.

The T: 'x relation used to be based on data reachability (logic about what is borrowed), but it is now a syntactical property.

5 Likes

Topic		Replies	Views
What is the relationship between the lifetime in struct definition and that of associated function	29	988	December 26, 2022
Need help understanding lifetime mismatch help	8	470	February 13, 2021
Struct member lifetimes help	3	253	August 9, 2023
Annotating lifetime of references in a struct help	14	1025	October 13, 2023
Updating a struct holding a reference field, and the effect on the struct's lifetime help	5	356	October 2, 2023

What is the relationship between the value of a struct and the lifetime in reference field?

Related Topics