DIP53 and DIP49 (ver2) - New definitions for qualified constructors and postblits

[Timon Gehr]

On 12/18/2013 05:05 PM, Joseph Rushton Wakeling wrote:
> On 18/12/13 16:59, Timon Gehr wrote:
>> It will be used to annotate a postblit that requires all fields with
>> indirections to be re-initialized with freshly allocated data instead
>> of a
>> postblit that is used during copying of a const object. (There will be
>> no way to
>> define such a const postblit, because the DIP assumes this to be
>> useless.)
>
> Not sure I see the difference here with the existing different cases of
> const attached to a variable vs. const attached to a method. The
> meanings are subtly different but the analogy is helpful.
>

Well, 'const' attached to a method is simply the notation used for 
attaching 'const' to the implicit 'this' parameter.