Stream: t-lang/wg-unsafe-code-guidelines

Topic: Accessing uninitialized field lvalues

Nicole Mazzuca (Aug 31 2018 at 05:43, on Zulip):

I feel like this is a usecase we should keep in mind, at least - given a value of type pointer to T, you need to be able to access fields on the object, even if the object is uninitialized.

RalfJ (Aug 31 2018 at 06:32, on Zulip):

@Nicole Mazzuca definitely. please bring this up for discussion once we are talking about validity invariants :)

Nicole Mazzuca (Aug 31 2018 at 06:33, on Zulip):

@RalfJ yeah, just wanna make sure it's in the chat somewhere so I remember

Last update: May 26 2020 at 13:40UTC