DIP23 draft: Fixing properties redux

[Timon Gehr]

On 02/03/2013 01:49 PM, Steven Schveighoffer wrote:
> On Sun, 03 Feb 2013 07:16:17 -0500, Steven Schveighoffer
> <schveiguy at yahoo.com> wrote:
>
>> On Sun, 03 Feb 2013 03:16:08 -0500, Andrei Alexandrescu
>> <SeeWebsiteForEmail at erdani.org> wrote:
>>
>>> Walter and I have had a discussion on how to finalize properties.
>>>
>>> http://wiki.dlang.org/DIP23
>>
>> I agree with everything in this.  This looks exactly like what I
>> wanted a few days ago.  Thank you!
>>
>> One aspect not addressed is free-function properties:
>
> I thought of one other problem with this proposal.  You can no longer
> get a delegate of a property.  Like it or not, there will be existing
> code that does get a delegate to properties (it is allowed now).
>
> I think we should provide a __traits accessor for this.  Otherwise,
> there is no way to port said code to the new style.
>
> -Steve

T delegate() f = &a.prop -> auto f = ()=>a.prop;
T delegate(T) f = &a.prop -> auto f = (T x)=>a.prop=x;