<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2013/12/19 Joseph Rushton Wakeling <span dir="ltr"><<a href="mailto:joseph.wakeling@webdrake.net" target="_blank">joseph.wakeling@webdrake.net</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">And you have this(...) const (aka "unique"), which can be used to construct both immutable and mutable instances.<br>
</div>
<br>
It seems to me that this is a very natural relation to the existing interpretation of mutable, immutable and const variables by the language, and e.g. the way that immutable, mutable and const function parameters are addressed.<br>

</blockquote></div><br></div><div class="gmail_extra"><div class="gmail_extra">That's right. When 'const' constructor/postblit is called, the constructing object qualifier is either mutable or immutable, even if it is not visible inside const constructor/postblit. </div>
<div><br></div><div>----</div></div><div class="gmail_extra"><br></div><div class="gmail_extra"><div class="gmail_extra">I tweaked the descriptions in DIPs, about Const Constructor/Postblit concept.</div><div class="gmail_extra">
<br></div><div class="gmail_extra">- I mostly removed words "unique constructor" and "unique postblit", because they would just increase reader's confusion.</div><div class="gmail_extra">  DIPs can describe intrinsic concepts without these words.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">- I added following sections in DIPs:</div><div class="gmail_extra"><br></div><div class="gmail_extra">  Why 'const' postblit will called to copy arbitrary qualified object?</div>
<div class="gmail_extra">  <a href="http://wiki.dlang.org/DIP49#Why_.27const.27_postblit_will_called_to_copy_arbitrary_qualified_object.3F">http://wiki.dlang.org/DIP49#Why_.27const.27_postblit_will_called_to_copy_arbitrary_qualified_object.3F</a></div>
<div class="gmail_extra"><br></div><div class="gmail_extra">  Why 'const' constructor will be called to create arbitrary qualified object?</div><div class="gmail_extra">  <a href="http://wiki.dlang.org/DIP53#Why_.27const.27_constructor_will_be_called_to_create_arbitrary_qualified_object.3F">http://wiki.dlang.org/DIP53#Why_.27const.27_constructor_will_be_called_to_create_arbitrary_qualified_object.3F</a></div>
<div class="gmail_extra"><br></div><div class="gmail_extra">  There's no violation against the widely known "const method" concept.</div><div class="gmail_extra"><br></div><div class="gmail_extra">Kenji Hara</div>
</div></div>