DIP23 draft: Fixing properties redux

Andrei Alexandrescu SeeWebsiteForEmail at erdani.org
Tue Feb 5 12:21:47 PST 2013


On 2/5/13 2:25 PM, Steven Schveighoffer wrote:
> On Tue, 05 Feb 2013 13:33:35 -0500, Andrei Alexandrescu
> <SeeWebsiteForEmail at erdani.org> wrote:
>
>> Walter and I reviewed the discussion and had a long talk. We are very
>> seriously considering banning the use of & against a ref result from a
>> function (and actually ref parameters and even struct members in @safe
>> code). One would still be able to take the address of a field in a
>> class because that's assumed to live on the GC heap.
>
> Thinking about this some more, would this be allowed:
>
> @trusted T *getAddr(T)(ref T obj) { return &obj; } // allowed? You said
> only @safe code would disallow address of ref parameters

We hope to be able to disallow it.

Andrei



More information about the Digitalmars-d mailing list