Clarification questions about pointers and struct immutability

[vlang]

Clarification questions about pointers and struct immutability

[medvednikov]

For instance, is it possible to do the following?

p := Point{10,10}
pointer := &p
println(pointer.x, pointer.y)

Yes

Why is it that a struct that is declared and initialized without the mut keyword can be passed into a receiver which will modify the fields of that struct?

This is a mistake in the docs. Fixed. Thanks :)

[ntrel]

Yes

OK, so V must prevent pointers to stack allocated structs from escaping when passed to a function. Is there an attribute e.g. @escape for marking function parameters as escapable (i.e. assigned to a receiver)?

struct S1 { s2 S2*}
fn (mut S1 s1) set_field(s2 @escape S2*) {s1.s2 = s2}

[medvednikov]

No

…

On 22 Mar 2019, at 12:23, Nick Treleaven ***@***.***> wrote: Yes OK, so V must prevent pointers to stack allocated structs from escaping when passed to a function. Is there an attribute e.g. @escape for marking function parameters as escapable (i.e. assigned to a receiver)? struct S1 { s2 S2*} fn (mut S1 s1) set_field(s2 @escape S2*) {s1.s2 = s2} — You are receiving this because you commented. Reply to this email directly, view it on GitHub <#40 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAp_fF6K7i_Ujt-jEVNB5BctscQJLzmGks5vZL0-gaJpZM4cCnD9>.

[ntrel]

@medvednikov I presume you mean you don't want an @escape attribute, and all function parameters can't escape. This seems to work against the nice feature of immutable data that it can be referenced in multiple places (and even across threads) because it doesn't change. But I suppose that requires garbage collection or reference counting for heap allocated immutable data.

[medvednikov]

No meaning there’s no such feature. And I don’t have a solution to this problem atm.

…

On 22 Mar 2019, at 12:33, Nick Treleaven ***@***.***> wrote: @medvednikov <https://github.com/medvednikov> I presume you mean you don't want an @escape attribute, and all function parameters can't escape. This seems to work against the nice feature of immutable data that it can be referenced in multiple places (and even across threads) because it doesn't change. But I suppose that requires garbage collection or reference counting for heap allocated immutable data. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#40 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAp_fO7CEpuDZqYcLEPaOK0R8z8S84yPks5vZL9ugaJpZM4cCnD9>.

[ntrel]

I think V should prevent escapes for now, then later the restriction could be relaxed in certain cases if necessary. Otherwise it will be hard to go the other way and allow escaping now, then break code by imposing a restriction later. I guess the workaround for forcing escapes (that the programmer knows are memory safe) would be to drop into C #s1->s2 = s2.

[medvednikov]

Closing because the original questions were answered.

Escaping structs were discussed in another issue. Basically they will behave like in Go.