Re: Head Const

[Walter Bright via Digitalmars-d]

On 2/18/2016 4:18 AM, Andrei Alexandrescu wrote:

On 02/17/2016 05:44 PM, Walter Bright wrote:

It would seem that implementing headconst as a type constructor would
let people who wanted mutable members have their way, without
introducing backdoors in const.

Doesn't seem that way to me, viz:

struct A
{
     int i;
}

A __const(A) will have a __const(int) member.

struct A { int* pi; }

and *pi will be mutable even though pi is __const.